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
77
All
93
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
Confusion around visible type application in pattern synonym pattern
#21501
· created
May 04, 2022
by
Richard Eisenberg
9.6.1
PatternSynonyms
T
bug
TypeApplications
Typeable
typechecker
1
updated
May 06, 2022
Type application in pattern does not substitute correctly
#19847
· created
May 14, 2021
by
Richard Eisenberg
P
normal
PatternSynonyms
T
bug
TypeApplications
program incorrectly rejected
typechecker
8
updated
Jun 24, 2021
Type applications in patterns should also work for universal type variables
#19577
· created
Mar 22, 2021
by
Sebastian Graf
P
low
T
feature request
TypeApplications
10
updated
Apr 08, 2021
mkCastTy sometimes drops insoluble (Type ~ Constraint) coercions
#15918
· created
Nov 19, 2018
by
Icelandjack
⊥
5
P
normal
T
bug
Trac import
TypeApplications
17
updated
May 23, 2022
Visible type/kind applications in declaration of data/type constructors
#15782
· created
Oct 19, 2018
by
Icelandjack
5
P
normal
T
feature request
Trac import
TypeApplications
8
updated
Jul 22, 2021
When a type application cannot be applied to an identifier due to the absence of an explicit type signature, let the error just say so!
#15596
· created
Sep 03, 2018
by
kindaro
⊥
5
P
normal
T
feature request
Trac import
TypeApplications
error messages
typechecker
4
updated
Sep 07, 2021
GHC incorrectly warns that a scoped type variable used in a term's body is unused
#13512
· created
Apr 02, 2017
by
Ryan Scott
5
P
normal
T
bug
Trac import
TypeApplications
error messages
typechecker
1
22
updated
May 10, 2021
Allow type annotations / visible type application in pattern synonyms
#13042
· created
Dec 29, 2016
by
Icelandjack
5
P
normal
PatternSynonyms
T
feature request
Trac import
TypeApplications
2
updated
Jul 07, 2019
TypeApplications allows instantiation of implicitly-quantified kind variables
#12569
· created
Sep 04, 2016
by
Alexey Vagarenko
5
P
normal
T
bug
Trac import
TypeApplications
typechecker
3
updated
Jul 07, 2019
Type application for infix
#12363
· created
Jul 03, 2016
by
Icelandjack
0
P
low
T
feature request
Trac import
TypeApplications
parser
2
33
updated
Jun 08, 2020
Premature defaulting and variable not in scope
#12085
· created
May 19, 2016
by
Icelandjack
5
P
normal
T
task
Trac import
TypeApplications
3
updated
Jul 07, 2019
Cannot instantiate literals using TypeApplications
#11409
· created
Jan 11, 2016
by
Feuerbach
5
P
normal
T
bug
Trac import
TypeApplications
31
updated
Jan 23, 2020
Type application for operator sections
#11398
· created
Jan 10, 2016
by
Icelandjack
5
P
normal
T
feature request
Trac import
TypeApplications
1
updated
Jul 07, 2019
Typecasting using type application syntax
#11387
· created
Jan 09, 2016
by
Icelandjack
5
P
normal
T
feature request
Trac import
TypeApplications
3
updated
Jul 07, 2019
Allow applying type to label
#11352
· created
Jan 04, 2016
by
Icelandjack
5
P
normal
T
feature request
Trac import
TypeApplications
typechecker
3
updated
Jul 07, 2019
[TypeApplications] Create Proxy-free alternatives of functions in base
#11349
· created
Jan 04, 2016
by
Icelandjack
5
P
normal
T
feature request
Trac import
TypeApplications
Typeable
core libraries
9
updated
Jul 07, 2019