Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
wip/test-T15712
ad07e747
·
Add a test for #15712
·
Feb 06, 2020
note-case-invariants
2614ee36
·
Fix an outdated note link
·
Feb 06, 2020
wip/assert-mklocalid3
a551e3d1
·
Use "OrCoVar" functions less
·
Dec 05, 2019
wip/assert-mklocalid2
4fb42796
·
Restore "OrCoVar" per review comments
·
Dec 03, 2019
wip/no-lambda-unfoldings3
c4b58793
·
Remove unfoldings for lambda-bound variables (#17530)
·
Nov 28, 2019
wip/restore-invariant
85564d87
·
Convert warnings into assertions
·
Nov 27, 2019
wip/no-lambda-unfoldings2
5d37488e
·
Check for dead code
·
Nov 27, 2019
wip/no-lambda-unfoldings
8b47d488
·
WIP on removing lambda binders with unfoldings
·
Nov 27, 2019
wip/assert-mklocalid
349d4147
·
Fix T11142
·
Nov 25, 2019
lt/easier-recursive-aliases2
0e54decc
·
Merge branch 'linear-types' into HEAD
·
Nov 22, 2019
wip/reinstantiate-test2
a167c2d4
·
Revert
f629442b
to check that CI catches the bug
·
Nov 21, 2019
lt/easier-recursive-aliases
a0ab1ece
·
Deactivate some optimisations
·
Nov 21, 2019
no-lambda-unfoldings2
af6a16be
·
WIP on removing lambda binders with unfoldings
·
Oct 31, 2019
wip-mulvars3
91316cb6
·
Reenable linearity checks
·
Sep 08, 2019
wip-mulvars4
98760db4
·
Disable datacon wrappers
·
Sep 06, 2019
linear-gitlab
4eb86ace
·
Merge remote-tracking branch 'origin/master' into merge-sep-2
·
Sep 02, 2019
krzysztof/multco-wrapper
0f9bdf72
·
Remove typecheck-testsuite for now
·
Aug 09, 2019
note/in-scope-set-as-a-substitution
0670f98a
·
Add a note in the simplifier about in-scope set as a substitution
·
Jul 15, 2019
ghc/ghc!836
gitmodules-abs-url
e79852f5
·
Make all submodules have absolute URLs
·
Jul 04, 2019
master
default
protected
6e96aa2d
·
Don't use X86_64_ELF_NONPIC_HACK for +RTS -xp
·
Jan 30, 2019
Prev
1
…
10
11
12
13
14
15
16
17
18
…
35
Next