String quotations are implicit build operator
String quotations are an implicit build operator.
The stratego editor gives a warning about this if you write e.g.?$[abc]
.
In the testing language however, no warning is given and Stratego happily interprets?$[abc]
as!"abc"
.It may be nice if string quotations can be used in matches (e.g., for matching multiline strings).
Though I suppose the semantics of variables in such string quotations are a bit tricky to define. (i.e., maybe some would expect
Submitted by Tobi Vollebregt on 20 December 2011 at 18:14?$[([x], [y])]
to operate a bit like Cscanf
, and parse the input term, if x and y are unbound…)
Log in to post comments