summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Coercion
Commit message (Expand)AuthorAgeFilesLines
* Account for TYPE vs CONSTRAINT in mkSelCoSimon Peyton Jones2023-02-281-0/+7
* Fix bogus test in LintSimon Peyton Jones2022-12-151-14/+28
* 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
* Minor refactor around OutputableKrzysztof Gogolewski2022-09-221-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-3/+3
* Remove many GHC dependencies from L.H.Sromes2022-07-061-8/+3
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-0/+1
* Fix some notesMatthew Pickering2022-02-081-1/+1
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-0/+1
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-111-1/+2
* Put tracing functions into their own moduleSylvain Henry2021-06-221-4/+7
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-122-7/+3
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-122-47/+53
* 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-012-2/+13
* Move core flattening algorithm to Core.UnifyRichard Eisenberg2020-12-011-1/+0
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-7/+7
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+8
* Optimize NthCo (FunCo ...) in coercion optRichard Eisenberg2020-09-291-7/+11
* DynFlags: add OptCoercionOptsSylvain Henry2020-09-091-6/+15
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-1/+3
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-0/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-122-2/+7
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-4/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-172-7/+16
* 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
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-262-11/+11
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-6/+5
* Modules: type-checker (#13009)Sylvain Henry2020-04-072-3/+3
* Clean up "Eta reduction for data families" NotesRyan Scott2020-04-011-4/+8
* Modules: Types (#13009)Sylvain Henry2020-03-292-7/+7
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-0/+12
* Modules: Core (#13009)Sylvain Henry2020-03-162-0/+1771
View Lorry Controller Status