Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
29
Closed
61
All
90
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
Current
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Confusing GADTSyntax newtype error with invisible kinds
#21447
· created
Apr 28, 2022
by
sheaf
9.6.1
GADTs
P
normal
T
bug
diagnostic quality
error messages
newcomer
typechecker
1
updated
May 03, 2022
GADT accepted without -XGADTs
#21102
· created
Feb 18, 2022
by
Richard Eisenberg
9.4.1
GADTs
P
normal
T
bug
documentation
8
updated
Mar 04, 2022
Unexpected warning "redundant constraint" when a Constraint type family is used to limit GADT patterns
#20896
· created
Jan 02, 2022
by
Evgeny Poberezkin
GADTs
P
normal
T
bug
pattern match warnings
typechecker
11
updated
Jan 05, 2022
The GADTs extension implies ExistentialQuantification
#20865
· created
Dec 24, 2021
by
Mario
ExistentialQuantification
GADTs
P
low
documentation
3
5
updated
Jan 03, 2022
Skolems can escape in arrow notation, resulting in Core Lint errors
#20470
· created
Oct 03, 2021
by
Alexis King
Arrows
GADTs
P
normal
T
bug
core lint
typechecker
3
updated
Feb 24, 2022
Coercions are not properly threaded through arrow notation desugaring, resulting in Core Lint errors
#20469
· created
Oct 03, 2021
by
Alexis King
Arrows
GADTs
P
normal
T
bug
core lint
typechecker
5
updated
Mar 10, 2022
Untouchable variable in unused let binding
#18531
· created
Aug 04, 2020
by
Matt Noonan
GADTs
P
normal
T
bug
error messages
program incorrectly rejected
4
updated
Sep 30, 2020
Allow nested foralls and contexts in prefix GADT constructors
#18389
· created
Jun 24, 2020
by
Ryan Scott
GADTs
T
feature request
ghc proposal
24
updated
Apr 02, 2022
GHC does not honor unrestricted function types for GADTs in TH splices
#18378
· created
Jun 23, 2020
by
Ryan Scott
GADTs
LinearTypes
T
bug
TemplateHaskell
1
5
updated
Aug 02, 2021
Type synonym lost with GADTs
#18196
· created
May 17, 2020
by
Identical Snowflake
GADTs
P
normal
T
bug
typechecker
1
2
updated
Oct 17, 2021
8.10: Overlapping instances claimed where there are none (or crash in 8.8)
#18129
· created
May 02, 2020
by
Serge Kosyrev
GADTs
OverlappingInstances
P
normal
T
bug
TypeFamilies
UndecidableSuperClasses
UndecideableInstances
1
3
updated
Jul 01, 2020
GHCi infers too-general type when pattern-matching on existential GADT
#18007
· created
Apr 02, 2020
by
infinity0
GADTs
GHCi
P
normal
T
bug
typechecker
1
updated
Apr 08, 2020
Data family instances aren't eta-reduced correctly
#17305
· created
Oct 04, 2019
by
Ryan Scott
8.10.2
GADTs
TemplateHaskell
TypeFamilies
compiler crash
14
updated
Dec 14, 2020
Let tagToEnum# work with GADTs
#16989
· created
Jul 25, 2019
by
David Feuer
GADTs
P
normal
T
feature request
runtime perf
2
updated
Jul 21, 2020
Relax local equality check
#16684
· created
May 22, 2019
by
Iavor S. Diatchki
GADTs
TypeFamilies
typechecker
3
updated
May 23, 2019
Exhaustivity checking GADT with free variables
#16278
· created
Feb 02, 2019
by
Andrew Martin
5
GADTs
P
normal
T
bug
Trac import
TypeFamilies
pattern match warnings
7
updated
Jun 17, 2020
Valid hole fits and GADT type variable names
#15677
· created
Sep 26, 2018
by
Ryan Scott
⊥
5
GADTs
P
normal
T
bug
Trac import
error messages
typed holes
valid hole fits
6
updated
Sep 07, 2021
TypeInType: Type error conditioned on ordering of GADT and type family definitions
#15561
· created
Aug 23, 2018
by
Bj0rn
8.6.1
5
GADTs
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
3
updated
Mar 05, 2022
Inconsistency in acceptance of equality constraints in different forms
#12823
· created
Nov 11, 2016
by
David Feuer
5
GADTs
P
normal
T
feature request
Trac import
typechecker
4
updated
Jul 07, 2019
Ambiguous types in pattern synonym not determined by functional dependencies
#11655
· created
Feb 27, 2016
by
Icelandjack
5
GADTs
P
normal
T
bug
Trac import
typechecker
1
updated
Jul 07, 2019
Prev
1
2
Next