Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
33
Closed
212
All
245
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}}
Weight
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Title
Weight
Blocking
Document how equality-bearing constructors are promoted in Core
#15282
· created
Jun 17, 2018
by
Ryan Scott
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
2
updated
Jul 07, 2019
Data family promotion is possible
#15245
· created
Jun 07, 2018
by
Vladislav Zavialov
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
broken test
documentation
typechecker
CLOSED
6
updated
Nov 06, 2021
Merge -XPolyKinds with -XTypeInType
#15195
· created
May 29, 2018
by
Richard Eisenberg
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
ghc proposal
CLOSED
8
updated
Jul 07, 2019
GHC HEAD panic (dischargeFmv)
#15170
· created
May 20, 2018
by
Ryan Scott
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
6
updated
Jul 07, 2019
GHC internal error when GADT return type mentions its own constructor name
#15116
· created
May 03, 2018
by
Ryan Scott
8.6.1
5
GADTs
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
7
updated
Jul 07, 2019
Typed hole with higher-rank kind causes GHC to panic (No skolem info)
#15076
· created
Apr 22, 2018
by
Ryan Scott
8.8.1
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
typed holes
CLOSED
10
updated
Jul 07, 2019
Bizarre pretty-printing of inferred Coercible constraint in partial type signature
#15039
· created
Apr 16, 2018
by
Ryan Scott
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
error messages
partial type sigs
typechecker
CLOSED
9
updated
Jul 07, 2019
Pattern matching on GADT does not refine type family parameters
#14938
· created
Mar 19, 2018
by
Csongor Kiss
5
GADTs
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
typechecker
CLOSED
10
updated
Jul 07, 2019
Compiler panic (piResultTy)
#14904
· created
Mar 09, 2018
by
Csongor Kiss
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
typechecker
CLOSED
9
updated
Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check
#14887
· created
Mar 03, 2018
by
Ryan Scott
8.8.1
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
typechecker
CLOSED
13
updated
Jul 07, 2019
GHC panic: updateRole
#14880
· created
Mar 02, 2018
by
Ryan Scott
8.6.2
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
roles
typechecker
CLOSED
155
updated
Jul 07, 2019
Inferring dependent kinds for non-recursive types
#14847
· created
Feb 23, 2018
by
Simon Peyton Jones
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
4
updated
Jul 07, 2019
Renamer hangs (because of -XInstanceSigs?)
#14846
· created
Feb 23, 2018
by
Icelandjack
8.4.2
5
InstanceSigs
P
normal
T
bug
Trac import
TypeInType
CLOSED
10
updated
Jul 07, 2019
TypeInType, index GADT by constraint witness
#14845
· created
Feb 23, 2018
by
Icelandjack
8.6.1
5
P
normal
T
feature request
Trac import
TypeInType
CLOSED
19
updated
Jul 07, 2019
Data type return kinds don't obey the forall-or-nothing rule
#14795
· created
Feb 12, 2018
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeInType
typechecker
6
updated
Mar 04, 2022
Make $! representation-polymorphic
#14764
· created
Feb 05, 2018
by
David Feuer
8.6.1
5
P
normal
T
task
Trac import
TypeInType
core libraries
CLOSED
1
updated
Jul 07, 2019
T13822 fails
#14749
· created
Feb 01, 2018
by
Simon Peyton Jones
5
P
normal
T
bug
Trac import
TypeInType
CLOSED
5
updated
Jul 07, 2019
Ordering of declarations can cause typechecking to fail
#14668
· created
Jan 14, 2018
by
heptahedron
5
P
normal
T
bug
Trac import
TypeInType
typechecker
7
updated
Mar 05, 2022
Allow type family in data family return kind
#14645
· created
Jan 07, 2018
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
12
updated
Nov 12, 2021
Core Lint error
#14607
· created
Dec 23, 2017
by
Icelandjack
5
P
normal
T
bug
Trac import
TypeInType
deferred type errors
CLOSED
4
updated
Jul 07, 2019
Prev
1
2
3
4
5
6
7
…
13
Next