summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Instance
Commit message (Expand)AuthorAgeFilesLines
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-19/+8
* Implement BoxedRep proposalAndrew Martin2020-12-141-8/+19
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+1
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-293-25/+43
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-151-1/+1
* Unification of Nat and NaturalsHaskellMouse2020-10-131-1/+1
* Misc cleanupKrzysztof Gogolewski2020-10-071-1/+1
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-4/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-123-2/+6
* Don't mark closed type family equations as occurrencesRyan Scott2020-07-301-2/+2
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-182-1/+2
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-30/+4
* Clean up haddock hyperlinks of GHC.* (part2)Takenobu Tani2020-06-253-4/+4
* Update compilerSylvain Henry2020-06-171-3/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-172-5/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-11/+15
* User's Guide: KnownNat evidence is NaturalVladislav Zavialov2020-06-151-4/+4
* Unit: split and rename modulesSylvain Henry2020-04-302-3/+3
* Refactoring unit management codeSylvain Henry2020-04-302-3/+3
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-264-21/+21
* Modules (#13009)Sylvain Henry2020-04-183-10/+11
* Modules: type-checker (#13009)Sylvain Henry2020-04-074-0/+3211