summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl.hs
Commit message (Expand)AuthorAgeFilesLines
* Add HomeUnit typeSylvain Henry2020-08-131-5/+4
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fail eagerly on a lev-poly datacon argRichard Eisenberg2020-08-061-11/+24
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-301-5/+6
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-6/+21
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-203/+303
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-3/+3
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-251-1/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-30/+46
* Refactor homeUnitSylvain Henry2020-06-131-2/+3
* Make GADT constructors adhere to the forall-or-nothing rule properlyRyan Scott2020-06-091-39/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-53/+38
* Explicit SpecificityGert-Jan Bottu2020-05-211-63/+50
* 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-5/+5
* Trees That Grow refactor for `ConPat` and `CoPat`John Ericson2020-04-231-5/+5
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-33/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+4913
View Lorry Controller Status