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,262
Issues
4,262
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
419
Merge Requests
419
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}}
Milestone due date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
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
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
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
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
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
TypeInType Compile-time Panic
#12081
· opened
May 18, 2016
by
MichaelK
5
P
normal
Trac import
TypeInType
bug
compiler crash
CLOSED
5
updated
Sep 19, 2020
Notify user to import * from Data.Kind with TypeInType on
#12029
· opened
May 07, 2016
by
Icelandjack
0
GHCi
P
low
Trac import
TypeInType
feature request
CLOSED
6
updated
Jul 07, 2019
Without TypeInType, inconsistently accepts Data.Kind.Type but not type synonym
#11964
· opened
Apr 20, 2016
by
Edward Z. Yang
5
P
normal
Trac import
TypeInType
bug
typechecker
CLOSED
3
updated
Jul 07, 2019
Support induction recursion
#11962
· opened
Apr 20, 2016
by
Richard Eisenberg
5
P
normal
Trac import
TypeInType
feature request
19
updated
Jan 06, 2020
Poor error message
#11672
· opened
Mar 04, 2016
by
Adam Gundry
5
P
normal
Trac import
TypeInType
bug
error messages
typechecker
CLOSED
2
updated
Jul 07, 2019
panic: isInjectiveTyCon sees a TcTyCon
#11560
· opened
Feb 08, 2016
by
rwbarton
5
P
normal
Trac import
TypeInType
bug
compiler crash
typechecker
CLOSED
8
updated
Jul 07, 2019
Self quantification in GADT data declarations
#11554
· opened
Feb 07, 2016
by
Rafbill
7
P
high
Trac import
TypeInType
bug
compiler crash
typechecker
CLOSED
18
updated
Sep 19, 2020
Kinds in type synonym/data declarations can unexpectedly unify
#11453
· opened
Jan 18, 2016
by
Ryan Scott
5
P
normal
Trac import
TypeInType
bug
error messages
typechecker
CLOSED
1
updated
Jul 07, 2019
Quantification over unlifted type variable
#11410
· opened
Jan 12, 2016
by
Richard Eisenberg
5
P
normal
Trac import
TypeInType
bug
CLOSED
3
updated
Jul 07, 2019
Prev
1
…
8
9
10
11
12
Next