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,251
Issues
4,251
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
391
Merge Requests
391
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}}
Last updated
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Empty case does not detect kinds
#14086
· opened
Aug 03, 2017
by
David Feuer
8.4.1
3
P
low
Trac import
TypeInType
bug
error messages
typechecker
CLOSED
3
updated
Jul 07, 2019
Core Lint error
#14162
· opened
Aug 27, 2017
by
Icelandjack
8.2.2
5
P
normal
Trac import
TypeInType
bug
CLOSED
7
updated
Jul 07, 2019
GHC panic with TypeInType and type family
#14174
· opened
Aug 31, 2017
by
David Feuer
8.2.3
5
P
normal
Trac import
TypeInType
bug
compiler crash
typechecker
CLOSED
7
updated
Jul 07, 2019
Panic repSplitTyConApp_maybe
#14175
· opened
Aug 31, 2017
by
David Feuer
8.2.2
5
P
normal
Trac import
TypeInType
bug
compiler crash
typechecker
CLOSED
10
updated
Jul 07, 2019
GHC-inferred type signature doesn't actually typecheck
#14203
· opened
Sep 08, 2017
by
Ryan Scott
5
P
normal
Trac import
TypeFamilies
TypeInType
bug
typechecker
CLOSED
19
updated
Jul 07, 2019
GHC 8.2.1 regression involving telescoping kind signature
#14209
· opened
Sep 09, 2017
by
Ryan Scott
8.4.1
7
P
high
Trac import
TypeInType
bug
typechecker
CLOSED
4
updated
Jul 07, 2019
Gruesome kind mismatch errors for associated data family instances
#14230
· opened
Sep 14, 2017
by
Ryan Scott
8.8.1
7
P
high
Trac import
TypeInType
bug
error messages
typechecker
CLOSED
6
updated
Jul 07, 2019
`:kind` suppresses visible dependent quantifiers by default in GHCi 8.2.1
#14238
· opened
Sep 15, 2017
by
Ryan Scott
8.6.1
5
P
normal
Trac import
TypeInType
bug
incorrect runtime result
typechecker
CLOSED
4
updated
Jul 07, 2019
Infinite loop when typechecking incorrect implementation (GHC HEAD only)
#14350
· opened
Oct 13, 2017
by
Ryan Scott
8.4.1
7
P
high
Trac import
TypeInType
bug
typechecker
CLOSED
3
updated
Jul 07, 2019
Higher-rank kind ascription oddities
#14352
· opened
Oct 14, 2017
by
Ryan Scott
5
P
normal
Trac import
TypeInType
bug
typechecker
CLOSED
2
updated
Jul 07, 2019
Type family equation refuses to unify wildcard type patterns
#14366
· opened
Oct 18, 2017
by
Ryan Scott
8.8.1
5
P
normal
Trac import
TypeFamilies
TypeInType
bug
typechecker
CLOSED
8
updated
Jul 07, 2019
Inferred type for pattern synonym has redundant equality constraint
#14394
· opened
Oct 27, 2017
by
Ryan Scott
5
P
normal
PatternSynonyms
Trac import
TypeInType
bug
typechecker
CLOSED
1
updated
Jul 07, 2019
GHC HEAD regression involving type families in kinds
#14441
· opened
Nov 08, 2017
by
Ryan Scott
8.4.1
7
P
high
Trac import
TypeFamilies
TypeInType
bug
CLOSED
5
updated
Jul 07, 2019
GHCi spins forever
#14450
· opened
Nov 11, 2017
by
Icelandjack
8.4.1
7
P
high
PolyKinds
Trac import
TypeInType
bug
compiler perf
CLOSED
9
updated
Jul 07, 2019
Core Lint error with Type.Reflection and pattern synonyms
#14507
· opened
Nov 22, 2017
by
Icelandjack
10
P
highest
PatternSynonyms
Trac import
TypeInType
bug
CLOSED
7
updated
Jul 07, 2019
"Same" higher-rank kind synonyms behave differently
#14515
· opened
Nov 23, 2017
by
Icelandjack
5
P
normal
Trac import
TypeInType
bug
typechecker
CLOSED
3
updated
Jul 07, 2019
GHC panic (TypeInType)
#14520
· opened
Nov 24, 2017
by
Icelandjack
5
P
normal
Trac import
TypeInType
bug
CLOSED
1
updated
Jul 07, 2019
GHC panic on pattern synonym
#14552
· opened
Dec 02, 2017
by
Icelandjack
5
P
normal
PatternSynonyms
Trac import
TypeInType
ViewPatterns
bug
CLOSED
8
updated
Jul 07, 2019
GHC Panic with TypeInType / levity polymorphism
#14555
· opened
Dec 04, 2017
by
Icelandjack
5
P
normal
Trac import
TypeInType
bug
levity polymorphism
CLOSED
3
updated
Jul 07, 2019
Core Lint error: Ill-kinded result in coercion
#14556
· opened
Dec 05, 2017
by
Icelandjack
5
P
normal
Trac import
TypeInType
bug
CLOSED
3
updated
Jul 07, 2019
Prev
1
…
3
4
5
6
7
8
9
10
11
Next