summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCo
Commit message (Expand)AuthorAgeFilesLines
* Increase type sharingBen Gamari2021-11-173-9/+11
* Fix Note [Function types]Richard Eisenberg2021-11-101-37/+29
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-9/+71
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-0/+1
* Only create callstack in DEBUG buildsSylvain Henry2021-08-021-16/+16
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-123-3/+3
* Fully remove HsVersions.hSylvain Henry2021-05-123-6/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-122-35/+37
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-044-9/+11
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-264-0/+9
* CoreTidy: handle special cases to preserve more sharing.Sylvain Henry2021-04-091-1/+2
* CoreTidy: enhance strictness noteBen Gamari2021-04-091-5/+15
* Add compiler linting to CIHécate2021-03-251-1/+0
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-241-1/+5
* Make the simplifier slightly stricter.Andreas Klebinger2021-03-201-1/+4
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-5/+8
* 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-183-50/+14
* Fix typosBrian Wignall2021-02-062-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-061-4/+10
* Fix strictness in TyCo.Tidy (#14738)Sylvain Henry2021-01-281-18/+38
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-0/+8
* 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-142-19/+70
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-142-70/+19
* Optimise nullary type constructor usageBen Gamari2020-12-142-19/+70
* Remove flattening variablesRichard Eisenberg2020-12-012-28/+32
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-152-8/+8
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-0/+6
* Split GHC.Driver.TypesSylvain Henry2020-10-293-69/+1
* Fix two constraint solving problemsSimon Peyton Jones2020-10-271-28/+24
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+5
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-2/+2
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Avoid iterating twice in `zipTyEnv` (#18535)theobat2020-09-121-1/+1
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-1/+7
* DynFlags: disentangle OutputableSylvain Henry2020-08-123-0/+3
* Fix debug_ppr_ty ForAllTy (#18522)Vladislav Zavialov2020-08-061-12/+28
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-5/+28
* 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-253-15/+15
* Various performance improvementsKrzysztof Gogolewski2020-06-176-22/+130
* Linear types (#15981)Krzysztof Gogolewski2020-06-176-58/+118
* 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
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Clean up file paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
* Explicit SpecificityGert-Jan Bottu2020-05-212-8/+20
View Lorry Controller Status