Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
andrea/wip1
623fbc7e
·
wip
·
Sep 28, 2021
andrea/wip2
f1b5abc5
·
wip
·
Sep 29, 2021
wip/no-nopolykinds
5ea88588
·
WIP on NoNoPolyKinds
·
Dec 24, 2021
wip/existential-implies
2ef9ba17
·
WIP test: remove ExistentialQuantification => ExplicitForAll
·
Feb 23, 2022
wip/remove-hack
0bbde13a
·
Remove hack when printing OccNames
·
May 03, 2022
wip/experiment-pat
b9f510dc
·
Experiment: no simple desugaring for tuples
·
May 11, 2022
wip/test-lint
63f22e2e
·
Test checking for lifted type
·
May 19, 2022
wip/tagtoenum
a0724f89
·
More WIP on TagToEnum
·
May 28, 2022
wip/test-stage1
9f63596b
·
Test stage1 build failure
·
Jun 17, 2022
wip/th-defer-te
be83d702
·
WIP: fix TH + defer-type-errors combination
·
Jul 22, 2022
torsten.schmits/implicit-forall
c4495c83
·
use specialized hint type to indicate that NoImplicitForAll was set
·
Jul 22, 2022
wip/cleanup-printing
9acf5bd2
·
Remove hacky SDoc instances
·
Jul 29, 2022
wip/test-deferring
6f6a0aab
·
Experiment: uniform behavior with deferring
·
Aug 01, 2022
wip/gradual-cleanup
74d82ce0
·
Revert "Always use code style in pprCLabel"
·
Aug 04, 2022
wip/test-style2
d6724a1d
·
WIP: Labels should not get dump style, part 2
·
Aug 08, 2022
wip/test-style
5c518a73
·
Test using AsmStyle in cmm parser
·
Aug 08, 2022
wip/test-asm-style
77d8d2d2
·
Use asm style for -ddump-asm
·
Aug 22, 2022
wip/styled-labels
430fe146
·
Assert labels are not printed with PprCode
·
Aug 22, 2022
wip/alpine-fix
b3217637
·
Fix unused imports
·
Aug 23, 2022
wip/styled-labels3
6938610a
·
Test a potential bad call
·
Aug 23, 2022
Prev
1
…
25
26
27
28
29
30
31
32
33
34
Next