Skip to content
GitLab
Explore
Sign in
Register
Kamil
GHC
Repository
Branches
Overview
Active
Stale
All
wip/fix-kind-inference
fc9fd48a
·
Linear types: fix kind inference when checking datacons
·
Sep 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/bump-base-4.16
d20a0cfa
·
Version bump: base-4.16 (#18712)
·
Sep 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/tuple-width
67539b61
·
Extend mAX_TUPLE_SIZE to 64
·
Sep 27, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18753
4c7e736d
·
Omit redundant kind equality check in solver
·
Sep 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18501
c3368ce8
·
Add regression test #18501
·
Sep 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/infer-mult-more
de71b9b0
·
Make 'undefined x' linear in 'x' (#18731)
·
Sep 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18747
8c9c02c5
·
Fix handling of function coercions (#18747)
·
Sep 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/refactor-pmc
d9a5a13b
·
Extract SharedIdEnv into its own module
·
Sep 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18745
87fbebd0
·
Testing
·
Sep 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18371
b6bd12cf
·
Accept new test output for #17218
·
Sep 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18126
89831ac8
·
Improve kind generalisation, error messages
·
Sep 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/angerman/ghc-8.6.5-iohk
95713a6e
·
fixup! [linker/rtsSymbols] More linker symbols
·
Sep 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T13964
4421c464
·
PmCheck: Only suggest imported ConLikes for missing patterns (#13964)
·
Sep 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/print_big_ret_stack_closures
cecadf26
·
Print RET_BIG stack closures
·
Sep 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T14620
66ec7c65
·
WIP: Fix #14620 by introducing WW to detect more join points
·
Sep 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18708
075ce0af
·
PmCheck: Desugar string literal patterns with -XRebindableSyntax correctly (#18708)
·
Sep 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18723
f01bf042
·
WIP: Check for large tuples more thoroughly in the typechecker
·
Sep 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/T18223
ff5a843e
·
Better eta-expansion (again) and don't specilise DFuns
·
Sep 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/linear-types-syntax
93e484e1
·
Bump haddock submodule
·
Sep 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
wip/andreask/exprSizeBangs
913c91c3
·
Make sizeExpr strict in the size threshold to facilitate WW.
·
Sep 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
5
6
7
8
9
…
79
Next