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
Permit levity polymorphism in kinds
#14180
· opened
Sep 01, 2017
by
David Feuer
5
P
normal
T
bug
Trac import
TypeInType
levity polymorphism
typechecker
18
updated
Sep 16, 2020
GHC mentions unlifted types out of the blue (to me anyway)
#14155
· opened
Aug 24, 2017
by
Icelandjack
5
P
normal
T
bug
Trac import
TypeInType
12
updated
Jan 23, 2020
Refactor type patterns
#14119
· opened
Aug 15, 2017
by
Richard Eisenberg
5
P
normal
T
task
Trac import
TypeInType
18
updated
Jul 07, 2019
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]
#14040
· opened
Jul 27, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
compiler crash
partial type sigs
typechecker
typed holes
17
updated
Jan 23, 2020
Support Typeable instances for types with coercions
#13933
· opened
Jul 07, 2017
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
TypeInType
Typeable
2
updated
Jul 07, 2019
Implement KPush in types
#13650
· opened
May 05, 2017
by
Richard Eisenberg
8.6.1
7
P
high
T
task
Trac import
TypeInType
3
updated
Jul 07, 2019
Consider inferring a higher-rank kind for type synonyms
#13408
· opened
Mar 10, 2017
by
Richard Eisenberg
5
P
normal
T
feature request
Trac import
TypeInType
visible dependent quantification
13
updated
Sep 25, 2020
Type family in type pattern kind
#12564
· opened
Sep 02, 2016
by
Vladislav Zavialov
8.4.1
7
P
high
T
bug
Trac import
TypeFamilies
TypeInType
typechecker
25
updated
Aug 24, 2019
Support induction recursion
#11962
· opened
Apr 20, 2016
by
Richard Eisenberg
5
P
normal
T
feature request
Trac import
TypeInType
19
updated
Jan 06, 2020
Bug with PolyKinds, type synonyms & GADTs
#7503
· opened
Dec 16, 2012
by
Ashley Yakeley
8.0.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
8
updated
Jul 07, 2019
Data families should not instantiate to non-Type kinds
#14420
· opened
Nov 03, 2017
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
1
11
updated
Feb 01, 2021
Allow kinds of associated types to depend on earlier associated types
#12612
· opened
Sep 23, 2016
by
davemenendez
5
P
normal
T
bug
Trac import
TypeInType
1
5
updated
Jul 07, 2019
Prev
1
2
Next