summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Type.hs
Commit message (Expand)AuthorAgeFilesLines
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-021-0/+25
* Document that `eqType`/`coreView` do not look through type familiesZiyang Liu2021-09-291-2/+4
* Compare FunTys as if they were TyConApps.Richard Eisenberg2021-09-291-17/+45
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-7/+1
* Reword: representation instead of levitysheaf2021-06-101-13/+16
* 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-18/+19
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-4/+4
* Expand synonyms in mkCastTy when necessaryRyan Scott2021-04-291-20/+51
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+4
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-85/+128
* Replace Ord TyLit with nonDetCmpTyLit (#19441)Vladislav Zavialov2021-03-091-1/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-16/+134
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-181-2/+26
* Fix typosBrian Wignall2021-02-061-1/+1
* The Char kind (#11342)Daniel Rogozin2021-02-061-2/+14
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-0/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-39/+7
* Implement BoxedRep proposalAndrew Martin2020-12-141-7/+39
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-19/+88
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-88/+19
* Optimise nullary type constructor usageBen Gamari2020-12-141-19/+88
* Remove flattening variablesRichard Eisenberg2020-12-011-7/+20
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-11/+11
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-37/+37
* Make typechecker equality consider visibility in ForAllTysRyan Scott2020-10-311-2/+14
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+1
* Minor comments, update linear types docsKrzysztof Gogolewski2020-10-201-5/+5
* Unification of Nat and NaturalsHaskellMouse2020-10-131-2/+2
* Misc cleanupKrzysztof Gogolewski2020-10-071-8/+0
* Use tcView, not coreView, in the pure unifier.Richard Eisenberg2020-08-251-1/+19
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Care with occCheckExpand in kind of occurrencesSimon Peyton Jones2020-07-241-16/+77
* Refactor the simplification of join bindersSimon Peyton Jones2020-07-181-25/+0
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-27/+15
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-15/+0
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-281-4/+4
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-8/+8
* Various performance improvementsKrzysztof Gogolewski2020-06-171-238/+235
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-77/+116
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-12/+41
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-35/+13
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+16
* Explicit SpecificityGert-Jan Bottu2020-05-211-11/+26
* Use Data.IntMap.disjointSimon Jakobi2020-05-141-1/+1
* Document (->) using inferred quantification for its runtime representations.Baldur Blöndal2020-05-131-2/+3
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-061-9/+11
View Lorry Controller Status