Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/T17917
eb840476
·
Avoid useless w/w split
·
May 08, 2020
wip/T18159
48724254
·
Implement T18159
·
May 08, 2020
wip/T18126
81ef202e
·
First draft of Quick Look impredicativity
·
May 07, 2020
wip/T17775
2a57ffcd
·
Simple subsumption
·
May 07, 2020
wip/gc/mark-queue-refactor
22d40db1
·
MarkContext refactoring
·
May 06, 2020
wip/bump-exceptions-submod
d0cae126
·
Bump exceptions submodule so that dist-boot is .gitignore'd
·
May 05, 2020
wip/refactor-rnMethodBinds
ae54eefe
·
Refactoring: Use bindSigTyVarsFV in rnMethodBinds
·
May 04, 2020
wip/t18123
b4d771c3
·
Add Semigroup/Monoid for Q (#18123)
·
May 04, 2020
wip/T18127
6687b27b
·
Make isTauTy detect higher-rank contexts
·
May 04, 2020
wip/hole-refactor
3f4aaac6
·
Refactor hole constraints.
·
May 04, 2020
wip/profile-info-table
d81e9672
·
Add new profiling mode -hi profile by info table
·
May 03, 2020
wip/T17674
3ef8df65
·
Update comments around definitional equality.
·
May 02, 2020
wip/T16758
01dd8c76
·
Add regression tests for #16244, #16245, #16758
·
May 02, 2020
wip/osa1/lfinfo
0340b080
·
Cross-module LambdaFormInfo passing
·
May 01, 2020
wip/T18121
bd2a7c77
·
Don't return a panic in tcNestedSplice
·
May 01, 2020
wip/T18120
7e77aca9
·
Fix specialisation for DFuns
·
May 01, 2020
wip/andreask/strict_dicts
65fed487
·
Remove dead code
·
Apr 30, 2020
wip/keep-going-hs-boot
06e42de1
·
For -fkeep-failed do not duplicate dependency edge code
·
Apr 30, 2020
wip/gc/T18016
3bc91b7a
·
nonmoving: Fix handling of dirty objects
·
Apr 30, 2020
wip/the-flattening-story
a9895ec7
·
Improve Note [The flattening story]
·
Apr 30, 2020
Prev
1
2
3
4
5
6
7
8
9
10
…
65
Next