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
19
Closed
33
All
52
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
GHC does not rewrite in FunTy
#19677
· opened
Apr 09, 2021
by
Richard Eisenberg
P
normal
T
bug
TypeInType
constraint solver
levity polymorphism
program incorrectly rejected
typechecker
0
updated
Apr 12, 2021
Unbound record/field names in Template Haskell Quotes
#19312
· opened
Feb 03, 2021
by
Adam Gundry
P
normal
T
bug
TemplateHaskell
program incorrectly rejected
records
4
updated
Apr 07, 2021
Core lint error (with flags: -O2 -fobject-code -fstatic-argument-transformation -dcore-lint)
#19285
· opened
Jan 30, 2021
by
Icelandjack
T
bug
compiler crash
core lint
program incorrectly rejected
static argument transformation
4
updated
Mar 16, 2021
False positives from -Wincomplete-record-updates
#19084
· opened
Dec 18, 2020
by
Joseph C. Sible
P
normal
T
bug
error messages
pattern match warnings
program incorrectly rejected
3
updated
Jan 12, 2021
Types with different forall placements don't unify with QL ImpredicativeTypes
#18759
· opened
Sep 28, 2020
by
Andrzej Rybczak
FunctionalDependencies
ImpredicativeTypes
P
normal
T
bug
program incorrectly rejected
records
53
updated
Dec 31, 2020
RebindableSyntax cannot defer-out-of-scope-variables
#18636
· opened
Sep 01, 2020
by
Richard Eisenberg
P
normal
RebindableSyntax
T
bug
deferred type errors
program incorrectly rejected
1
0
updated
Feb 16, 2021
Untouchable variable in unused let binding
#18531
· opened
Aug 04, 2020
by
Matt Noonan
GADTs
P
normal
T
bug
error messages
program incorrectly rejected
4
updated
Sep 30, 2020
GHC fails to infer type with FlexibleContexts
#18529
· opened
Aug 03, 2020
by
Richard Eisenberg
P
normal
T
bug
program incorrectly rejected
typechecker
0
updated
Sep 30, 2020
TemplateHaskellQuotes and RebindableSyntax don't play nicely
#18102
· opened
Apr 26, 2020
by
Richard Eisenberg
P
normal
RebindableSyntax
T
bug
TemplateHaskell
program incorrectly rejected
typed TemplateHaskell
1
14
updated
Feb 05, 2021
ApplicativeDo requires Monad constraint in recursive definition
#17971
· opened
Mar 28, 2020
by
Manuel Bärenz
ApplicativeDo
P
normal
T
bug
program incorrectly rejected
1
updated
Apr 08, 2020
Cannot use Type Synonym with QuantifiedConstraints in GHC 8.8: "Illegal type synonym family application"
#17959
· opened
Mar 25, 2020
by
Fabio Mogavero
P
normal
QuantifiedConstraints
T
bug
program incorrectly rejected
5
updated
Apr 08, 2020
ApplicativeDo breaks compilation with a rank2 let
#17768
· opened
Jan 31, 2020
by
Kirill Elagin
ApplicativeDo
P
normal
RankNTypes
T
bug
program incorrectly rejected
1
6
updated
Jun 25, 2020
Levity-polymorphism checker is too aggressive for uses of `coerce` on levity-polymorphic newtypes
#17670
· opened
Jan 13, 2020
by
Alexis King
P
normal
T
bug
levity polymorphism
program incorrectly rejected
9
updated
Jun 19, 2020
Defaulting of RuntimeRep in type families is incorrect
#17536
· opened
Dec 02, 2019
by
Krzysztof Gogolewski
P
normal
T
bug
program incorrectly rejected
1
updated
Mar 24, 2021
Strange type equality solving failures with ImpredicativeTypes
#17372
· opened
Oct 17, 2019
by
Jakob Brünker
P
normal
program incorrectly rejected
2
updated
Jul 17, 2020
Coercible solver does not look through "class newtypes"
#17333
· opened
Oct 09, 2019
by
Ryan Scott
Coercible
P
normal
T
bug
program incorrectly rejected
typechecker
5
updated
Feb 16, 2021
Trivial exhaustiveness checking for view patterns and guards
#17208
· opened
Sep 18, 2019
by
Sebastian Graf
5
P
normal
T
bug
pattern match warnings
program incorrectly rejected
1
2
updated
Jan 28, 2021
Instance decidability + Quantified Constraints
#16730
· opened
Jun 01, 2019
by
Will Yager
QuantifiedConstraints
program incorrectly rejected
3
updated
Jun 18, 2019
Order of declarations affects which programs are accepted (type families and existentials)
#16693
· opened
May 24, 2019
by
Iavor S. Diatchki
ExistentialQuantification
T
bug
TypeFamilies
program incorrectly rejected
typechecker
5
updated
Jan 23, 2020