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
11
Closed
10
All
21
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
Irreducible givens hidden for TcPlugin
#21427
· created
Apr 26, 2022
by
Pavol Vargovčík
T
feature request
plugins
typechecker plugins
3
updated
May 03, 2022
Migration notes around !4149
#19041
· created
Dec 08, 2020
by
Richard Eisenberg
T
task
documentation
typechecker plugins
4
updated
Jun 06, 2021
enable typechecker plugins within tcCheckSatisfiability
#16639
· created
May 08, 2019
by
nfrisby
T
bug
pattern match warnings
plugins
typechecker plugins
7
updated
May 03, 2020
Panicking typechecker plugins
#15745
· created
Oct 13, 2018
by
Phil de Joux
5
P
normal
T
feature request
Trac import
compiler crash
plugins
typechecker plugins
1
2
updated
Jul 07, 2019
`KnownNat` does not imply `Typeable` any more when used with plugin
#15322
· created
Jun 29, 2018
by
Dmitrii Kovanikov
5
P
normal
T
bug
Trac import
Typeable
typechecker plugins
19
updated
Jan 23, 2020
Coercions from plugins cannot be stopped from floating out
#15248
· created
Jun 08, 2018
by
Richard Eisenberg
5
P
normal
T
bug
Trac import
plugins
typechecker plugins
6
updated
Jun 15, 2020
Type checker plugin receives Wanteds that are not completely unflattened
#15147
· created
May 13, 2018
by
nfrisby
5
P
normal
T
bug
Trac import
plugins
typechecker plugins
25
updated
Jun 23, 2021
Run type-checker plugins before GHC's solver
#11457
· created
Jan 18, 2016
by
Eric Seidel
5
P
normal
T
feature request
Trac import
plugins
typechecker plugins
8
updated
Jan 23, 2020
Evidence from TC Plugin triggers core-lint warning
#11435
· created
Jan 15, 2016
by
jbracker
5
P
normal
T
bug
Trac import
error messages
plugins
typechecker plugins
6
updated
Jul 07, 2019
Providing type checker plugin on command line results in false cyclic import error
#10077
· created
Feb 10, 2015
by
jbracker
5
P
normal
T
bug
Trac import
error messages
plugins
typechecker plugins
10
updated
Jul 07, 2019
TcS monad is too heavy
#9980
· created
Jan 13, 2015
by
Simon Peyton Jones
5
P
normal
T
bug
Trac import
plugins
typechecker plugins
8
updated
Jul 07, 2019