summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Extract SharedIdEnv into its own modulewip/refactor-pmcSebastian Graf2020-09-255-143/+160
* PmCheck: Big refactor of module structureSebastian Graf2020-09-2518-1826/+2001
* 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-2431-1801/+2776
* 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
* Bump Win32 submodule to 2.9.0.0Ben Gamari2020-09-171-1/+1
* Document IfaceTupleTyRichard Eisenberg2020-09-171-0/+5
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-173-10/+91
* Make ghc-boot reexport modules from ghc-boot-thSylvain Henry2020-09-161-1/+0
* Rename ghci flag into internal-interpreterSylvain Henry2020-09-162-4/+4
* 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-128-76/+96
* 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
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-0941-490/+673
* DynFlags: add OptCoercionOptsSylvain Henry2020-09-094-21/+47
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-095-99/+164
* Use "to" instead of "2" in internal names of conversion opsJohn Ericson2020-09-094-70/+70
* Make the forall-or-nothing rule only apply to invisible foralls (#18660)Ryan Scott2020-09-082-17/+46
View Lorry Controller Status