Victor Adossi (May 16 2025 at 08:19): Victor Adossi (May 16 2025 at 08:19):Hey all, did we have (and then remove?) a feature called "named options"? The syntax looks something like this:
return-named-option: func() -> (a: option<u8>);
return-named-result: func() -> (a: result<u8, my-errno>);
I'm perplexed because this is somehow the first time I'm seeing it, and it's erroring (of course), and I can't find this feature mentioned almost anywhere (though to be fair it's a bit hard to search for it).
When I look at the current grammar it doesn't look like it's a thing anymore but would love some confirmation
Alex Crichton (May 16 2025 at 08:40):Yeah this was "OG WIT" and has indeed been removed now (because like you no one else had seen it too!)
Victor Adossi (May 16 2025 at 08:41):Whew thanks! it was hiding in componentize-js actually :) Glad I can remove it!
Notification Bot (May 16 2025 at 08:41):Victor Adossi has marked this topic as resolved.
Last updated: Dec 06 2025 at 05:03 UTC