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.

Reply via email to