Issues · Glasgow Haskell Compiler / GHC · GitLab

Environment in Typechecker plugins does not match the passed in one

#19191 · opened Jan 08, 2021 by alexbiehl-gc Pnormal Tbug plugins
- 0
updated Jan 30, 2021
Allow type-checking plugins to emit custom error messages

#18977 · opened Nov 23, 2020 by sheaf GHC API Tfeature request error messages plugins
- 4
updated Dec 04, 2020
ConCat plugin vs. unbound variable in inScope

#18703 · opened Sep 17, 2020 by Michael Sperber compiler crash plugins
- 2
updated Feb 16, 2021
Allow access to "unoptimised" Core binds in GHC Plugins

#18671 · opened Sep 09, 2020 by Alfredo Di Napoli Tfeature request plugins
- 10
updated Sep 23, 2020
Plugins should be able to write data to extensible interface fields during the pipeline

#18503 · opened Jul 27, 2020 by Josh Meredith Tfeature request plugins
- 0
updated Feb 25, 2021
spurious output with BuiltinRule

#18147 · opened May 06, 2020 by Greg Pfeil Pnormal Tbug plugins
- 1
- 5
updated May 12, 2020
Confusing order of plugin installation

#17884 · opened Feb 27, 2020 by Greg Pfeil Pnormal Tbug documentation plugins
- 2
updated Mar 17, 2020
enable typechecker plugins within tcCheckSatisfiability

#16639 · opened May 08, 2019 by nfrisby Tbug pattern match warnings plugins typechecker plugins
- 7
updated May 03, 2020
Add unfoldings for local bindings outside the simplifier

#16615 · opened Apr 30, 2019 by Michael Peyton Jones Tfeature request plugins simplifier
- 48
updated Aug 16, 2019
Enable plugins to access comments

#16506 · opened Mar 28, 2019 by lazac Tfeature request plugins
- 4
updated Aug 17, 2019
Source plugins should be able to opt-out from appearing in dependencies

#15940 · opened Nov 23, 2018 by Facundo Domínguez 8.6.3 5 Pnormal Tbug Trac import plugins
- 5
updated Jul 07, 2019
Plugins Tests are Skipped

#15830 · opened Oct 29, 2018 by davide Make removal 5 Pnormal Tbug Trac import hadrian plugins
- 0
updated Jan 05, 2020
Panicking typechecker plugins

#15745 · opened Oct 13, 2018 by Phil de Joux 5 Pnormal Tfeature request Trac import compiler crash plugins typechecker plugins
- 1
- 2
updated Jul 07, 2019
Add (or document if already exist) ability to derive custom typeclasses via source plugins

#15650 · opened Sep 17, 2018 by Dmitrii Kovanikov 8.6.1 5 Pnormal Tfeature request Trac import deriving plugins
- 1
- 10
updated Jul 19, 2019
Coercions from plugins cannot be stopped from floating out

#15248 · opened 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 · opened May 13, 2018 by nfrisby 5 Pnormal Tbug Trac import 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 Pnormal Tfeature request Trac import plugins typechecker plugins
- 8
updated Jan 23, 2020
Evidence from TC Plugin triggers core-lint warning

#11435 · opened 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 · opened 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 · opened Jan 13, 2015 by Simon Peyton Jones 5 Pnormal Tbug Trac import plugins typechecker plugins
- 8
updated Jul 07, 2019