Autrijus Tang wrote:
In that case:$w.handle_event($e: $m); should be illegal as well, right?
Right.
That is, the App (functional application) form always zero or one invocants, and it is illegal to specify more than one.
Right. Damian
Autrijus Tang wrote:
In that case:$w.handle_event($e: $m); should be illegal as well, right?
Right.
That is, the App (functional application) form always zero or one invocants, and it is illegal to specify more than one.
Right. Damian