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
12
Closed
15
All
27
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
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
Another loop with injective type families
#17186
· created
Sep 12, 2019
by
Richard Eisenberg
T
bug
TypeFamilies
compiler crash
injective type families
typechecker
0
updated
Nov 10, 2020
Pattern matching breaks injective type families
#16436
· created
Mar 14, 2019
by
Vladislav Zavialov
injective type families
typechecker
7
updated
Dec 21, 2019
GHC hangs on type family dependency
#14164
· created
Aug 28, 2017
by
Icelandjack
5
P
normal
T
bug
Trac import
injective type families
15
updated
Jan 23, 2020
Mark negation injective
#13797
· created
Jun 07, 2017
by
Icelandjack
5
P
normal
T
bug
Trac import
injective type families
1
updated
Mar 17, 2020
Problems with injective type families
#13621
· created
Apr 27, 2017
by
Icelandjack
5
P
normal
T
bug
Trac import
injective type families
4
updated
Jul 07, 2019
Make injectivity check less conservative
#12114
· created
May 24, 2016
by
MikeIzbicki
5
P
normal
T
bug
T
feature request
Trac import
injective type families
typechecker
1
3
updated
Nov 24, 2021
Type family producing infinite type accepted as injective
#11511
· created
Jan 29, 2016
by
Jan Stolarek
5
P
normal
T
bug
Trac import
TypeFamilies
injective type families
typechecker
7
updated
Jul 07, 2019
Use injective type families (decomposition) when dealing with givens
#10833
· created
Sep 03, 2015
by
Jan Stolarek
5
P
normal
T
feature request
Trac import
injective type families
typechecker
1
13
updated
Mar 17, 2020
Generalize injective type families
#10832
· created
Sep 03, 2015
by
Jan Stolarek
5
P
normal
T
feature request
Trac import
injective type families
typechecker
17
updated
Dec 09, 2020
Type checker cannot deduce type
#10227
· created
Apr 02, 2015
by
lennart@augustsson.net
5
P
normal
T
bug
Trac import
injective type families
3
updated
Jul 07, 2019
Relax restrictions on type family instance overlap
#4259
· created
Aug 16, 2010
by
lilac
8.0.1
5
P
normal
T
feature request
Trac import
injective type families
typechecker
32
updated
Jul 07, 2019