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,323
Issues
4,323
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
363
Merge Requests
363
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}}
Popularity
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
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
GHC introduces kind equality without TypeInType
#11963
· opened
Apr 20, 2016
by
Edward Z. Yang
8.4.1
5
P
normal
Trac import
TypeInType
bug
typechecker
CLOSED
5
updated
Jul 07, 2019
Internal error: not in scope during type checking, but it passed the renamer
#11821
· opened
Apr 11, 2016
by
darchon
8.0.2
5
P
normal
Trac import
TypeInType
bug
CLOSED
14
updated
Jul 07, 2019
GHC sometimes misses a CUSK
#11811
· opened
Apr 07, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
Trac import
TypeInType
bug
CLOSED
3
updated
Jul 07, 2019
Merge types and kinds in Template Haskell
#11785
· opened
Apr 04, 2016
by
Richard Eisenberg
8.4.1
5
P
normal
TemplateHaskell
Trac import
TypeInType
task
CLOSED
7
updated
Jul 07, 2019
Error in optCoercion
#11754
· opened
Mar 25, 2016
by
Simon Peyton Jones
8.0.1
10
P
highest
Trac import
TypeInType
bug
CLOSED
4
updated
Jul 07, 2019
Deriving Generic1 interacts poorly with TypeInType
#11732
· opened
Mar 21, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
Trac import
TypeInType
bug
generics
CLOSED
19
updated
Jul 07, 2019
Cannot use higher-rank kinds with type families
#11719
· opened
Mar 18, 2016
by
Ollie Charles
8.8.1
5
P
normal
Trac import
TypeInType
bug
typechecker
CLOSED
23
updated
Jul 07, 2019
Make TypeInType stress test work
#11716
· opened
Mar 17, 2016
by
Richard Eisenberg
8.0.1
5
P
normal
Trac import
TypeInType
bug
CLOSED
4
updated
Jul 07, 2019
Type families mistakingly report kind variables as unbound type variables
#11699
· opened
Mar 11, 2016
by
mniip
8.0.1
5
P
normal
Trac import
TypeInType
bug
CLOSED
6
updated
Jul 07, 2019
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
assertPprPanic, called at compiler/types/TyCoRep.hs:1932
#11648
· opened
Feb 26, 2016
by
thomie
8.0.1
10
P
highest
Trac import
TypeInType
bug
CLOSED
21
updated
Jul 07, 2019
Heterogeneous type equality evidence ignored
#11642
· opened
Feb 25, 2016
by
Ben Gamari
8.0.1
10
P
highest
Trac import
TypeInType
bug
typechecker
CLOSED
9
updated
Jul 07, 2019
Higher-rank kind in datatype definition rejected
#11635
· opened
Feb 24, 2016
by
Oleg Grenrus
8.0.1
5
P
normal
Trac import
TypeInType
bug
CLOSED
5
updated
Jul 07, 2019
document TypeInType
#11614
· opened
Feb 20, 2016
by
rwbarton
8.0.1
10
P
highest
Trac import
TypeInType
documentation
task
CLOSED
4
updated
Jul 07, 2019
Self-kinded type variable accepted
#11592
· opened
Feb 17, 2016
by
Simon Peyton Jones
8.2.1
5
P
normal
Trac import
TypeInType
bug
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
Add -fshow-runtime-rep
#11549
· opened
Feb 06, 2016
by
Richard Eisenberg
8.8.1
5
P
normal
Trac import
TypeInType
bug
CLOSED
20
updated
Jul 07, 2019
Absolutely misleading error message on kind error
#11548
· opened
Feb 06, 2016
by
mniip
8.0.1
7
P
high
Trac import
TypeInType
bug
error messages
CLOSED
7
updated
Jul 07, 2019
Prev
1
…
5
6
7
8
9
10
11
Next