| Commit message (Expand) | Author | Age | Files | Lines |
* | Minor TTG clean-up: comments, unused families, bottom | Vladislav Zavialov | 2020-10-02 | 2 | -52/+54 |
* | Fix typos in comments | Krzysztof Gogolewski | 2020-10-02 | 22 | -24/+24 |
* | Refactor: remove rnHsDoc | Vladislav Zavialov | 2020-10-01 | 5 | -82/+13 |
* | Fix pretty-printing of the mult-polymorphic arrow | Vladislav Zavialov | 2020-10-01 | 1 | -1/+1 |
* | Don't attach CPR signatures to NOINLINE data structures (#18154) | Sebastian Graf | 2020-10-01 | 1 | -83/+115 |
* | Don't import GHC.Unit to reduce the number of dependencies | Sylvain Henry | 2020-10-01 | 10 | -10/+19 |
* | Parser: remove some unused imports | Sylvain Henry | 2020-10-01 | 1 | -15/+9 |
* | Less DynFlags in Header parsing | Sylvain Henry | 2020-10-01 | 6 | -18/+22 |
* | Use ADTs for parser errors/warnings | Sylvain Henry | 2020-10-01 | 22 | -649/+1446 |
* | Remove mAIN completely | Fendor | 2020-10-01 | 2 | -4/+2 |
* | Use HomeUnit for main module without module declaration | Fendor | 2020-10-01 | 1 | -1/+1 |
* | Add mainModuleNameIs and demote mainModIs | Fendor | 2020-10-01 | 2 | -7/+10 |
* | Pmc: Don't call exprType on type arguments (#18767) | Sebastian Graf | 2020-09-30 | 1 | -1/+2 |
* | Omit redundant kind equality check in solver | Richard Eisenberg | 2020-09-30 | 1 | -13/+21 |
* | Remove unsafeGlobalDynFlags (#17957, #14597) | Sylvain Henry | 2020-09-30 | 12 | -131/+164 |
* | Bump Cabal, hsc2hs, directory, process submodules | Ben Gamari | 2020-09-30 | 1 | -1/+1 |
* | PmCheck: Long-distance information for LocalBinds (#18626) | Sebastian Graf | 2020-09-30 | 4 | -26/+125 |
* | Make the parser module less dependent on DynFlags | Sylvain Henry | 2020-09-29 | 10 | -81/+95 |
* | Improve error messages for (a %m) without LinearTypes | Vladislav Zavialov | 2020-09-29 | 1 | -3/+18 |
* | New linear types syntax: a %p -> b (#18459) | Vladislav Zavialov | 2020-09-29 | 15 | -34/+42 |
* | Linear types: fix kind inference when checking datacons | Krzysztof Gogolewski | 2020-09-29 | 1 | -1/+3 |
* | Optimize NthCo (FunCo ...) in coercion opt | Richard Eisenberg | 2020-09-29 | 3 | -28/+39 |
* | Remove outdated comment in rnHsTyKi | Vladislav Zavialov | 2020-09-27 | 1 | -4/+0 |
* | Don't rearrange (->) in the renamer | Vladislav Zavialov | 2020-09-27 | 1 | -36/+26 |
* | Comments: change outdated reference to mergeOpswip/docs-no-merge-ops | Vladislav Zavialov | 2020-09-27 | 1 | -1/+1 |
* | Fix handling of function coercions (#18747) | Krzysztof Gogolewski | 2020-09-26 | 1 | -1/+1 |
* | Disallow linear types in FFI (#18472) | Krzysztof Gogolewski | 2020-09-26 | 1 | -10/+19 |
* | Make 'undefined x' linear in 'x' (#18731) | Krzysztof Gogolewski | 2020-09-26 | 1 | -2/+7 |
* | Extract SharedIdEnv into its own module | Sebastian Graf | 2020-09-26 | 5 | -143/+160 |
* | PmCheck: Big refactor of module structure | Sebastian Graf | 2020-09-26 | 18 | -1826/+2001 |
* | Fix typed holes causing linearity errors (#18491) | Krzysztof Gogolewski | 2020-09-25 | 1 | -0/+2 |
* | Pattern guards BindStmt always use multiplicity Many | Arnaud Spiwack | 2020-09-25 | 1 | -1/+8 |
* | Stop removing definitions of record fields in GHC.Iface.Ext.Ast | Zubin Duggal | 2020-09-25 | 1 | -16/+10 |
* | Make sizeExpr strict in the size threshold to facilitate WW. | Andreas Klebinger | 2020-09-25 | 1 | -1/+4 |
* | PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#... | Sebastian Graf | 2020-09-24 | 1 | -5/+11 |
* | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 16 | -550/+732 |
* | Implement Quick Look impredicativity | Simon Peyton Jones | 2020-09-24 | 31 | -1801/+2776 |
* | Preliminary work towards removing DynFlags -> Driver.Ppr dependency | Sylvain Henry | 2020-09-23 | 1 | -3/+4 |
* | Remove sdocWithDynFlags (fix #10143) | Sylvain Henry | 2020-09-23 | 2 | -12/+2 |
* | Refactor CLabel pretty-printing | Sylvain Henry | 2020-09-23 | 10 | -224/+203 |
* | PmCheck: Rewrite inhabitation test | Sebastian Graf | 2020-09-22 | 8 | -1225/+1152 |
* | PmCheck - Comments only: Replace /~ by ≁ | Sebastian Graf | 2020-09-22 | 3 | -33/+33 |
* | Fix the occurrence analyser | Simon Peyton Jones | 2020-09-22 | 2 | -480/+581 |
* | Better eta-expansion (again) and don't specilise DFuns | Simon Peyton Jones | 2020-09-22 | 9 | -571/+759 |
* | Disallow constraints in KindSigCtxt | Ryan Scott | 2020-09-21 | 1 | -40/+75 |
* | Remove unused ThBrackCtxt and ResSigCtxt | Ryan Scott | 2020-09-21 | 3 | -12/+0 |
* | Resolve shift/reduce conflicts with %shift (#17232)wip/parsing-shift | Vladislav Zavialov | 2020-09-19 | 1 | -218/+332 |
* | Remove GADT self-reference check (#11554, #12081, #12174, fixes #15942) | Artyom Kuznetsov | 2020-09-19 | 1 | -18/+25 |
* | Export singleton function from Data.List | Wander Hillen | 2020-09-19 | 7 | -15/+15 |
* | Wire in constraint tuples | Ryan Scott | 2020-09-19 | 6 | -54/+228 |