Underscore in ATerm constructors
The ATerm syntax disallows underscores in constructor names. Stratego allows underscores in overlays (though I’m not sure they are allowed in constructor names as well). In any case, it is impossible to use an overlay that contains an underscore in the result term of a
run strategy to termtest. For example, this cannot be parsed:
run fancy-stratego to Unit(_, MY_FANCY_OVERLAY())
Submitted by Martijn on 19 April 2017 at 19:55
- Allow underscores in constructor names (if this is the same semantics as Stratego).
- Treat overlays as a special case and allow underscores in the name of an overlay.
Log in to post comments