summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Coercion/Opt.hs
Commit message (Expand)AuthorAgeFilesLines
* Move checkAxInstCo to GHC.Core.LintAdam Gundry2023-05-121-56/+0
* Less coercion optimization for non-newtype axiomsAdam Gundry2023-05-121-5/+85
* Account for TYPE vs CONSTRAINT in mkSelCoSimon Peyton Jones2023-02-281-0/+7
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-68/+87
* Define `Infinite` list and use where appropriate.M Farkas-Dyck2022-11-081-3/+3
* Export pprTrace and friends from GHC.Prelude.Andreas Klebinger2022-11-031-1/+0
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-3/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-0/+1
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+2
* Put tracing functions into their own moduleSylvain Henry2021-06-221-4/+7
* Fully remove HsVersions.hSylvain Henry2021-05-121-5/+3
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-45/+50
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-1/+1
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* Add isInjectiveTyCon check to opt_univ (fixes #19509)Adam Gundry2021-04-141-0/+18
* Fix some warnings when bootstrapping with GHC 9.0Ryan Scott2021-03-091-1/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Remove flattening variablesRichard Eisenberg2020-12-011-2/+1
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+0
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-7/+7
* Optimize NthCo (FunCo ...) in coercion optRichard Eisenberg2020-09-291-7/+11
* DynFlags: add OptCoercionOptsSylvain Henry2020-09-091-6/+15
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-0/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-2/+6
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-6/+7
* 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
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-6/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-2/+2
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+1206
View Lorry Controller Status