summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Sig.hs
Commit message (Expand)AuthorAgeFilesLines
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* typecheck: Drop SPECIALISE pragmas when there is no unfoldingBen Gamari2020-08-111-3/+7
* Replace HscTarget with BackendSylvain Henry2020-07-221-4/+5
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-2/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-3/+9
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-4/+6
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-7/+9
* Explicit SpecificityGert-Jan Bottu2020-05-211-27/+28
* Fix specialisation for DFunsSimon Peyton Jones2020-05-081-5/+2
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-4/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+836