summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/Coercion/Axiom.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix bogus test in LintSimon Peyton Jones2022-12-151-14/+28
* Minor refactor around OutputableKrzysztof Gogolewski2022-09-221-1/+1
* Remove many GHC dependencies from L.H.Sromes2022-07-061-8/+3
* Fix some notesMatthew Pickering2022-02-081-1/+1
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-0/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-2/+3
* Remove flattening variablesRichard Eisenberg2020-12-011-0/+12
* Split GHC.Driver.TypesSylvain Henry2020-10-291-1/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+8
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-1/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-4/+5
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-1/+9
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-6/+6
* Modules (#13009)Sylvain Henry2020-04-181-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-2/+2
* Clean up "Eta reduction for data families" NotesRyan Scott2020-04-011-4/+8
* Modules: Types (#13009)Sylvain Henry2020-03-291-5/+5
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-0/+12
* Modules: Core (#13009)Sylvain Henry2020-03-161-0/+565