@kritzcreek already suggested that this option should probably be handled on the protocol level by Rebuild command.
I'm pasting here also some hacking hints by @kritzcreek. I think that these suggestions can be useful to anybody who wants to work on this:
The actual change that needs to happen is that defaultOptions in here:
|
. P.runMake P.defaultOptions |
needs to have its
optionsCodegenTargets field overwritten with user specified values.
For example to force
coreFn generation we can change this line to:
. P.runMake (P.defaultOptions {P.optionsCodegenTargets = Set.fromList [P.JS, P.CoreFn]})
@kritzcreek already suggested that this option should probably be handled on the protocol level by
Rebuildcommand.I'm pasting here also some hacking hints by @kritzcreek. I think that these suggestions can be useful to anybody who wants to work on this:
The actual change that needs to happen is that
defaultOptionsin here:purescript/src/Language/PureScript/Ide/Rebuild.hs
Line 72 in 2bf6ba1
needs to have its
optionsCodegenTargetsfield overwritten with user specified values.For example to force
coreFngeneration we can change this line to: