Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
42
Closed
136
All
178
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
Weight
Blocking
Performance of type family consistency checks
#19703
· opened
Apr 14, 2021
by
Pepe Iborra
P
normal
T
bug
TypeFamilies
compiler perf
4
updated
Apr 15, 2021
:info no longer shows instances of poly-kinded data families in GHC 9.2+
#19688
· opened
Apr 11, 2021
by
Ryan Scott
9.2.1
GHCi
P
high
T
bug
TypeFamilies
backport needed:9.2
3
8
updated
Apr 14, 2021
Implement type family reduction via term-level functions
#19634
· opened
Apr 02, 2021
by
Rinat Striungis
9.4.1
T
feature request
TypeFamilies
typechecker
1
2
updated
Apr 09, 2021
Improvement for closed type families based on equation apartness
#19568
· opened
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
· opened
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
· opened
Jan 29, 2021
by
Sorokin-Anton
P
normal
T
bug
TypeFamilies
2
updated
Jan 29, 2021
Recursive type families optimisation
#19238
· opened
Jan 19, 2021
by
Sylvain Henry
Coercions
T
feature request
TypeFamilies
compiler perf
1
updated
Mar 12, 2021
Validity checker should reject polytypes passed to type functions
#18762
· opened
Sep 29, 2020
by
Richard Eisenberg
ImpredicativeTypes
P
normal
T
bug
TypeFamilies
program incorrectly accepted
9
updated
Dec 11, 2020
"equirecursive" type family leads to stack overflow in ghci
#18456
· opened
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
· opened
May 06, 2020
by
Joe Hermaszewski
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
· opened
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
· opened
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
· opened
Feb 07, 2020
by
Sebastian Graf
P
normal
QuantifiedConstraints
T
bug
TypeFamilies
6
updated
Feb 20, 2020
First-class apartness checking in type families
#17585
· opened
Dec 17, 2019
by
sheaf
P
normal
T
feature request
TypeFamilies
7
updated
Jun 09, 2020
Allow data family instances with type family applications in the data family's result kind
#17503
· opened
Nov 21, 2019
by
Sebastian Graf
P
normal
T
feature request
TypeFamilies
UnliftedNewtypes
5
updated
Feb 18, 2020
Kind-checking associated types
#17327
· opened
Oct 09, 2019
by
mniip
T
bug
TypeFamilies
TypeInType
typechecker
2
updated
Feb 18, 2020
Data family instances aren't eta-reduced correctly
#17305
· opened
Oct 04, 2019
by
Ryan Scott
8.10.2
GADTs
TemplateHaskell
TypeFamilies
compiler crash
14
updated
Dec 14, 2020
Backpack and instance defaults
#17224
· opened
Sep 20, 2019
by
John Ericson
DefaultSignatures
T
feature request
TypeFamilies
backpack
1
updated
Oct 18, 2020
Another loop with injective type families
#17186
· opened
Sep 12, 2019
by
Richard Eisenberg
T
bug
TypeFamilies
compiler crash
injective type families
typechecker
0
updated
Nov 10, 2020
Order of declarations affects which programs are accepted (type families and existentials)
#16693
· opened
May 24, 2019
by
Iavor S. Diatchki
ExistentialQuantification
T
bug
TypeFamilies
program incorrectly rejected
typechecker
5
updated
Jan 23, 2020
Prev
1
2
3
Next