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}}
Popularity
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Blocking
Poor error message around CUSKs
#13777
· opened
Jun 02, 2017
by
Richard Eisenberg
8.6.1
5
CUSKs
P
normal
T
bug
Trac import
TypeInType
CLOSED
2
updated
Jul 07, 2019
TypeInType is not documented in the users' guide flag reference
#13762
· opened
May 27, 2017
by
Ryan Scott
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
documentation
CLOSED
3
updated
Jul 07, 2019
Can't create poly-kinded GADT with TypeInType enabled, but can without
#13761
· opened
May 27, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
9
updated
Jul 07, 2019
Poor error message which masks occurs-check failure
#13674
· opened
May 09, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
10
updated
Jul 07, 2019
Core lint error with TypeInType and TypeFamilyDependencies
#13643
· opened
May 04, 2017
by
Icelandjack
5
P
normal
T
bug
Trac import
TypeInType
injective type families
CLOSED
6
updated
Jul 07, 2019
GHC internal error: ‘Y’ is not in scope during type checking, but it passed the renamer
#13625
· opened
Apr 28, 2017
by
Matthew Pickering
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
2
updated
Jul 07, 2019
Can't resolve levity polymorphic superclass
#13603
· opened
Apr 22, 2017
by
Icelandjack
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
levity polymorphism
CLOSED
7
updated
Jul 07, 2019
ala from Control.Lens.Wrapped panics
#13585
· opened
Apr 18, 2017
by
Fumiaki Kinoshita
8.2.1
10
P
highest
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
14
updated
Jul 07, 2019
Typechecker regression when combining PolyKinds and MonoLocalBinds
#13555
· opened
Apr 09, 2017
by
Ryan Scott
8.2.1
7
P
high
T
bug
Trac import
TypeInType
typechecker
CLOSED
11
updated
Jul 07, 2019
GHC 8.2.1's typechecker rejects code generated by singletons that 8.0 accepts
#13549
· opened
Apr 08, 2017
by
Ryan Scott
8.4.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
16
updated
Jul 07, 2019
Kind error with type equality
#13546
· opened
Apr 07, 2017
by
Vladislav Zavialov
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
8
updated
Jul 07, 2019
Horrible error message due to TypeInType
#13530
· opened
Apr 05, 2017
by
Simon Peyton Jones
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
4
updated
Jul 07, 2019
Data types with higher-rank kinds are pretty-printed strangely
#13409
· opened
Mar 10, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
1
updated
Jul 07, 2019
Fix printing of higher-rank kinds
#13407
· opened
Mar 10, 2017
by
Richard Eisenberg
8.4.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
4
updated
Jul 07, 2019
Location of `forall` matters with higher-rank kind polymorphism
#13399
· opened
Mar 09, 2017
by
Eric Crockett
8.4.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
12
updated
May 21, 2020
PolyKinds is more permissive in GHC 8
#13391
· opened
Mar 07, 2017
by
Eric Crockett
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
6
updated
Jul 07, 2019
Remove checkValidTelescope
#13364
· opened
Mar 02, 2017
by
Richard Eisenberg
8.4.1
5
P
normal
T
task
Trac import
TypeInType
CLOSED
1
updated
Jul 07, 2019
GHC doesn't think a type is of kind *, despite having evidence for it
#13337
· opened
Feb 25, 2017
by
Ryan Scott
8.2.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
14
updated
Jul 07, 2019
Typeable regression in GHC HEAD
#13333
· opened
Feb 24, 2017
by
Ryan Scott
8.2.1
10
P
highest
T
bug
Trac import
TypeInType
typechecker
CLOSED
13
updated
Jul 07, 2019
Polykinded associated type family rejected on false pretenses
#12938
· opened
Dec 07, 2016
by
Richard Eisenberg
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
5
updated
Jul 07, 2019
Prev
1
…
3
4
5
6
7
8
9
10
11
Next