Hi!

While working with a GHC plugin, I accidentally found out the following
behaviors:

  * The use of a plugin, at least one that is declared as pure, doesn’t
    make the compiled module considered unsafe even when
    `-fplugin-trustworthy` is missing.

  * Any option of the form `-fplugin-opt⟨some-garbage⟩` is accepted.

Is any of these two behaviors intended?

I’m using GHC 9.12.2 through Cabal.

All the best,
Wolfgang
_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to