-
Notifications
You must be signed in to change notification settings - Fork 842
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Re-enable -rtsopts for stack + document RTS opts via exec #2640
Comments
This is not correct. Under windows 10 with Stack 1.3.2 and GHC 8.0.2 I get
In ALL cases stack consumes the RTS options. Only --RTS would cause further rts arguments to be not processed according to #2022 (comment) Passing --RTS works but is not an options since we would have to pass that to stack BEFORE the runtime can parse it:
I wrote up code that adds an rts-options flag to explicitly pass RTS options along and will submit that as pull request when it's fleshed out. The result will be:
Edit: Under linux |
The original issue description is correct, except to the extent that there's a bug on Windows only (which @AndreasPK identified and reported) that causes RTS options (or more properly, options that look like RTS options) that come after a |
Can this be closed via (#3012)? |
@AndreasPK Yep, thanks for noticing that! |
I am forking this off from #2022 because that thread got rather involved. I think the summary is:
stack exec -- exeName +RTS ...
works fine to pass RTS options because--
causes further RTS arguments to not be processed.stack exec exeName -- +RTS ..
doesn't work because the--
is also visible to theexeName
process.One option for resolving this would be to deprecate the
stack exec exeName -- ARGS
form, perhaps even thestack exec exeName
form. How can we deprecate it though? That would require adding stuff to stdout or stderr.Either way, we should re-enable
-rtsopts
for stack, may as well have them if they are being parsed out of the commandline. Either way, we should thoroughly document using RTS options with exec.The text was updated successfully, but these errors were encountered: