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
32
Closed
208
All
240
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}}
Label priority
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Blocking
`Any` appearing in a quantified constraint
#17562
· opened
Dec 10, 2019
by
Richard Eisenberg
9.0.1
QuantifiedConstraints
T
bug
TypeInType
error messages
typechecker
CLOSED
3
4
updated
Jan 11, 2021
Regression involving unboxed types and type families
#17541
· opened
Dec 04, 2019
by
Matthew Pickering
P
normal
T
bug
TypeInType
program incorrectly rejected
typechecker
CLOSED
2
9
updated
Dec 12, 2019
Kind-checking associated types
#17327
· opened
Oct 09, 2019
by
mniip
T
bug
TypeFamilies
TypeInType
typechecker
2
updated
Feb 18, 2020
Compile-time stack overflow exception in GHC HEAD only
#16902
· opened
Jul 02, 2019
by
Ryan Scott
8.10.1
T
bug
TypeInType
CLOSED
5
3
updated
Jul 05, 2019
Scoped kind variables are broken
#16635
· opened
May 07, 2019
by
Vladislav Zavialov
T
bug
TypeInType
typechecker
1
22
updated
Sep 25, 2019
Higher-rank kinds lead to substitution assertion failure
#16600
· opened
Apr 22, 2019
by
Richard Eisenberg
T
bug
TypeInType
CLOSED
4
updated
Jun 08, 2019
"Quantified type's kind mentions quantified type variable" error with fancy-kinded GADT
#16391
· opened
Mar 05, 2019
by
Ryan Scott
8.10.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
4
updated
Jul 27, 2020
Program fails with "Impossible case alternative" when optimized
#16310
· opened
Feb 12, 2019
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
runtime crash
CLOSED
8
updated
Jul 07, 2019
Rework GHC's treatment of constraints in kinds
#16263
· opened
Jan 31, 2019
by
Richard Eisenberg
8.10.1
5
P
normal
T
bug
Trac import
TypeInType
newcomer
CLOSED
14
updated
Jul 07, 2019
GHC 8.6 Core Lint regression (Kind application error)
#16247
· opened
Jan 27, 2019
by
Ryan Scott
8.10.1
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
8
updated
Jul 07, 2019
GHC panic (No skolem info) with RankNTypes and strange scoping
#16245
· opened
Jan 27, 2019
by
Ryan Scott
5
P
normal
QuantifiedConstraints
RankNTypes
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
4
9
updated
Dec 31, 2020
Couldn't match kind ‘k1’ with ‘k1’
#16244
· opened
Jan 27, 2019
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
error messages
typechecker
CLOSED
2
2
updated
May 05, 2020
Associated type family can't be used at the kind level within other parts of parent class
#15942
· opened
Nov 23, 2018
by
Icelandjack
8.6.3
5
P
normal
T
bug
Trac import
TypeApplications
TypeInType
CLOSED
2
8
updated
Sep 19, 2020
GHC panic: newtype F rep = F (forall (a :: TYPE rep). a)
#15883
· opened
Nov 09, 2018
by
Icelandjack
8.10.1
5
P
normal
T
bug
Trac import
TypeInType
UnliftedNewtypes
compiler crash
typechecker
CLOSED
6
updated
Jan 17, 2020
GHC Panic: data A n (a :: n) :: a -> Type
#15881
· opened
Nov 09, 2018
by
Icelandjack
8.6.3
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
8
updated
Jul 07, 2019
Data families with higher-rank kinds
#15874
· opened
Nov 07, 2018
by
Icelandjack
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
2
updated
Jul 07, 2019
Odd pretty printing of equality constraint in kind ('GHC.Types.Eq# <>)
#15872
· opened
Nov 07, 2018
by
Icelandjack
8.10.1
5
P
normal
T
bug
Trac import
TypeInType
error messages
CLOSED
5
11
updated
Jul 07, 2019
Panic with promoted types that Typeable doesn't support
#15862
· opened
Nov 05, 2018
by
Ryan Scott
8.8.1
5
P
normal
T
bug
Trac import
TypeInType
Typeable
compiler crash
CLOSED
7
8
updated
Feb 25, 2020
Dependent quantification, GHC panic
#15859
· opened
Nov 05, 2018
by
Icelandjack
8.6.3
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
1
3
updated
Jul 07, 2019
Bad axiom produced for polykinded data family
#15852
· opened
Nov 02, 2018
by
Richard Eisenberg
8.8.1
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
CLOSED
7
updated
Jul 07, 2019
Prev
1
2
3
4
5
6
7
…
12
Next