summaryrefslogtreecommitdiff
path: root/compiler/GHC/IfaceToCore.hs
Commit message (Expand)AuthorAgeFilesLines
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-1/+0
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-1/+1
* Reverse dependency between StgToCmm and Runtime.Heap.LayoutSylvain Henry2022-03-231-0/+1
* Make typechecking unfoldings from interfaces lazierMatthew Pickering2022-02-261-24/+38
* Introduce predicate for when to enable source notes (needSourceNotes)Matthew Pickering2022-02-231-2/+2
* Tag inference work.Andreas Klebinger2022-02-121-0/+4
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-041-5/+5
* Untangled GHC.Types.Id.Make from the driverSylvain Henry2022-01-121-2/+1
* Abstract BangOptsSylvain Henry2022-01-121-6/+6
* Multiple Home UnitsMatthew Pickering2021-12-281-11/+4
* Correct retypechecking in --make modeMatthew Pickering2021-11-251-1/+2
* More support for optional home-unitSylvain Henry2021-11-201-2/+3
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-13/+21
* compiler: occEnvElts -> nonDetOccEnvEltsBen Gamari2021-09-291-1/+1
* compiler: Rename nameEnvElts -> nonDetNameEnvEltsBen Gamari2021-09-291-1/+1
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-14/+15
* 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