summaryrefslogtreecommitdiff
path: root/compiler/GHC
Commit message (Expand)AuthorAgeFilesLines
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-2251-261/+276
* Enhance Data instance generationSylvain Henry2021-01-221-6/+6
* Add missing fixed-sized primops and constant foldingJohn Ericson2021-01-224-38/+488
* Cleanup primop constant folding rules in a few waysJohn Ericson2021-01-222-28/+29
* C-- shift amount is always native size, not shiftee sizeJohn Ericson2021-01-221-2/+2
* Parameterise Messages over eAlfredo Di Napoli2021-01-2220-169/+271
* Fix error recovery in solveEqualitiesSimon Peyton Jones2021-01-223-28/+83
* Factorize and document binder collect functionsSylvain Henry2021-01-2218-266/+284
* Arrows: collect evidence bindersSylvain Henry2021-01-221-3/+12
* dataToTag#: Avoid unnecessary entryBen Gamari2021-01-221-18/+21
* Use pointer tag in dataToTag#Ben Gamari2021-01-221-7/+35
* When deriving Eq always use tag based comparisons for nullary constructorsAndreas Klebinger2021-01-223-217/+173
* Fix wrong comment about UnitStateSylvain Henry2021-01-221-5/+1
* Use captureTopConstraints at top levelSimon Peyton Jones2021-01-171-4/+6
* Bignum: fix for Integer/Natural Ord instancesSylvain Henry2021-01-172-39/+56
* Fix unsoundness for linear guards (#19120)Krzysztof Gogolewski2021-01-171-1/+2
* Revert "Remove SpecConstrAnnotation (#13681)" (#19168)Sylvain Henry2021-01-172-27/+80
* Remove unused extension pragmas from the compiler code baseHécate2021-01-1718-26/+17
* CmmToLlvm: Sign/Zero extend parameters for foreign callsStefan Schulze Frielinghaus2021-01-173-24/+47
* PmCheck: Positive info doesn't imply there is an inhabitant (#18960)Sebastian Graf2021-01-171-28/+152
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-172-21/+41
* Show missing field types (#18869)Sylvain Henry2021-01-171-6/+10
* WorkWrap: Use SysLocal Name for Thunk Splitting (#19180)Sebastian Graf2021-01-101-13/+45
* Fix `not32Word#` -> `notWord32#`John Ericson2021-01-101-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-099-84/+296
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-0916-209/+228
* compiler: Initialize ForeignExportsList.n_entriesBen Gamari2021-01-071-1/+4
* GHCi: Fill field `DynFlags.dumpPrefix`. (Fixes #17500)Roland Senn2021-01-072-4/+5
* Make primops for `{Int,Word}32#`John Ericson2021-01-075-18/+180
* Implement Unique supply with Addr# atomic primopSylvain Henry2021-01-057-129/+96
* Rename internal primpos ahead of !4492John Ericson2021-01-033-58/+58
* Don't use absentError thunks for strict constructor fieldsSimon Peyton Jones2021-01-027-77/+172
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-029-144/+206
* Make proper fixed-width number literalsSylvain Henry2021-01-024-197/+175
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-314-20/+79
* Put hole instantiation typechecking in the module graph and fix driver batch ...John Ericson2020-12-2811-368/+701
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-2513-52/+99
* Use `hscFrontendHook` againJohn Ericson2020-12-241-2/+5
* Refactor renamer datastructuresAdam Gundry2020-12-2444-729/+1019
* Require ScopedTypeVariables+TypeApplications to use type applications in patt...Ryan Scott2020-12-241-1/+16
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-243-28/+37
* Support package qualifier in Prelude importSylvain Henry2020-12-231-5/+9
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-2310-225/+219
* DmdAnal: Keep alive RULE vars in LetUp (#18971)Sebastian Graf2020-12-233-85/+67
* Fix another haddock parse errorMatthew Pickering2020-12-221-1/+1
* Fix Haddock parse error in GHC.Parser.PostProcess.HaddockMatthew Pickering2020-12-201-2/+2
* Fix printing in -ddump-rule-rewrites (#18668)Krzysztof Gogolewski2020-12-201-1/+2
* Kill floatEqualities completelySimon Peyton Jones2020-12-2014-933/+933
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-6/+7
* Add two warnings to -WallTom Ellis2020-12-191-1/+3