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
13
Closed
21
All
34
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
Scoped Typed Holes
#18878
· opened
Oct 22, 2020
by
parsonsmatt
T
feature request
typed holes
2
updated
Nov 09, 2020
Premature specialization of numeric literals with Typed Holes
#18877
· opened
Oct 22, 2020
by
parsonsmatt
P
normal
T
bug
typed holes
0
updated
Nov 08, 2020
Typed holes shouldn't cause linearity errors
#18491
· opened
Jul 23, 2020
by
Arnaud Spiwack
LinearTypes
T
bug
typed holes
1
5
updated
Sep 26, 2020
Valid hole fits process is too slow to be enabled by default
#16875
· opened
Jun 26, 2019
by
Matthew Pickering
T
bug
typed holes
valid hole fits
2
19
updated
Feb 25, 2021
Some tests for valid hole fits are missing
#16781
· opened
Jun 08, 2019
by
Krzysztof Gogolewski
T
task
testsuite
typed holes
valid hole fits
0
updated
Jul 08, 2019
Typed holes inferring a more polymorphic type
#15697
· opened
Oct 02, 2018
by
sreenidhi
8.6.1
5
P
normal
T
bug
Trac import
typed holes
valid hole fits
8
updated
Jul 08, 2019
Valid hole fits and GADT type variable names
#15677
· opened
Sep 26, 2018
by
Ryan Scott
9.2.1
5
GADTs
P
normal
T
bug
Trac import
error messages
typed holes
valid hole fits
5
updated
Jan 25, 2021
Typed hole subtitution search fails in the REPL
#14858
· opened
Feb 26, 2018
by
paf31
8.4.1
5
P
normal
T
bug
Trac import
typechecker
typed holes
1
updated
Jul 07, 2019
Typed holes regression in GHC 8.0.2: No skolem info: z_a1sY[sk:2]
#14040
· opened
Jul 27, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeFamilies
TypeInType
compiler crash
partial type sigs
typechecker
typed holes
17
updated
Jan 23, 2020
"Panic: no skolem info" with StaticPointers and typed hole
#13499
· opened
Mar 30, 2017
by
Otini
5
P
normal
StaticPointers
T
bug
Trac import
compiler crash
typed holes
8
updated
Jul 07, 2019
Give strong preference to type variable names in scope when reporting hole contexts
#11186
· opened
Dec 09, 2015
by
David Feuer
5
P
normal
T
feature request
Trac import
typechecker
typed holes
8
updated
Jul 07, 2019
Unexpected defaulting of partial type signatures and inconsistent behaviour when -fdefer-typed-holes is set.
#10875
· opened
Sep 13, 2015
by
holzensp
5
P
normal
T
bug
Trac import
error messages
partial type sigs
typed holes
5
updated
Jul 07, 2019
Holes with other constraints
#5910
· opened
Mar 02, 2012
by
xnyhps
8.0.1
5
P
normal
T
feature request
Trac import
error messages
typechecker
typed holes
29
updated
Jul 07, 2019