Stream: zulip

Topic: playground link in Zulip uses wrong edition


view this post on Zulip Noah Lev (Nov 25 2020 at 02:56):

When you hover over a Rust code block in Zulip, you can click a link in the top-right corner that will open the code on the playground. However, it doesn't pass an edition query parameter, so the playground uses 2015 by default (like rustc). It would be better if it used 2018 edition. Not sure if this is a built-in Zulip feature though, in which case we can't fix it here.

view this post on Zulip Josh Triplett (Nov 25 2020 at 22:14):

It doesn't look like there's any organizational setting for that.

view this post on Zulip Josh Triplett (Nov 25 2020 at 22:14):

So it may be built-in. Please do file something upstream asking about that.

view this post on Zulip Noah Lev (Nov 26 2020 at 21:03):

https://github.com/zulip/zulip/pull/16797

view this post on Zulip Noah Lev (Nov 30 2020 at 03:30):

Merged!


Last updated: Oct 11 2021 at 22:34 UTC