summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo/Rep.hs
Commit message (Expand)AuthorAgeFilesLines
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-1/+1
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-4/+6
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+5
* Add compiler linting to CIHécate2021-03-251-1/+0
* Make the simplifier slightly stricter.Andreas Klebinger2021-03-201-1/+4
* Replace Ord TyLit with nonDetCmpTyLit (#19441)Vladislav Zavialov2021-03-091-10/+20
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-65/+3
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-181-49/+11
* Fix typosBrian Wignall2021-02-061-1/+1
* The Char kind (#11342)Daniel Rogozin2021-02-061-4/+10
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-10/+4
* Implement BoxedRep proposalAndrew Martin2020-12-141-4/+10
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-18/+67
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-67/+18
* Optimise nullary type constructor usageBen Gamari2020-12-141-18/+67
* Remove flattening variablesRichard Eisenberg2020-12-011-11/+4
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-0/+6
* Split GHC.Driver.TypesSylvain Henry2020-10-291-64/+0
* Fix two constraint solving problemsSimon Peyton Jones2020-10-271-28/+24
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+5
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-1/+7
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-1/+7
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-5/+5
* Various performance improvementsKrzysztof Gogolewski2020-06-171-9/+111
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-21/+52
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-1/+1
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-211-7/+19
* Document (->) using inferred quantification for its runtime representations.Baldur Blöndal2020-05-131-1/+4
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-4/+4
* Modules (#13009)Sylvain Henry2020-04-181-12/+12
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-8/+8
* Modules: Types (#13009)Sylvain Henry2020-03-291-4/+4
* Update core spec to reflect changes to Core.Richard Eisenberg2020-03-201-5/+58
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-201-3/+12
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+1848
View Lorry Controller Status