Skip to content
GitLab
Explore
Sign in
Register
Open
0
Merged
0
Closed
9
All
9
Merge trains
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Filter out impossible cases for standalone deriving GADTs #16341
!3737
· created
Jul 22, 2020
by
Brandon Chinn
9.2.1
GADTs
MR
2-ready for merge
deriving
Closed
38
Approved
updated
Sep 18, 2021
Desugarer: Bring existentials in scope when substituting into record GADTs
!6427
· created
Aug 25, 2021
by
Ryan Scott
GADTs
Closed
8
Approved
updated
Sep 10, 2021
Document how GADT patterns are matched from left-to-right, outside-in
!5257
· created
Mar 14, 2021
by
Ryan Scott
GADTs
ScopedTypeVariables
TypeApplications
documentation
Closed
31
Approved
updated
Mar 17, 2021
Split HsConDecl{H98,GADT}Details
!4333
· created
Oct 21, 2020
by
Ryan Scott
9.2.1
GADTs
Closed
26
Approved
updated
Oct 30, 2020
Remove ConDeclGADTPrefixPs
!3789
· created
Jul 30, 2020
by
Ryan Scott
9.0.1
GADTs
parser
Closed
16
1
Approved
updated
Oct 06, 2020
Make GADT constructors adhere to the forall-or-nothing rule properly
!3337
· created
May 23, 2020
by
Ryan Scott
9.0.1
GADTs
RankNTypes
Closed
49
Approved
updated
Jul 30, 2020
Fix two ASSERT buglets in reifyDataCon
!3007
· created
Mar 31, 2020
by
Ryan Scott
8.10.2
GADTs
TemplateHaskell
TypeFamilies
Closed
3
Approved
updated
May 30, 2020
Use conLikeUserTyVarBinders to quantify field selector types
!3052
· created
Apr 07, 2020
by
Ryan Scott
9.0.1
GADTs
records
Closed
7
Approved
updated
Apr 12, 2020
Parenthesize GADT return types in pprIfaceConDecl (#17384)
!1981
· created
Oct 21, 2019
by
Ryan Scott
8.8.2
GADTs
GHCi
Closed
4
Approved
updated
Oct 24, 2019