summaryrefslogtreecommitdiff
path: root/compiler/GHC/IfaceToCore.hs
Commit message (Expand)AuthorAgeFilesLines
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-2/+4
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-2/+2
* Re-do rubbish literalsSimon Peyton Jones2021-06-051-0/+4
* Fix Note [Positioning of forkM]Zubin Duggal2021-05-291-5/+4
* Make tcIfaceCompleteMatch lazier.Zubin Duggal2021-05-251-2/+13
* 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-2/+4
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-041-0/+1
* Rename StrictSig to DmdSig (#19597)Sebastian Graf2021-03-281-3/+3
* Refactor FinderCacheSylvain Henry2021-03-261-1/+8
* Refactor interface loadingSylvain Henry2021-03-261-1/+2
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-1/+1
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-1/+2
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-2/+5
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-2/+7
* Refactor LoggerSylvain Henry2021-02-131-3/+6
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* Make PatSyn immutableSimon Peyton Jones2021-01-291-2/+2
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-9/+9
* Display results of GHC.Core.Lint.lint* functions consistentlyRyan Scott2020-11-021-14/+11
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-6/+5
* Move loadDecl into IfaceToCoreSylvain Henry2020-10-311-6/+111
* Split GHC.Driver.TypesSylvain Henry2020-10-291-19/+37
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-091-1/+1
* Wire in constraint tuplesRyan Scott2020-09-191-4/+3
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-121-12/+22
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-091-4/+4
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-1/+1
* Remove "Ord FastString" instanceSylvain Henry2020-09-011-2/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Update compilerSylvain Henry2020-06-171-18/+0
* Various performance improvementsKrzysztof Gogolewski2020-06-171-1/+0
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-22/+25
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-101-4/+44
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-041-13/+15
* Lint rhs of IfaceRulefendor2020-06-011-2/+21
* Explicit SpecificityGert-Jan Bottu2020-05-211-4/+4
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-7/+7
* Modules (#13009)Sylvain Henry2020-04-181-3/+3
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Change zipWith to zipWithEqual in a few placesKrzysztof Gogolewski2020-04-141-1/+1
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-3/+3
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-021-5/+2
* Modules: Types (#13009)Sylvain Henry2020-03-291-19/+19