On 2/6/13 9:49 AM, Chad Joan wrote:
On 02/06/2013 09:48 AM, Chad Joan wrote:
Once I get to the "Typechecking rules" section and dig into the
nitty-gritty, it seems to be written in a way that discusses what is
allowed, but only briefly hints at what is disallowed. It is not
immediately clear to me how this would impact my code.
I should be more clear myself: I mean "Typechecking rules" and
everything that follows it.
Yah, we need more examples. As for what's disallowed, in a way it's
"simple" - everything that's not allowed is disallowed :o).
We definitely should add discussion of disallowed uses.
Andrei
