Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
16
Closed
19
All
35
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
Title
Weight
Blocking
Extra-constraints wildcards in instance declarations
#21416
· created
Apr 22, 2022
by
Adam Gundry
P
normal
T
feature request
partial type sigs
3
updated
May 09, 2022
Partial kind signatures and synonyms
#20154
· created
Jul 23, 2021
by
Krzysztof Gogolewski
P
low
T
bug
partial type sigs
1
updated
Jul 27, 2021
Partial type signatures regression around simplifiable constraints
#20076
· created
Jul 04, 2021
by
Richard Eisenberg
P
normal
T
bug
constraint solver
partial type sigs
5
updated
Jan 25, 2022
Allow named wildcards in constraints
#19051
· created
Dec 10, 2020
by
sheaf
partial type sigs
typechecker
8
updated
Dec 23, 2020
Type wildcard infers differently than no type signature
#19013
· created
Dec 01, 2020
by
dminuoso
P
normal
T
bug
partial type sigs
typechecker
1
updated
Dec 10, 2020
Partial type signature algorithm fails to infer constraints in the presence of GADTs
#19010
· created
Nov 30, 2020
by
sheaf
P
normal
T
bug
partial type sigs
typechecker
16
updated
Dec 20, 2020
Wildcards in standalone kind signatures
#17432
· created
Nov 04, 2019
by
Richard Eisenberg
P
normal
StandaloneKindSignatures
T
feature request
partial type sigs
typechecker
3
updated
Jan 12, 2020
Partial type signatures sometimes gets their ordering wrong
#16763
· created
Jun 06, 2019
by
Richard Eisenberg
T
bug
partial type sigs
0
updated
Jun 08, 2019
Inconsistent validity checking for unnamed vs. named wildcards
#16420
· created
Mar 11, 2019
by
Ryan Scott
5
P
normal
partial type sigs
2
updated
Dec 11, 2020
Unhelpful names for wildcard type variables
#16203
· created
Jan 18, 2019
by
Simon Peyton Jones
5
P
normal
T
bug
Trac import
partial type sigs
5
updated
Jul 07, 2019
Core lint error from PartialTypeSignatures
#16152
· created
Jan 08, 2019
by
Icelandjack
5
P
normal
T
bug
Trac import
core lint
partial type sigs
3
updated
Jan 03, 2022
Sort out treatment of underscores in types
#16082
· created
Dec 21, 2018
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
partial type sigs
4
updated
Jun 05, 2020
Partial type signatures + mutual recursion = confusion
#14662
· created
Jan 11, 2018
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
partial type sigs
4
updated
Jul 07, 2019
Allow wildcards for parameters functionally determined (also type synonyms)
#11641
· created
Feb 25, 2016
by
Icelandjack
0
FunctionalDependencies
P
low
T
feature request
Trac import
partial type sigs
typechecker
2
updated
Jul 07, 2019
Unexpected defaulting of partial type signatures and inconsistent behaviour when -fdefer-typed-holes is set.
#10875
· created
Sep 13, 2015
by
holzensp
5
P
normal
T
bug
Trac import
error messages
partial type sigs
typed holes
5
updated
Jul 07, 2019
Partial type signatures should work in pattern synonym signatures
#10783
· created
Aug 20, 2015
by
Matthew Pickering
5
P
normal
T
bug
Trac import
partial type sigs
0
updated
Jul 07, 2019