summaryrefslogtreecommitdiff
path: root/compiler/GHC
Commit message (Expand)AuthorAgeFilesLines
* TypeError is OK on the RHS of a type synonymwip/T20181Simon Peyton Jones2021-08-151-3/+8
* Detect TypeError when checking for insolubilitysheaf2021-08-156-36/+121
* Add rewriting to typechecking pluginssheaf2021-08-138-135/+297
* Refactoring module dependenciesSylvain Henry2021-08-1317-138/+179
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-139-41/+74
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-1113-77/+124
* Optimize Info Table Provenance Entries (IPEs) Map creation and lookupSven Tennie2021-08-111-1/+1
* Fix pprDepsSylvain Henry2021-08-101-1/+3
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-1013-106/+98
* Add a Typeable constraint to fromStaticPtr, addressing #19729David Simmons-Duffin2021-08-101-5/+2
* Move `/includes` to `/rts/include`, sort per package betterJohn Ericson2021-08-0923-36/+36
* Remove ad-hoc fromIntegral rulesSylvain Henry2021-08-091-59/+230
* Minor fix to pretty-printing of linear typesKrzysztof Gogolewski2021-08-053-8/+12
* Use Reductions to keep track of rewritingssheaf2021-08-0418-917/+1405
* Make HsWrapper a MonoidJohn Ericson2021-08-041-0/+21
* Linear types: fix linting of multiplicities (#19165)Krzysztof Gogolewski2021-08-041-14/+20
* Disable -fdefer-type-errors for linear types (#20083)Krzysztof Gogolewski2021-08-043-3/+32
* Don't store tmpDir in SettingsSylvain Henry2021-08-033-18/+9
* move bytecode preparation into the STG pipelineLuite Stegeman2021-08-034-199/+244
* Correctly unload libs on GHCi with external iservTito Sacchi2021-08-031-1/+1
* Handle OverloadedRecordDot in TH (#20185)Zubin Duggal2021-08-033-5/+31
* Improve documentation for HscTypes.usg_mod_hashAndreas Klebinger2021-08-031-2/+5
* Remove eager forcing of RuleInfo in substRuleInfoMatthew Pickering2021-08-032-9/+33
* Catch type-checker exceptions when splicingSimon Peyton Jones2021-08-021-4/+10
* Supply missing case for '.' inShayne Fletcher2021-08-021-0/+1
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-023-1/+21
* Remove Semigroup instance for UniqDFM (#19654)Krzysztof Gogolewski2021-08-022-11/+1
* Lookup string literals in top-level thunks (fix #16373)Sylvain Henry2021-08-021-6/+8
* Constant-fold unpackAppendCString (fix #20174)Sylvain Henry2021-08-022-48/+103
* Only create callstack in DEBUG buildsSylvain Henry2021-08-021-16/+16
* [AArch64/Darwin] fix packed calling conv alignmentMoritz Angermann2021-08-021-6/+38
* PrimOps: Add CAS op for all int sizesPeter Trommler2021-08-024-4/+150
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-293-3/+23
* UNREG: implement 64-bit mach ops for 32-bit targetsSergei Trofimovich2021-07-291-29/+29
* compiler: Name generated locals more descriptivelyBen Gamari2021-07-291-9/+14
* Delete ToDo about incorrect optimisation [skip ci]Peter Trommler2021-07-291-4/+0
* Port more DriverUnknownMessage into richer DriverMessage constructorsAlfredo Di Napoli2021-07-286-59/+274
* Fix type check error message grammar (fixes #20122)CarrieMY2021-07-282-3/+22
* Fix a subtle scoping error in simplLazyBindSimon Peyton Jones2021-07-281-10/+15
* Improve performance of eta expansionSimon Peyton Jones2021-07-284-73/+152
* Simplify and improve the eta expansion mechanismSimon Peyton Jones2021-07-284-154/+150
* Inline less logging codeSimon Peyton Jones2021-07-282-26/+47
* Make the occurrence analyser a bit stricterSimon Peyton Jones2021-07-281-29/+31
* White space, spelling, and a tiny refactorSimon Peyton Jones2021-07-282-6/+9
* Extend the in-scope set to silence substExpr warningsSimon Peyton Jones2021-07-281-2/+12
* Improve postInlineUnconditionallySimon Peyton Jones2021-07-281-14/+29
* Print out module name in "bailing out" messageSimon Peyton Jones2021-07-281-2/+2
* Fix smallEnoughToInlineSimon Peyton Jones2021-07-281-2/+5
* PIC: test for cross-module referencesSylvain Henry2021-07-271-7/+4
* Don't abort on representation polymorphism checkKrzysztof Gogolewski2021-07-271-1/+1