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
272
Closed
988
All
1,260
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}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
Blocking
"No skolem info" panic (GHC 8.6 only)
#15629
· opened
Sep 11, 2018
by
Ryan Scott
8.8.1
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
9
updated
Jul 07, 2019
defer-type-errors and equality constraints
#15624
· opened
Sep 10, 2018
by
Krzysztof Gogolewski
8.8.1
3
P
low
T
bug
Trac import
typechecker
CLOSED
1
updated
Jul 07, 2019
Error message involving type families points to wrong location
#15621
· opened
Sep 08, 2018
by
Ryan Scott
9.2.1
5
P
normal
T
bug
Trac import
TypeFamilies
error messages
typechecker
11
updated
Jan 25, 2021
When a type application cannot be applied to an identifier due to the absence of an explicit type signature, let the error just say so!
#15596
· opened
Sep 03, 2018
by
kindaro
9.2.1
5
P
normal
T
feature request
Trac import
TypeApplications
error messages
typechecker
3
updated
Jan 25, 2021
TypeApplications-related infinite loop (GHC 8.6+ only)
#15577
· opened
Aug 29, 2018
by
Ryan Scott
8.8.2
7
P
high
T
bug
Trac import
TypeApplications
TypeInType
compiler perf
typechecker
CLOSED
14
updated
Aug 30, 2019
Reduce type families in equations' RHS when testing equation compatibility
#15557
· opened
Aug 22, 2018
by
mniip
8.6.1
5
P
normal
T
feature request
Trac import
TypeFamilies
typechecker
7
updated
Jul 07, 2019
Core Lint error with EmptyCase
#15549
· opened
Aug 21, 2018
by
Ryan Scott
8.8.1
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
compiler crash
typechecker
CLOSED
3
9
updated
Jul 07, 2019
Bogus "No instance" error when type families appear in kinds
#15515
· opened
Aug 13, 2018
by
Ryan Scott
8.8.1
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
error messages
typechecker
CLOSED
7
updated
Jul 07, 2019
Assertion failures in tests T7224, T9201, LevPolyBounded
#15505
· opened
Aug 11, 2018
by
Ömer Sinan Ağacan
8.6.1
5
P
normal
T
bug
Trac import
typechecker
CLOSED
4
updated
Jul 07, 2019
GHC 8.6+ loops infinitely on an UndecidableInstances error message
#15473
· opened
Aug 03, 2018
by
Ryan Scott
8.6.1
10
P
highest
T
bug
Trac import
compiler perf
typechecker
CLOSED
3
updated
Jul 07, 2019
GHC HEAD type inference regression post-"Remove decideKindGeneralisationPlan"
#15472
· opened
Aug 03, 2018
by
Ryan Scott
8.8.1
10
P
highest
T
bug
Trac import
TypeInType
typechecker
CLOSED
11
updated
Jul 07, 2019
GHC 8.6.1 regression (buildKindCoercion)
#15419
· opened
Jul 19, 2018
by
Ryan Scott
8.6.1
10
P
highest
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
1
5
updated
Jul 07, 2019
Higher rank types in pattern synonyms
#15416
· opened
Jul 19, 2018
by
mniip
9.2.1
5
P
normal
PatternSynonyms
T
bug
Trac import
typechecker
4
updated
Jan 23, 2021
Infinite typechecker loop in GHC 8.6
#15380
· opened
Jul 14, 2018
by
Ryan Scott
8.6.1
7
P
high
T
bug
Trac import
TypeFamilies
TypeInType
compiler perf
typechecker
CLOSED
7
updated
Jul 07, 2019
Typed hole panic on GHC 8.6 (tcTyVarDetails)
#15370
· opened
Jul 12, 2018
by
Ryan Scott
8.6.1
7
P
high
T
bug
Trac import
TypeInType
compiler crash
typechecker
typed holes
CLOSED
1
15
updated
Jul 07, 2019
Error message displays redundant equality constraint
#15361
· opened
Jul 11, 2018
by
Ryan Scott
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
error messages
typechecker
CLOSED
11
updated
Jul 07, 2019
False kind errors with implicitly bound kinds in GHC 8.6
#15352
· opened
Jul 08, 2018
by
aaronvargo
8.6.1
5
P
normal
T
bug
Trac import
typechecker
CLOSED
5
updated
Jul 07, 2019
QuantifiedConstraints ignore FunctionalDependencies
#15351
· opened
Jul 07, 2018
by
aaronvargo
5
FunctionalDependencies
P
normal
QuantifiedConstraints
T
bug
Trac import
typechecker
14
updated
Dec 03, 2020
QuantifiedConstraints: Implication constraints with type families don't work
#15347
· opened
Jul 05, 2018
by
aaronvargo
5
P
normal
QuantifiedConstraints
T
bug
Trac import
typechecker
21
updated
Sep 18, 2019
Core Lint error in GHC 8.6.1: From-type of Cast differs from type of enclosed expression
#15346
· opened
Jul 05, 2018
by
Ryan Scott
8.6.1
5
P
normal
T
bug
Trac import
TypeInType
compiler crash
typechecker
CLOSED
1
12
updated
Jul 07, 2019
Prev
1
…
7
8
9
10
11
12
13
14
15
…
63
Next