summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Sig.hs
Commit message (Expand)AuthorAgeFilesLines
* Wrap LHsContext in Maybe in the GHC ASTwip/az/maybecontextAlan Zimmerman2021-02-281-2/+2
* Improve specialisation for imported functionsSimon Peyton Jones2021-02-181-9/+27
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-7/+8
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-1/+1
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-61/+58
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-54/+35
* Export singleton function from Data.ListWander Hillen2020-09-191-2/+2
* 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
View Lorry Controller Status