-
Notifications
You must be signed in to change notification settings - Fork 210
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
Add a way to pass custom rustc flags #446
Comments
I think that @lqd might have had a prototype for this at some point. I remember that we had some light concerns around any options that could do "bad things" to the running process, but there's so many options and people keep adding them (eyes @oli-obk suspiciously) that it's difficult to know what works. It would also be nice to have a list of them and a sentence of "documentation". If you have to open the terminal to figure out the exact name, it's a lot less useful. These can be used to populate an autocomplete/helper like thing. Notably, any rustflags will also need to be added to the URL for sharing purposes. |
I was imagining that flags could be controlled by a comment in the file, similar to ui tests. Like, if the first line is
then those will be passed to rustc/miri/...
Given that playground already runs arbitrary code put in my the user, I cannot imagine anything beyond that that flags could achieve. You have to have it all sandboxed anyway. |
I'm hacking together a prototype implementation of this. It works pretty well to set But when I try to set Does anyone have better ideas? @shepmaster ? |
Indeed |
The playground is often used for experimenting with features and/or creating minimal repros for feature requests and bugs. It would be great if we could make full use of the compiler by also being able to specify arbitrary flags.
My personal motivation is -Zunleash-the-miri-inside-of-you, which takes the brakes off the const evaluator and allows demonstrating why we are doing some things the way we are (because other ways are unsound or incoherent or ...).
The text was updated successfully, but these errors were encountered: