summaryrefslogtreecommitdiff
path: root/compiler/GHC
Commit message (Expand)AuthorAgeFilesLines
* Comments: change outdated reference to mergeOpswip/docs-no-merge-opsVladislav Zavialov2020-09-271-1/+1
* Fix handling of function coercions (#18747)Krzysztof Gogolewski2020-09-261-1/+1
* Disallow linear types in FFI (#18472)Krzysztof Gogolewski2020-09-261-10/+19
* Make 'undefined x' linear in 'x' (#18731)Krzysztof Gogolewski2020-09-261-2/+7
* Extract SharedIdEnv into its own moduleSebastian Graf2020-09-264-143/+159
* PmCheck: Big refactor of module structureSebastian Graf2020-09-2617-1822/+1993
* Fix typed holes causing linearity errors (#18491)Krzysztof Gogolewski2020-09-251-0/+2
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-251-1/+8
* Stop removing definitions of record fields in GHC.Iface.Ext.AstZubin Duggal2020-09-251-16/+10
* Make sizeExpr strict in the size threshold to facilitate WW.Andreas Klebinger2020-09-251-1/+4
* PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#...Sebastian Graf2020-09-241-5/+11
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-2416-550/+732
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-2430-1801/+2774
* Preliminary work towards removing DynFlags -> Driver.Ppr dependencySylvain Henry2020-09-231-3/+4
* Remove sdocWithDynFlags (fix #10143)Sylvain Henry2020-09-232-12/+2
* Refactor CLabel pretty-printingSylvain Henry2020-09-2310-224/+203
* PmCheck: Rewrite inhabitation testSebastian Graf2020-09-228-1225/+1152
* PmCheck - Comments only: Replace /~ by ≁Sebastian Graf2020-09-223-33/+33
* Fix the occurrence analyserSimon Peyton Jones2020-09-222-480/+581
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-229-571/+759
* Disallow constraints in KindSigCtxtRyan Scott2020-09-211-40/+75
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-213-12/+0
* Resolve shift/reduce conflicts with %shift (#17232)wip/parsing-shiftVladislav Zavialov2020-09-191-218/+332
* Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942)Artyom Kuznetsov2020-09-191-18/+25
* Export singleton function from Data.ListWander Hillen2020-09-197-15/+15
* Wire in constraint tuplesRyan Scott2020-09-196-54/+228
* rts: Refactor foreign export trackingBen Gamari2020-09-181-10/+21
* Remove pprPrec from Outputable (unused)Sylvain Henry2020-09-171-8/+1
* Add note about OutputablePSylvain Henry2020-09-171-9/+108
* Generalize OutputablePSylvain Henry2020-09-1719-111/+182
* Introduce OutputablePSylvain Henry2020-09-1742-700/+777
* Parser.y: clarify treatment of @{-# UNPACK #-}Vladislav Zavialov2020-09-171-1/+1
* CosmeticLeif Metcalf2020-09-171-1/+1
* Make Z-encoding comment into a noteLeif Metcalf2020-09-172-2/+4
* Document IfaceTupleTyRichard Eisenberg2020-09-171-0/+5
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-173-10/+91
* Introduce and use DerivClauseTys (#18662)Ryan Scott2020-09-1511-46/+141
* Export enrichHie from GHC.Iface.Ext.AstZubin Duggal2020-09-151-1/+1
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-1510-81/+159
* Hackily decouple the parser from the desugarerSebastian Graf2020-09-122-6/+37
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-127-76/+95
* Make `tcCheckSatisfiability` incremental (#18645)Sebastian Graf2020-09-124-50/+56
* Avoid iterating twice in `zipTyEnv` (#18535)theobat2020-09-122-2/+20
* PmCheck: Disattach COMPLETE pragma lookup from TyConsSebastian Graf2020-09-1214-431/+328
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-1013-498/+587
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-109-871/+935
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-108-70/+77
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-098-50/+1
* Add comments about sm_dflags and simpleOptExprSylvain Henry2020-09-092-2/+19
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-0916-59/+61
View Lorry Controller Status