Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
GHC
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Locked Files
Issues
4,249
Issues
4,249
List
Boards
Labels
Service Desk
Milestones
Iterations
Merge Requests
394
Merge Requests
394
Requirements
Requirements
List
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Security & Compliance
Security & Compliance
Dependency List
License Compliance
Operations
Operations
Incidents
Environments
Analytics
Analytics
CI / CD
Code Review
Insights
Issue
Repository
Value Stream
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
10
Closed
7
All
17
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{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
Migration notes around !4149
#19041
· opened
Dec 08, 2020
by
Richard Eisenberg
documentation
task
typechecker plugins
3
updated
Dec 14, 2020
enable typechecker plugins within tcCheckSatisfiability
#16639
· opened
May 08, 2019
by
nfrisby
bug
pattern match warnings
plugins
typechecker plugins
7
updated
May 03, 2020
Panicking typechecker plugins
#15745
· opened
Oct 13, 2018
by
Phil de Joux
5
P
normal
Trac import
compiler crash
feature request
plugins
typechecker plugins
1
2
updated
Jul 07, 2019
`KnownNat` does not imply `Typeable` any more when used with plugin
#15322
· opened
Jun 29, 2018
by
Dmitrii Kovanikov
5
P
normal
Trac import
Typeable
bug
typechecker plugins
19
updated
Jan 23, 2020
Coercions from plugins cannot be stopped from floating out
#15248
· opened
Jun 08, 2018
by
Richard Eisenberg
5
P
normal
Trac import
bug
plugins
typechecker plugins
6
updated
Jun 15, 2020
Type checker plugin receives Wanteds that are not completely unflattened
#15147
· opened
May 13, 2018
by
nfrisby
5
P
normal
Trac import
bug
plugins
typechecker plugins
24
updated
Jan 23, 2020
Run type-checker plugins before GHC's solver
#11457
· opened
Jan 18, 2016
by
Eric Seidel
5
P
normal
Trac import
feature request
plugins
typechecker plugins
8
updated
Jan 23, 2020
Evidence from TC Plugin triggers core-lint warning
#11435
· opened
Jan 15, 2016
by
jbracker
5
P
normal
Trac import
bug
error messages
plugins
typechecker plugins
6
updated
Jul 07, 2019
Providing type checker plugin on command line results in false cyclic import error
#10077
· opened
Feb 10, 2015
by
jbracker
5
P
normal
Trac import
bug
error messages
plugins
typechecker plugins
10
updated
Jul 07, 2019
TcS monad is too heavy
#9980
· opened
Jan 13, 2015
by
Simon Peyton Jones
5
P
normal
Trac import
bug
plugins
typechecker plugins
8
updated
Jul 07, 2019