Hi,

Would it be easy to support locally-declared (e.g. class scope) interfaces? These would be super-useful e.g. for defining the structural type of a function that returns multiple values as tuple, without having to pollute the global namespace each time.

Roly

Possibly.  We've been talking about simplifying classes/modules/interfaces, though I'm not sure if it would allow for inner modules.

That said, you can put interfaces in modules now to avoid polluting the global namespace.