diff --git a/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test b/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test new file mode 100644 index 00000000000..180cf832802 --- /dev/null +++ b/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test @@ -0,0 +1 @@ +test2 diff --git a/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test.out b/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test.out new file mode 100644 index 00000000000..123601721d8 --- /dev/null +++ b/k-distribution/tests/regression-new/issue-2315-id-quotes/2.test.out @@ -0,0 +1,3 @@ + + true ~> . + diff --git a/k-distribution/tests/regression-new/issue-2315-id-quotes/test.k b/k-distribution/tests/regression-new/issue-2315-id-quotes/test.k index fbcf585406d..6895d1438d3 100644 --- a/k-distribution/tests/regression-new/issue-2315-id-quotes/test.k +++ b/k-distribution/tests/regression-new/issue-2315-id-quotes/test.k @@ -3,9 +3,14 @@ module TEST imports BOOL imports K-EQUAL imports STRING + imports INT - syntax Bool ::= "test" [function] + syntax Bool ::= "test" [function] + | "test2" [function] // Evaluates to true if the Id constructed by String2Id contains extra quotes rule test => String2Id("x") ==K #token("\"x\"", "Id") + + // Test that hooks producing a result of sort String are wrapped + rule test2 => Int2String(2) ==K "2" endmodule