On 30.08.2016 21:27, Seb wrote:
Sorry, please ignore, but it would still be nice to put it on Github, so
that we can make pull requests. A couple of nits from a first pass:
- ArgumentList is not defined -> ParameterList
No, it should be ArgumentList, which is a comma-separated list of
expressions.
- The parameters is limited to 0,1,2 - on purpose? (opt -> * would allow
arbitrary numbers of parameters)
- In contrast to FeatherweightJava the grammar allows a lot of weird
stuff like:
ref int** foo {
Parentheses are required by the grammar, no?
42 = 42;
return null;
*42 = &42;
}
Those would be ruled out by type checking.
