summaryrefslogtreecommitdiff
path: root/compiler/GHC
Commit message (Expand)AuthorAgeFilesLines
* Ppr: compute length of string literals at compile time (#19266)Sylvain Henry2021-01-291-1/+10
* Add missing .hi-boot dependencies with ghc -M (#14482)Sylvain Henry2021-01-292-1/+19
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-2954-61/+62
* Remove StgLamLeif Metcalf2021-01-2911-67/+65
* typecheck: Account for -XStrict in irrefutability checkBen Gamari2021-01-294-27/+71
* Fix strictness in TyCo.Tidy (#14738)Sylvain Henry2021-01-281-18/+38
* SimplM: Create uniques via IO instead of threadingAndreas Klebinger2021-01-285-70/+147
* Remove some redundant validity checks.Richard Eisenberg2021-01-271-41/+10
* Remove -XMonadFailDesugaring referencesHécate2021-01-272-6/+3
* CoreToStg.Prep: Speculative evaluationSebastian Graf2021-01-231-7/+24
* Track the dependencies of `GHC.Hs.Expr.Types`John Ericson2021-01-232-2/+2
* Separate AST from GhcPass (#18936)John Ericson2021-01-2319-6195/+99
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-235-390/+610
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-2314-177/+258
* Make DmdAnalOpts a newtypeAndreas Klebinger2021-01-222-3/+3
* Enhance nested TransCo pretty-printingSylvain Henry2021-01-221-2/+5
* CmmToC: Fix translation of Cmm literals to word sized literalsStefan Schulze Frielinghaus2021-01-221-5/+7
* LLVM: fix sized shift primops (#19215)Sylvain Henry2021-01-221-10/+20
* 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