summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types
Commit message (Expand)AuthorAgeFilesLines
* Ensure that zapFragileUnfolding preseves evaluatednessBen Gamari2021-09-111-5/+5
* Canonicalize bignum literalsSylvain Henry2021-09-111-57/+45
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-073-3/+37
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-2/+2
* Convert IFace Rename Errors (#19927)Aaron Allen2021-08-272-0/+10
* Get the in-scope set right during RULE matchingSimon Peyton Jones2021-08-191-5/+5
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-0/+1
* StgToCmm: use correct bounds for switches on sized valueswip/byte-switchSylvain Henry2021-08-171-13/+29
* Add rewriting to typechecking pluginssheaf2021-08-131-0/+10
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-112-32/+76
* Use Reductions to keep track of rewritingssheaf2021-08-041-3/+6
* Remove Semigroup instance for UniqDFM (#19654)Krzysztof Gogolewski2021-08-022-11/+1
* compiler: Name generated locals more descriptivelyBen Gamari2021-07-291-9/+14
* Refactor SuggestExtension constructor in GhcHintAlfredo Di Napoli2021-07-213-9/+75
* Rename RecordPuns to NamedFieldPuns in LangExt.ExtensionAlfredo Di Napoli2021-07-191-4/+0
* Add Word64#/Int64# primopsSylvain Henry2021-07-151-4/+23
* Add proper GHCHints for most PsMessage constructorswip/adinapoli-issue-20055Alfredo Di Napoli2021-07-122-2/+105
* Add TcRnIllegalFieldPunning to TcRnMessageAlfredo Di Napoli2021-07-091-0/+4
* Add TcRnSimplifierTooManyIterations to TcRnMessageAlfredo Di Napoli2021-07-092-0/+7
* Remove useless .hs-bootSylvain Henry2021-07-011-1/+0
* Demand: Better representation (#19050)Sebastian Graf2021-06-291-179/+333
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-0/+14
* Simplifier: Do Cast W/W for INLINE strong loop-breakersSebastian Graf2021-06-272-24/+33
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-222-2/+2
* Put tracing functions into their own moduleSylvain Henry2021-06-222-4/+2
* Enhance cast worker/wrapper for INLINABLESimon Peyton Jones2021-06-181-2/+9
* Reword: representation instead of levitysheaf2021-06-104-33/+33
* Do not add unfoldings to lambda-bindersSimon Peyton Jones2021-06-101-0/+2
* Re-do rubbish literalsSimon Peyton Jones2021-06-052-71/+153
* Make some simple primops levity-polymorphicsheaf2021-06-041-1/+1
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-032-43/+111
* Driver Rework PatchMatthew Pickering2021-06-031-19/+10
* WW: Mark absent errors as diverging againSebastian Graf2021-06-021-14/+14
* Fix and slight improvement to datacon worker/wrapper notesSylvain Henry2021-05-291-2/+2
* Support new parser types in GHCAlfredo Di Napoli2021-05-261-20/+18
* Introduce Strict.Maybe, Strict.Pair (#19156)Vladislav Zavialov2021-05-231-12/+13
* Only suggest names that make sense (#19843)Jakob Brünker2021-05-211-15/+0
* Extensible Hints for diagnostic messagesAlfredo Di Napoli2021-05-202-12/+161
* CPR: Detect constructed products in `runRW#` apps (#19822)Sebastian Graf2021-05-191-3/+3
* Implement :info for record pattern synonyms (#19462)nineonine2021-05-192-3/+3
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-191-0/+16
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-1218-18/+20
* Fully remove HsVersions.hSylvain Henry2021-05-1219-41/+5
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-1214-62/+54
* Ensure assert from Control.Exception isn't usedSylvain Henry2021-05-121-1/+0
* Don't warn about ClassOp bindings not specialising.Andreas Klebinger2021-05-111-0/+6
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-292-4/+4
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-292-62/+2
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-292-108/+192
* 18000 Use GHC.IO.catchException in favor of Exception.catchSasha Bogicevic2021-04-261-3/+2