Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/T18491
086426ab
·
Fix typed holes causing linearity errors (#18491)
·
Sep 24, 2020
wip/doc-fixes
863f67cd
·
Various documentation fixes
·
Sep 25, 2020
wip/17919
587c3c51
·
Add a flag to indicate that gcc supports -no-pie
·
Sep 25, 2020
wip/linear-ffi-18472
06730b56
·
Disallow linear types in FFI (#18472)
·
Sep 26, 2020
wip/T18465
c459abe2
·
Make TH splices nonlinear (#18465)
·
Sep 28, 2020
wip/18465-linear-th
082a9732
·
Fix linear types in TH splices (#18465)
·
Sep 29, 2020
wip/simplify-lint
4ac4ae03
·
Disable inline warnings directly
·
Sep 30, 2020
wip/comment-typos
c4a523b5
·
Fix typos in comments
·
Oct 01, 2020
wip/T18780
f1fb90d1
·
Reject linearity in kinds in checkValidType (#18780)
·
Oct 02, 2020
wip/misc-manual
589fcda0
·
Small documentation fixes
·
Oct 02, 2020
wip/ppr-arrow-chain
a9e7acb6
·
Debug ppr_arrow_chain
·
Oct 04, 2020
wip/misc-cleanup2
b27c2262
·
Misc cleanup
·
Oct 05, 2020
wip/linear-gadt-roles
8fafb304
·
Linear types: fix roles in GADTs (#18799)
·
Oct 06, 2020
wip/fix-pgmopt-lm
04ec64a0
·
Add -pgmlm and -optlm flags
·
Oct 07, 2020
wip/index-error
11275ad8
·
Export indexError from GHC.Ix (#18579)
·
Oct 07, 2020
wip/mult-user-syntax
fc39de3e
·
Try moving One and Many to UserSyntax
·
Oct 12, 2020
wip/reinstantiate-test
bbe60a93
·
Revert "Disable T10962 on llvm for now"
·
Oct 15, 2020
wip/force-mult-18925
2753e13a
·
Force argument in setIdMult (#18925)
·
Nov 06, 2020
wip/test-inscope
e2c32f06
·
WIP on smaller inscope set
·
Dec 14, 2020
wip/test-inscope-master
6d7c671d
·
WIP on smaller inscope set, for 9.2
·
Dec 14, 2020
Prev
1
…
23
24
25
26
27
28
29
30
31
…
34
Next