summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Module.hs
Commit message (Expand)AuthorAgeFilesLines
...
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-301-2/+2
* Fix minimal imports dump for boot files (fix #18497)Sylvain Henry2020-07-301-1/+1
* Accumulate Haddock comments in P (#17544, #17561, #8944)Vladislav Zavialov2020-07-211-1/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-1/+9
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-3/+4
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-2/+2
* Refactor homeUnitSylvain Henry2020-06-131-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-4/+5
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-041-2/+2
* Explicit SpecificityGert-Jan Bottu2020-05-211-3/+3
* Refactor hole constraints.Richard Eisenberg2020-05-061-1/+1
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-9/+9
* Do eager instantation in termsSimon Peyton Jones2020-04-221-10/+28
* Modules (#13009)Sylvain Henry2020-04-181-4/+4
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-1/+4
* Use trees that grow for rebindable operators for `<-` bindsJohn Ericson2020-04-171-5/+4
* Change the fail operator argument of BindStmt to be a MaybeCale Gibbard2020-04-171-1/+1
* Fix #18052 by using pprPrefixOcc in more placesRyan Scott2020-04-151-4/+4
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-3/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+3078