Issues · Glasgow Haskell Compiler / GHC · GitLab

Irreducible givens hidden for TcPlugin

#21427 · created Apr 26, 2022 by Pavol Vargovčík Tfeature request plugins typechecker plugins
- 3
updated May 03, 2022
Migration notes around !4149

#19041 · created Dec 08, 2020 by Richard Eisenberg Ttask documentation typechecker plugins
- 4
updated Jun 06, 2021
enable typechecker plugins within tcCheckSatisfiability

#16639 · created May 08, 2019 by nfrisby Tbug pattern match warnings plugins typechecker plugins
- 7
updated May 03, 2020
Panicking typechecker plugins

#15745 · created Oct 13, 2018 by Phil de Joux 5 Pnormal Tfeature 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 Pnormal Tbug 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 Pnormal Tbug 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 Pnormal Tbug 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 Pnormal Tfeature 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 Pnormal Tbug 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 Pnormal Tbug 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 Pnormal Tbug Trac import plugins typechecker plugins
- 8
updated Jul 07, 2019