diff --git a/strategoxt/stratego-libraries/lib/spec/term/string.str b/strategoxt/stratego-libraries/lib/spec/term/string.str index 6e3323e53..6317c0e2b 100644 --- a/strategoxt/stratego-libraries/lib/spec/term/string.str +++ b/strategoxt/stratego-libraries/lib/spec/term/string.str @@ -1337,6 +1337,13 @@ strategies ; prim("SSL_stacktrace_get_all_frame_names",|); ?[ _ | y] ; !y ; report-failure(|"Internal error: escaped term in string quotation is not a string", x) - } + } + + /** + * @internal + * Used by desugaring of string interpolation $[... [x] ...] + */ + internal-string-interpolation(|t, padded_s) = t + diff --git a/strategoxt/stratego-libraries/strc/lib/stratego/strc/front/desugar-string-quotations.str b/strategoxt/stratego-libraries/strc/lib/stratego/strc/front/desugar-string-quotations.str index 152c4d92c..b3063f2fb 100644 --- a/strategoxt/stratego-libraries/strc/lib/stratego/strc/front/desugar-string-quotations.str +++ b/strategoxt/stratego-libraries/strc/lib/stratego/strc/front/desugar-string-quotations.str @@ -141,9 +141,7 @@ strategies * Adjust padding of quoted string escapes. */ string-escape-padd(|n) : - StringEscape1(s, t) -> Term |[ - - ]| + StringEscape1(s, t) -> Term |[ ]| with s_padded := ])> s diff --git a/strategoxt/test.sh b/strategoxt/test.sh new file mode 100755 index 000000000..2df5456e2 --- /dev/null +++ b/strategoxt/test.sh @@ -0,0 +1,4 @@ +#! /bin/sh + +./build.sh +ANT_OPTS="-Xss8m -Xmx1024m" ant -lib dist/share/strategoxt/strategoxt.jar test