Dimitris Vardoulakis

To clarify, this bug covers the case when the module in question is included in the compilation unit, but we don't want to explicitly import it in our module. There...

We want to tell sm what we support, and not silently ignore type annotations. We were just silently dropping tuples before, and the programmer might have been left with the...

I don't think the warning is suppressible. @MatrixFrog can you double-check this? Also, I don't think you can get checking for the last example you mentioned, b/c when part of...

No, we haven't worked on tuples yet, and they're not in the immediate horizon, so they won't happen for a few months for sure.

Agree with Tyler. There is no rush to add the syntax until we're ready to add semantics as well. When we've added syntax early in the past it has led...

Thanks for the reply Daniel. In the section "Incompatibility Issues" you bring up two distinct issues IMO. The first is that the standard type system would be different from any...