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 ?$[([x], [y])] to operate a bit like C scanf, and parse the input term, if x and y are unbound…)

Submitted by Tobi Vollebregt on 20 December 2011 at 18:14

Log in to post comments