[e-lang] Request for decision: `@_`

[Mark S. Miller]

Kevin Reid wrote:
> Is `... at _...` an ignore-pattern hole, a variable named "_", or a  
> syntax error?
> 
> E-on-Java implements the third, and E-on-CL implements the second (by  
> accident). It seems to me that the first would be best, as ignoring  
> is such a common case.


E on Java should implement the first, and seems to:

     ? interp.setExpand(true)

     ? def `ab at _.cd` := "abxxx.cd"
     # expansion: def via(__matchBind.run(\
     #            simple__quasiParser.matchMaker(\
     #                "ab@{0}.cd"), \
     #                __makeList.run())) [_] := "abxxx.cd"

     # value: "abxxx.cd"

Do you have a test case demonstrating the syntax error?

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM