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
33
Closed
212
All
245
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}}
Priority
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Without TypeInType, inconsistently accepts Data.Kind.Type but not type synonym
#11964
· created
Apr 20, 2016
by
Edward Z. Yang
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
3
updated
Jul 07, 2019
Poor error message
#11672
· created
Mar 04, 2016
by
Adam Gundry
5
P
normal
T
bug
Trac import
TypeInType
error messages
typechecker
CLOSED
2
updated
Jul 07, 2019
panic: isInjectiveTyCon sees a TcTyCon
#11560
· created
Feb 08, 2016
by
rwbarton
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
8
updated
Jul 07, 2019
Kinds in type synonym/data declarations can unexpectedly unify
#11453
· created
Jan 18, 2016
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
error messages
typechecker
CLOSED
1
updated
Jul 07, 2019
Quantification over unlifted type variable
#11410
· created
Jan 12, 2016
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
3
updated
Jul 07, 2019
Notify user to import * from Data.Kind with TypeInType on
#12029
· created
May 07, 2016
by
Icelandjack
0
GHCi
P
low
T
feature request
Trac import
TypeInType
CLOSED
6
updated
Jul 07, 2019
GHC panic (tcInvisibleTyBinder) when using constraint in a kind
#18714
· created
Sep 18, 2020
by
Ryan Scott
T
bug
TypeInType
compiler crash
CLOSED
2
4
updated
Sep 21, 2020
Higher-rank kinds lead to substitution assertion failure
#16600
· created
Apr 22, 2019
by
Richard Eisenberg
T
bug
TypeInType
CLOSED
4
updated
Jun 08, 2019
Never `Any`-ify during kind inference
#17567
· created
Dec 11, 2019
by
Richard Eisenberg
T
task
TypeInType
typechecker
CLOSED
2
1
11
updated
Jan 11, 2021
TypeInType prevents Typeable from being resolved from a given
#19196
· created
Jan 08, 2021
by
Serge Kosyrev
TypeInType
Typeable
program incorrectly rejected
typechecker
CLOSED
3
updated
Jan 11, 2021
Tighten up the treatment of loose types in the solver
#18753
· created
Sep 26, 2020
by
Richard Eisenberg
TypeInType
constraint solver
typechecker
CLOSED
3
1
updated
Sep 30, 2020
Kind inference bug in type family declaration
#17131
· created
Aug 29, 2019
by
Simon Peyton Jones
TypeFamilies
TypeInType
CLOSED
2
4
updated
Sep 15, 2021
Prev
1
…
7
8
9
10
11
Next
