summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Unify.hs-boot
Commit message (Expand)AuthorAgeFilesLines
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-3/+3
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-4/+3
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-5/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+5
* Rename GHC.Hs.Types into GHC.Hs.TypeSylvain Henry2020-05-241-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-0/+15