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
26
Closed
16
All
42
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 doesn't terminate when solving a weird class instance
#19415
· opened
Feb 22, 2021
by
Andrzej Rybczak
FunctionalDependencies
P
normal
T
bug
constraint solver
CLOSED
6
updated
Mar 31, 2021
Poor interaction between functional dependencies and partial type signatures
#17024
· opened
Aug 04, 2019
by
David Feuer
FunctionalDependencies
P
normal
T
bug
partial type sigs
program incorrectly rejected
typechecker
CLOSED
2
12
updated
Mar 12, 2020
Functional dependencies can get GHC to print "UnkSkol"
#15355
· opened
Jul 08, 2018
by
Richard Eisenberg
8.6.1
5
FunctionalDependencies
P
normal
T
bug
Trac import
CLOSED
2
updated
Jul 07, 2019
GHC 8.4.1-alpha regression with FunctionalDependencies
#14763
· opened
Feb 05, 2018
by
Ryan Scott
8.4.1
10
FunctionalDependencies
P
highest
T
bug
Trac import
typechecker
CLOSED
5
updated
Jul 07, 2019
Type error in program caused by unrelated definition
#14327
· opened
Oct 05, 2017
by
Alexis King
8.4.1
5
FunctionalDependencies
P
normal
T
bug
Trac import
error messages
typechecker
CLOSED
4
updated
Jul 07, 2019
Spurious extra error message due to functional dependencies
#13506
· opened
Mar 31, 2017
by
gelisam
5
FunctionalDependencies
P
normal
T
bug
Trac import
error messages
typechecker
CLOSED
2
updated
Jul 07, 2019
Incorrect behavior with empty functional dependencies
#12763
· opened
Oct 24, 2016
by
Iavor S. Diatchki
8.0.2
5
FunctionalDependencies
P
normal
T
bug
Trac import
typechecker
CLOSED
2
updated
Jul 07, 2019
Kind-level functional dependencies are not resolved properly
#10797
· opened
Aug 26, 2015
by
danilo2
5
FunctionalDependencies
P
normal
T
bug
Trac import
CLOSED
5
updated
Jul 07, 2019
Terrible error message with fundeps and PolyKinds
#10570
· opened
Jun 25, 2015
by
danilo2
8.0.1
5
FunctionalDependencies
P
normal
T
bug
Trac import
CLOSED
5
updated
Jul 07, 2019
GHC 7.10.2 RC cannot build HList-0.4.0.0
#10564
· opened
Jun 23, 2015
by
Michael Snoyman
7.10.2
7
FunctionalDependencies
P
high
T
bug
Trac import
CLOSED
2
updated
Jul 07, 2019
Kinds aren't checked in the coverage condition
#10109
· opened
Feb 23, 2015
by
Richard Eisenberg
7.10.2
5
FunctionalDependencies
P
normal
T
bug
Trac import
CLOSED
4
updated
Jul 07, 2019
ghc panic: varargs + sets
#7777
· opened
Mar 19, 2013
by
litherum
5
FunctionalDependencies
MultiParamTypeClasses
P
normal
T
bug
Trac import
UndecideableInstances
compiler crash
CLOSED
2
updated
Jul 07, 2019
Panic "ctEvTerm" when using functional dependencies and PolyKinds
#7384
· opened
Nov 02, 2012
by
Richard Eisenberg
5
FunctionalDependencies
P
normal
PolyKinds
T
bug
Trac import
CLOSED
2
updated
Jul 07, 2019
erroneous overlapping instances reported with FunDeps
#7171
· opened
Aug 21, 2012
by
jwlato
7.6.1
10
FunctionalDependencies
P
highest
T
bug
Trac import
typechecker
CLOSED
10
updated
Jul 07, 2019
Panic "lookupVarEnv_NF" when using a functional dependency with a kind variable
#7128
· opened
Aug 08, 2012
by
Richard Eisenberg
7.6.1
5
FunctionalDependencies
P
normal
PolyKinds
T
bug
Trac import
compiler crash
CLOSED
2
updated
Jul 07, 2019
Do a better job of solving recursive type-class constraints with functional dependencies
#3108
· opened
Mar 18, 2009
by
Simon Peyton Jones
7.6.1
7
FunctionalDependencies
P
high
T
bug
Trac import
typechecker
CLOSED
7
updated
Jul 07, 2019