Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
export-SSymbol
4eee59ee
·
Use SSymbol in GHC.Generics
·
Aug 31, 2022
wip/HsToken-in-HsParTy
8d2dfc02
·
WIP: stash2
·
Aug 11, 2021
wip/T18389-task-three
c651a4d1
·
WIP: T18389, task 3b
·
Jun 03, 2021
wip/T18389-task-zero-take-two
0047aadc
·
WIP: T18389, task (0)
·
May 19, 2021
master
default
protected
fc9546ca
·
genprimopcode: fix bootstrap errors
·
May 13, 2021
wip/T18389-task-zero
e1775791
·
WIP: T18389, task (0)
·
May 04, 2021
wip/PrefixConGADTArg
5fae0721
·
WIP: PrefixConGADTArg
·
May 03, 2021
wip/T13512-approach-one
068a8229
·
WIP: T13512 using fixM
·
Apr 04, 2021
wip/T18863
c4118d24
·
Make typechecker equality consider visibility in ForAllTys
·
Oct 29, 2020
wip/goak
21b523f2
·
WIP: Generics of All Kinds
·
Oct 21, 2020
wip/T18389
d7acf129
·
WIP: T18389, part 2
·
Oct 13, 2020
SuchThat
0475c690
·
WIP: Add (:=>:) to GHC.Generics
·
Sep 20, 2020
wire-in-constraint-tuples
ba614d50
·
TEMPORARY: Do a full CI run
·
Aug 31, 2020
wip/T18517
3ea8ac77
·
Remove ConDeclGADTPrefixPs
·
Jul 31, 2020
wip/T18321
827edf92
·
WIP: T18321
·
Jun 14, 2020
wip/nested-foralls-gadts
6666f255
·
WIP: Nested foralls in GADTs
·
Jun 13, 2020
wip/instance-sigs-gnd
e8dad4fe
·
WIP: Use InstanceSigs in GNDerived code
·
Feb 28, 2020
wip/T13154-take-two
ac5811ed
·
WIP: fix 13154
·
Oct 16, 2019
wip/TcDerivInfer-refactor
e794f5c2
·
WIP: Refactor some cruft in TcDerivInfer.inferConstraints
·
Oct 12, 2019
wip/T10347
dfc87841
·
Mark newtype constructors as used in the Coercible solver (#10347)
·
Oct 07, 2019
Prev
1
2
3
4
5
…
22
Next