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
49
Closed
151
All
200
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
GHC 9.4 panic on a representation-polymorphic newtype instance
#21544
· created
May 10, 2022
by
sheaf
9.4.1
P
high
T
bug
TypeFamilies
UnliftedNewtypes
compiler crash
representation polymorphism
typechecker
14
updated
May 27, 2022
Quantified constraint should be accepted in RHS of type family equation
#21210
· created
Mar 09, 2022
by
Richard Eisenberg
P
normal
QuantifiedConstraints
T
bug
TypeFamilies
program incorrectly rejected
typechecker
1
updated
Mar 15, 2022
Warn when an equality constraint comes into scope without -XMonoLocalBinds
#20737
· created
Nov 24, 2021
by
Richard Eisenberg
P
normal
RankNTypes
T
task
TypeFamilies
typechecker
2
updated
Nov 27, 2021
Regression in superclass checking of instances
#20666
· created
Nov 11, 2021
by
Xia Li-yao
9.2.4
P
highest
T
bug
TypeFamilies
backport needed:9.2
1
1
18
updated
May 25, 2022
Improve consistency check for type families
#20479
· created
Oct 05, 2021
by
Krzysztof Gogolewski
P
low
T
task
TypeFamilies
0
updated
Oct 05, 2021
Coercion prevents type family equation from applying
#20172
· created
Jul 27, 2021
by
Richard Eisenberg
TypeFamilies
TypeInType
0
updated
Jul 27, 2021
Non-terminating substitution with derived constraints
#19974
· created
Jun 10, 2021
by
sheaf
P
normal
T
bug
TypeFamilies
constraint solver
typechecker
2
updated
Jun 30, 2021
No orphan warning for data instances
#19773
· created
Apr 30, 2021
by
Oleg Grenrus
P
normal
T
bug
TypeFamilies
error messages
newcomer
program incorrectly accepted
4
updated
May 04, 2021
Performance of type family consistency checks
#19703
· created
Apr 14, 2021
by
Pepe Iborra
P
normal
T
bug
TypeFamilies
compiler perf
1
7
updated
Feb 04, 2022
Implement type family reduction via term-level functions
#19634
· created
Apr 02, 2021
by
Rinat Striungis
T
feature request
TypeFamilies
typechecker
1
2
updated
Feb 23, 2022
Improvement for closed type families based on equation apartness
#19568
· created
Mar 20, 2021
by
Alexis King
P
low
T
feature request
TypeFamilies
injective type families
5
updated
Apr 08, 2021
Type equality constraints can prevent sharing with GHC versions above 7.1
#19479
· created
Mar 02, 2021
by
Philipp
T
feature request
TypeFamilies
runtime perf
5
updated
Apr 06, 2021
type family creates a type synonym, which should not be created
#19277
· created
Jan 29, 2021
by
Sorokin-Anton
P
normal
T
bug
TypeFamilies
2
updated
Jan 29, 2021
Recursive type families optimisation
#19238
· created
Jan 19, 2021
by
Sylvain Henry
Coercions
T
feature request
TypeFamilies
compiler perf
1
updated
Oct 06, 2021
Validity checker should reject polytypes passed to type functions
#18762
· created
Sep 29, 2020
by
Richard Eisenberg
ImpredicativeTypes
P
normal
T
bug
TypeFamilies
program incorrectly accepted
9
updated
Oct 17, 2021
"equirecursive" type family leads to stack overflow in ghci
#18456
· created
Jul 15, 2020
by
Xia Li-yao
GHCi
P
normal
T
bug
TypeFamilies
compiler crash
typechecker
2
updated
Jul 17, 2020
reifyInstances doesn't work with closed type families
#18153
· created
May 06, 2020
by
Ellie Hermaszewska
P
normal
T
bug
TemplateHaskell
TypeFamilies
0
updated
May 09, 2020
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
Unused type variable error misidentifies the name of the type variable
#17838
· created
Feb 15, 2020
by
Ryan Scott
PolyKinds
T
bug
TypeFamilies
error messages
5
updated
Mar 31, 2020
QuantifiedConstraints don't work with equality constraints on type families
#17802
· created
Feb 07, 2020
by
Sebastian Graf
P
normal
QuantifiedConstraints
T
bug
TypeFamilies
6
updated
Feb 20, 2020
Prev
1
2
3
Next