Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
GHC
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Locked Files
Issues
4,324
Issues
4,324
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
385
Merge Requests
385
Requirements
Requirements
List
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Security & Compliance
Security & Compliance
Dependency List
License Compliance
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Code Review
Insights
Issue
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
31
Closed
207
All
238
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
None
Any
{{title}}
None
Any
{{title}}
&{{id}}
Due date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Location of `forall` matters with higher-rank kind polymorphism
#13399
· opened
Mar 09, 2017
by
Eric Crockett
8.4.1
5
P
normal
Trac import
TypeInType
bug
CLOSED
12
updated
May 21, 2020
PolyKinds is more permissive in GHC 8
#13391
· opened
Mar 07, 2017
by
Eric Crockett
5
P
normal
Trac import
TypeInType
bug
CLOSED
6
updated
Jul 07, 2019
Remove checkValidTelescope
#13364
· opened
Mar 02, 2017
by
Richard Eisenberg
8.4.1
5
P
normal
Trac import
TypeInType
task
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
Trac import
TypeInType
bug
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
Trac import
TypeInType
bug
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
Trac import
TypeInType
bug
CLOSED
5
updated
Jul 07, 2019
Wrong class instance selection with Data.Kind.Type
#12933
· opened
Dec 06, 2016
by
julm
10
P
highest
Trac import
TypeInType
bug
CLOSED
3
updated
Jul 07, 2019
tc_infer_args does not set in-scope set correctly
#12931
· opened
Dec 06, 2016
by
johnleo
5
P
normal
Trac import
TypeInType
bug
CLOSED
2
updated
Jul 07, 2019
Kind classes compile with PolyKinds
#12922
· opened
Dec 03, 2016
by
Matthías Páll Gissurarson
5
P
normal
Trac import
TypeInType
bug
CLOSED
10
updated
Jul 07, 2019
Equality not used for substitution
#12919
· opened
Dec 02, 2016
by
Vladislav Zavialov
8.4.1
10
P
highest
Trac import
TypeInType
bug
typechecker
CLOSED
21
updated
Jul 07, 2019
Allow runtime-representation polymorphic data families
#12766
· opened
Oct 26, 2016
by
Icelandjack
8.10.1
5
P
normal
Trac import
TypeInType
UnliftedNewtypes
feature request
CLOSED
3
updated
Jul 07, 2019
Instantiation of invisible type family arguments is too eager
#12742
· opened
Oct 20, 2016
by
Richard Eisenberg
5
P
normal
Trac import
TypeInType
bug
CLOSED
2
updated
Jul 07, 2019
Allow kinds of associated types to depend on earlier associated types
#12612
· opened
Sep 23, 2016
by
davemenendez
5
P
normal
Trac import
TypeInType
bug
1
5
updated
Jul 07, 2019
Type family in type pattern kind
#12564
· opened
Sep 02, 2016
by
Vladislav Zavialov
8.4.1
7
P
high
Trac import
TypeFamilies
TypeInType
bug
typechecker
25
updated
Aug 24, 2019
Reference kind in a type instance declaration defined in another instance declaration
#12553
· opened
Aug 30, 2016
by
Icelandjack
5
P
normal
Trac import
TypeInType
bug
CLOSED
11
updated
Jul 07, 2019
GHC 8.0 accepts recursive kind signature that GHC 7.10 rejects
#12534
· opened
Aug 24, 2016
by
Ryan Scott
5
P
normal
Trac import
TypeInType
bug
typechecker
CLOSED
2
updated
Jul 07, 2019
Template Haskell regression: GHC erroneously thinks a type variable is also a kind
#12503
· opened
Aug 20, 2016
by
Ryan Scott
8.2.1
7
P
high
TemplateHaskell
Trac import
TypeInType
bug
CLOSED
9
updated
Jul 07, 2019
Pure unifier usually doesn't need to unify kinds
#12442
· opened
Jul 27, 2016
by
Richard Eisenberg
5
P
normal
Trac import
TypeInType
bug
CLOSED
9
updated
Jul 07, 2019
data families shouldn't be required to have return kind *, data instances should
#12369
· opened
Jul 06, 2016
by
Edward Kmett
8.4.1
5
P
normal
Trac import
TypeInType
feature request
typechecker
CLOSED
14
updated
Jul 07, 2019
Dependent type family does not reduce
#12239
· opened
Jun 28, 2016
by
Vladislav Zavialov
8.2.1
7
P
high
Trac import
TypeFamilies
TypeInType
bug
typechecker
CLOSED
11
updated
Jul 07, 2019
Prev
1
…
5
6
7
8
9
10
11
12
Next