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 term test. For example, this cannot be parsed:

run fancy-stratego to Unit(_, MY_FANCY_OVERLAY())

Proposed Solutions


  • 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.
Submitted by Martijn on 19 April 2017 at 19:55

Log in to post comments