summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Instance
Commit message (Expand)AuthorAgeFilesLines
* Use GHC's State monad consistentlyBen Gamari2021-05-291-1/+1
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-2/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-124-4/+4
* Fully remove HsVersions.hSylvain Henry2021-05-124-8/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-122-5/+6
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-8/+8
* Add compiler linting to CIHécate2021-03-251-2/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-8/+20
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-161-2/+18
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-3/+3
* The Char kind (#11342)Daniel Rogozin2021-02-062-1/+21
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-3/+1
* 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
View Lorry Controller Status