Can records be empty?

[ouillie]

According to the current spec, they can't. But pretty much all the programming languages I know (Rust, Go, C++, Java, Python, Ruby, C [at least GCC]) allow you to define empty structs and/or classes. Sometimes it can be useful, such as for sentinel values. What if we allowed WIT records to be empty (no members)?

[tschneidereit]

Empty records used to be allowed, but were changed to be disallowed because there unfortunately are interop issues with them, as discussed in that PR.

For sentinel values I think a one-arm enum or variant could work?

[ouillie]

Ah, I swear I tried searching for existing discussions about this :) but didn't find that thread. Thanks for the tip.