Branches · Magnus Viernickel / GHC · GitLab

wip/T18767

7810d130 · Pmc: Don't call exprType on type arguments (#18767) · Sep 29, 2020
wip/T18626

88197973 · PmCheck: Long-distance information for LocalBinds (#18626) · Sep 29, 2020
wip/T18528

4c37c23f · Optimize NthCo (FunCo ...) in coercion opt · Sep 28, 2020
wip/az/hsmatchcontext

53be9687 · Use id rather than pass for HsStmtContext and HsMatchContext · Sep 27, 2020
wip/fix-kind-inference

fc9fd48a · Linear types: fix kind inference when checking datacons · Sep 27, 2020
wip/T18753

4c7e736d · Omit redundant kind equality check in solver · Sep 26, 2020
wip/T18501

c3368ce8 · Add regression test #18501 · Sep 26, 2020
wip/infer-mult-more

de71b9b0 · Make 'undefined x' linear in 'x' (#18731) · Sep 26, 2020
wip/T18747

8c9c02c5 · Fix handling of function coercions (#18747) · Sep 26, 2020
wip/refactor-pmc

d9a5a13b · Extract SharedIdEnv into its own module · Sep 25, 2020
wip/T18745

87fbebd0 · Testing · Sep 24, 2020
wip/T18371

b6bd12cf · Accept new test output for #17218 · Sep 24, 2020
wip/T18126

89831ac8 · Improve kind generalisation, error messages · Sep 24, 2020
wip/angerman/ghc-8.6.5-iohk

95713a6e · fixup! [linker/rtsSymbols] More linker symbols · Sep 24, 2020
wip/T13964

4421c464 · PmCheck: Only suggest imported ConLikes for missing patterns (#13964) · Sep 23, 2020
wip/print_big_ret_stack_closures

cecadf26 · Print RET_BIG stack closures · Sep 23, 2020
wip/T18708

075ce0af · PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#18708) · Sep 23, 2020
wip/T18223

ff5a843e · Better eta-expansion (again) and don't specilise DFuns · Sep 21, 2020
wip/linear-types-syntax

93e484e1 · Bump haddock submodule · Sep 21, 2020
wip/andreask/exprSizeBangs

913c91c3 · Make sizeExpr strict in the size threshold to facilitate WW. · Sep 21, 2020