This is partially implemented in E-on-Java, once enable by
pragma.enable("call-pattern").
The caveat is, in order to avoid refactoring e.y (the BNF of
the E grammar), you currently
must precede the call pattern with the keyword "in". Kevin's
example:
? def in a.b(c) := d
# expansion: def via (__makeVerbFacet.curryCall(a,
"match__b_1")) [c] := d
Note that I also changed the verb mangling to use "_" rather
than "/".
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=54168
This is partially implemented in E-on-Java, once enable by
pragma.enable("call-pattern").
The caveat is, in order to avoid refactoring e.y (the BNF of
the E grammar), you currently
must precede the call pattern with the keyword "in". Kevin's
example:
? def in a.b(c) := d
# expansion: def via (__makeVerbFacet.curryCall(a,
"match__b_1")) [c] := d
Note that I also changed the verb mangling to use "_" rather
than "/".