Issues · Glasgow Haskell Compiler / GHC · GitLab

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