summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Pmc: Don't call exprType on type arguments (#18767)Sebastian Graf2020-09-301-1/+2
* Omit redundant kind equality check in solverRichard Eisenberg2020-09-301-13/+21
* Remove unsafeGlobalDynFlags (#17957, #14597)Sylvain Henry2020-09-3012-131/+164
* Bump Cabal, hsc2hs, directory, process submodulesBen Gamari2020-09-301-1/+1
* PmCheck: Long-distance information for LocalBinds (#18626)Sebastian Graf2020-09-304-26/+125
* Make the parser module less dependent on DynFlagsSylvain Henry2020-09-2910-81/+95
* Improve error messages for (a %m) without LinearTypesVladislav Zavialov2020-09-291-3/+18
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-2915-34/+42
* Linear types: fix kind inference when checking dataconsKrzysztof Gogolewski2020-09-291-1/+3
* Optimize NthCo (FunCo ...) in coercion optRichard Eisenberg2020-09-293-28/+39
* Remove outdated comment in rnHsTyKiVladislav Zavialov2020-09-271-4/+0
* Don't rearrange (->) in the renamerVladislav Zavialov2020-09-271-36/+26
* 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-265-143/+160
* PmCheck: Big refactor of module structureSebastian Graf2020-09-2618-1826/+2001
* 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-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
View Lorry Controller Status