summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-9/+9
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-242-6/+6
* Use braces with do in `SplicePat` case for consistencyJohn Ericson2020-05-211-2/+2
* Tiny cleaup eta-reduce away a function argumentJohn Ericson2020-05-211-2/+2
* Put `PatEnv` first in `GHC.Tc.Gen.Pat.Checker`John Ericson2020-05-211-62/+65
* More judiciously panic in `ts_pat`John Ericson2020-05-211-3/+3
* Use `Checker` for `tc_lpat` and `tc_lpats`John Ericson2020-05-211-32/+25
* Use `Checker` for `tc_pat`John Ericson2020-05-211-56/+58
* Explicit SpecificityGert-Jan Bottu2020-05-218-117/+198
* Factor out HsPatSigType for pat sigs/RULE term sigs (#16762)Ryan Scott2020-05-133-10/+10
* Fix specialisation for DFunsSimon Peyton Jones2020-05-081-5/+2
* Refactor hole constraints.Richard Eisenberg2020-05-063-18/+13
* Don't return a panic in tcNestedSpliceSimon Peyton Jones2020-05-042-16/+19
* Allow LambdaCase to be used as a command in proc notationAlexis King2020-04-301-6/+21
* Unit: split and rename modulesSylvain Henry2020-04-305-5/+5
* Refactoring unit management codeSylvain Henry2020-04-301-8/+8
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-2614-65/+65
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-233-25/+35
* Do eager instantation in termsSimon Peyton Jones2020-04-2210-528/+601
* Modules (#13009)Sylvain Henry2020-04-1811-33/+33
* Add a missing zonk in tcHsPartialTypeSimon Peyton Jones2020-04-181-14/+81
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-11/+19
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-172-13/+13
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-171-10/+15
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-0711-62/+2
* Modules: type-checker (#13009)Sylvain Henry2020-04-0716-0/+16405
View Lorry Controller Status