[GHC] #15826: Allow registering (Source)Plugins through the GHC API
GHC
ghc-devs at haskell.org
Fri Nov 2 16:24:40 UTC 2018
#15826: Allow registering (Source)Plugins through the GHC API
-------------------------------------+-------------------------------------
Reporter: DanielG | Owner: DanielG
Type: feature request | Status: new
Priority: normal | Milestone:
Component: GHC API | Version: 8.7
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): D5278
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by bgamari):
Alright, I see the use-case here and it sounds reasonable. However, I
agree that we need to make sure that recompilation checking works in a
safe and predictable manner. Let's first try to specify what semantics we
are looking for.
Here is my guess:
a. within a GHC session with a `LoadedPlugin` the plugin-module hash
check should never trigger a recompilation but the plugin's
`PluginRecompile` strategy should, of course, be able to trigger a rebuild
b. build artifacts produced by a GHC session with a `LoadedPlugin` should
never be used by another session
Does this sound right, DanielG?
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15826#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list