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
273
Closed
987
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 with PolyKinds
#17841
· opened
Feb 16, 2020
by
Jakob Brünker
8.10.2
PolyKinds
T
bug
compiler crash
typechecker
CLOSED
1
3
updated
Oct 19, 2020
Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical
#17827
· opened
Feb 12, 2020
by
Richard Eisenberg
needs triage
typechecker
CLOSED
2
1
updated
Feb 14, 2020
Instantiation doesn't look through dictionaries
#17789
· opened
Feb 05, 2020
by
Richard Eisenberg
needs triage
typechecker
CLOSED
1
updated
Feb 05, 2020
CUSK-less class typechecks on 8.4, but not on 8.6+
#17772
· opened
Jan 31, 2020
by
Ryan Scott
PolyKinds
T
bug
TypeFamilies
typechecker
CLOSED
2
5
updated
Mar 31, 2021
Poly-kinded rewrite rule fails to typecheck (HEAD only)
#17710
· opened
Jan 19, 2020
by
Ryan Scott
9.0.1
10
P
highest
PolyKinds
T
bug
rules
typechecker
CLOSED
2
9
updated
Mar 15, 2020
Never kick out Given Nominal equalities
#17672
· opened
Jan 13, 2020
by
Richard Eisenberg
T
task
typechecker
CLOSED
7
2
updated
Apr 13, 2021
Closed type family declaration accepts any name in LHS
#17633
· opened
Jan 03, 2020
by
Maxim Koltsov
8.8.1
P
normal
T
bug
TypeFamilies
program incorrectly accepted
typechecker
CLOSED
1
2
2
updated
Jan 03, 2020
Evidence for equality constraints on typeclass methods isn’t erased
#17625
· opened
Dec 29, 2019
by
Alexis King
P
normal
T
bug
typechecker
CLOSED
10
updated
Jan 08, 2020
Never `Any`-ify during kind inference
#17567
· opened
Dec 11, 2019
by
Richard Eisenberg
T
task
TypeInType
typechecker
CLOSED
2
1
11
updated
Jan 11, 2021
`Any` appearing in a quantified constraint
#17562
· opened
Dec 10, 2019
by
Richard Eisenberg
9.0.1
QuantifiedConstraints
T
bug
TypeInType
error messages
typechecker
CLOSED
3
4
updated
Jan 11, 2021
Regression involving unboxed types and type families
#17541
· opened
Dec 04, 2019
by
Matthew Pickering
P
normal
T
bug
TypeInType
program incorrectly rejected
typechecker
CLOSED
2
9
updated
Dec 12, 2019
`tcMatchTy` is terribly broken
#17395
· opened
Oct 23, 2019
by
Simon Peyton Jones
8.10.1
P
normal
T
bug
typechecker
CLOSED
2
1
updated
Nov 01, 2019
Let-bound wildcards are not let-generalised
#17367
· opened
Oct 16, 2019
by
Sebastian Graf
typechecker
CLOSED
7
updated
Feb 05, 2020
BangPatterns in PatternGuards don't work like docs would suggest
#17343
· opened
Oct 11, 2019
by
Jakob Brünker
8.10.1
3
P
low
typechecker
CLOSED
2
6
updated
Oct 16, 2019
GHC.TypeLits.TypeError can print 'GHC.Types.Any' when existentials are involved
#17301
· opened
Oct 04, 2019
by
sheaf
P
normal
T
bug
error messages
typechecker
CLOSED
2
5
updated
Jan 11, 2021
Rank-n-types without -XRankNTypes
#17213
· opened
Sep 19, 2019
by
Krzysztof Gogolewski
8.10.1
RankNTypes
T
bug
typechecker
CLOSED
2
0
updated
Jul 14, 2020
GHC does not use quantified constraint from transitive superclass
#17202
· opened
Sep 18, 2019
by
Alexis King
P
normal
QuantifiedConstraints
T
bug
typechecker
CLOSED
2
13
updated
Mar 19, 2020
Enormous error message when importing seemingly unused module
#17139
· opened
Aug 30, 2019
by
Ryan Scott
error messages
typechecker
CLOSED
5
updated
Dec 26, 2020
GHC unexpectedly reports variable as untouchable and suggests -XAmbiguousTypes after enabling constraints via associated type family under rank2 argument
#17105
· opened
Aug 23, 2019
by
Sergey Vinokurov
T
question
typechecker
CLOSED
7
updated
Sep 02, 2019
"Quantification by level numbers would fail" for an ill-kinded signature
#17077
· opened
Aug 19, 2019
by
Vladislav Zavialov
8.10.1
T
bug
typechecker
CLOSED
5
updated
Sep 24, 2019
Prev
1
2
3
4
5
6
7
…
50
Next