summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Type.hs-boot
Commit message (Expand)AuthorAgeFilesLines
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-141-1/+2
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-4/+10
* Misc cleanupKrzysztof Gogolewski2022-05-161-2/+2
* Levity-polymorphic arrays and mutable variablessheaf2022-01-261-0/+2
* Increase type sharingBen Gamari2021-11-171-1/+1
* Don't default type variables in type familiessheaf2021-10-261-0/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-0/+1
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-181-0/+2
* Various performance improvementsKrzysztof Gogolewski2020-06-171-4/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+4
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-2/+2
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+26