Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Sign in / Register
Toggle navigation
GHC
Project
Project
Details
Activity
Releases
Cycle Analytics
Insights
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Locked Files
Issues
3,625
Issues
3,625
List
Boards
Labels
Milestones
Merge Requests
199
Merge Requests
199
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Security & Compliance
Security & Compliance
Dependency List
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Glasgow Haskell Compiler
GHC
Issues
Open
10
Closed
6
All
16
New issue
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
None
Any
{{title}}
Label priority
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Weight
enable typechecker plugins within tcCheckSatisfiability
#16639
· opened
May 08, 2019
by
nfrisby
bug
pattern match warnings
plugins
typechecker plugins
6
updated
May 23, 2019
`KnownNat` does not imply `Typeable` any more when used with plugin
#15322
· opened
Jun 29, 2018
by
chshersh
8.10.1
P::normal
Trac import
Typeable
bug
typechecker plugins
5
19
updated
Jul 07, 2019
Coercions from plugins cannot be stopped from floating out
#15248
· opened
Jun 08, 2018
by
Richard Eisenberg
8.10.1
P::normal
Trac import
bug
plugins
typechecker plugins
5
5
updated
Jul 07, 2019
Type checker plugin receives Wanteds that are not completely unflattened
#15147
· opened
May 13, 2018
by
nfrisby
8.10.1
P::normal
Trac import
bug
plugins
typechecker plugins
5
24
updated
Jul 07, 2019
Calling "do nothing" type checker plugin affects type checking when it shouldn't
#12780
· opened
Oct 29, 2016
by
clinton
P::normal
Trac import
bug
plugins
typechecker plugins
5
7
updated
Jul 07, 2019
Evidence from TC Plugin triggers core-lint warning
#11435
· opened
Jan 15, 2016
by
jbracker
P::normal
Trac import
bug
error messages
plugins
typechecker plugins
5
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
P::normal
Trac import
bug
error messages
plugins
typechecker plugins
5
10
updated
Jul 07, 2019
TcS monad is too heavy
#9980
· opened
Jan 13, 2015
by
Simon Peyton Jones
P::normal
Trac import
bug
plugins
typechecker plugins
5
8
updated
Jul 07, 2019
Panicking typechecker plugins
#15745
· opened
Oct 13, 2018
by
Phil de Joux
P::normal
Trac import
compiler crash
feature request
plugins
typechecker plugins
5
2
updated
Jul 07, 2019
Run type-checker plugins before GHC's solver
#11457
· opened
Jan 18, 2016
by
Eric Seidel
8.10.1
P::normal
Trac import
feature request
plugins
typechecker plugins
5
8
updated
Jul 07, 2019