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
36
Closed
28
All
64
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
Quantified equality constraints are not used for rewriting
#18873
· opened
Oct 21, 2020
by
Richard Eisenberg
QuantifiedConstraints
constraint solver
typechecker
3
updated
Dec 10, 2020
GND generates code that instantiates coerce too much
#18213
· opened
May 21, 2020
by
Ryan Scott
QuantifiedConstraints
deriving
1
5
updated
Oct 31, 2020
QuantifiedConstraints cannot refer to KnownNat
#18150
· opened
May 06, 2020
by
Koz Ross
P
normal
QuantifiedConstraints
T
bug
6
updated
May 19, 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
Consider using specificity to disambiguate quantified constraints
#17934
· opened
Mar 19, 2020
by
Richard Eisenberg
QuantifiedConstraints
T
feature request
typechecker
2
updated
Feb 21, 2021
QuantifiedConstraints don't work with equality constraints on type families
#17802
· opened
Feb 07, 2020
by
Sebastian Graf
P
normal
QuantifiedConstraints
T
bug
TypeFamilies
6
updated
Feb 20, 2020
Recursive superclass check is defeated by quantified constraints
#17737
· opened
Jan 24, 2020
by
Richard Eisenberg
P
normal
QuantifiedConstraints
T
bug
typechecker
2
updated
Mar 10, 2020
Note [Do not add duplicate quantified instances] is simplistic, causing rejection of programs
#17719
· opened
Jan 20, 2020
by
Richard Eisenberg
QuantifiedConstraints
typechecker
0
updated
Jul 14, 2020
Don't drop derived quantified constraints
#17564
· opened
Dec 10, 2019
by
Richard Eisenberg
QuantifiedConstraints
T
task
typechecker
1
updated
Dec 11, 2019
Validity check quantified constraints
#17563
· opened
Dec 10, 2019
by
Richard Eisenberg
8.10.2
QuantifiedConstraints
T
bug
program incorrectly accepted
typechecker
1
3
updated
Dec 13, 2020
:kind fails with certain QuantifiedConstraints since 8.8
#17347
· opened
Oct 13, 2019
by
Jakob Brünker
GHCi
P
normal
QuantifiedConstraints
T
bug
3
updated
Oct 14, 2019
Non-confluence with QuantifiedConstraints
#17295
· opened
Oct 03, 2019
by
James Payor
QuantifiedConstraints
T
bug
ambiguity check
33
updated
Jun 03, 2020
Quantified constraints which specify associated type instances
#17226
· opened
Sep 21, 2019
by
sheaf
QuantifiedConstraints
T
feature request
typechecker
1
14
updated
Jan 23, 2020
Quantified constraint error should show more context
#16931
· opened
Jul 11, 2019
by
Guillaume Bouchard
P
normal
QuantifiedConstraints
T
feature request
error messages
1
9
updated
Apr 07, 2020
Instance decidability + Quantified Constraints
#16730
· opened
Jun 01, 2019
by
Will Yager
QuantifiedConstraints
program incorrectly rejected
3
updated
Jun 18, 2019
Nested quantified constraints don't work
#16502
· opened
Mar 26, 2019
by
Simon Peyton Jones
QuantifiedConstraints
T
bug
2
11
updated
Mar 26, 2020
QuantifiedConstraints runtime loopiness -- simplifier ticks(?)
#16442
· opened
Mar 15, 2019
by
Anthony Clayden
QuantifiedConstraints
T
bug
5
updated
Mar 28, 2019
Commutativity of Coercible sometimes doesn't work with QuantifiedConstraints
#16432
· opened
Mar 14, 2019
by
Michael Sloan
QuantifiedConstraints
roles
5
updated
Mar 15, 2019
Inconsistency in quantified constraint solving
#16365
· opened
Feb 26, 2019
by
Ryan Scott
5
P
normal
QuantifiedConstraints
T
bug
Trac import
22
updated
Jul 07, 2019
Move `Data.Profunctor` from `profunctors` package to `base`
#16173
· opened
Jan 13, 2019
by
Dmitrii Kovanikov
5
P
normal
QuantifiedConstraints
T
feature request
Trac import
core libraries
6
18
updated
Mar 25, 2021
Prev
1
2
Next