From 2cdfcdcf32d33e306248e300bfef10005cd498a3 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 22 Nov 2023 17:07:27 +0100
Subject: [PATCH] added some initial tests for syntax modifiers

---
 .../functionality/SyntaxRoleModifiers1.rsc    | 73 +++++++++++++++++++
 1 file changed, 73 insertions(+)
 create mode 100644 src/org/rascalmpl/library/lang/rascal/tests/functionality/SyntaxRoleModifiers1.rsc

diff --git a/src/org/rascalmpl/library/lang/rascal/tests/functionality/SyntaxRoleModifiers1.rsc b/src/org/rascalmpl/library/lang/rascal/tests/functionality/SyntaxRoleModifiers1.rsc
new file mode 100644
index 00000000000..fe54ca61386
--- /dev/null
+++ b/src/org/rascalmpl/library/lang/rascal/tests/functionality/SyntaxRoleModifiers1.rsc
@@ -0,0 +1,73 @@
+module lang::rascal::tests::functionality::SyntaxRoleModifiers1
+
+import Type;
+
+lexical Z = [a-z]+;
+
+syntax A = "a" | "b" "b";
+
+layout L = [\ ]*;
+
+data A = a();
+
+test bool useOfDifferentModifierTypesWithinASingleScope() {
+    data[A] anExample = a();
+    syntax[A] anotherExample = [syntax[A]] "a";
+    return anExample != anotherExample 
+        && anotherExample := (A) `a`;
+}
+
+test bool dispatchingOnSyntaxRole() {
+    int         f(lexical[&T] _) = 1;
+    int         f(syntax[&T] _)  = 2;
+    default int f(data[&T] _)    = 4;
+
+    return f(a()) == 4
+        && f([lexical[Z]] "z") == 1
+        && f([syntax[A]] "a")  == 2;
+}
+
+test bool canNestSyntaxModifiers() {
+    data[data[A]] v1 = a();
+    data[syntax[A]] v2 = a();
+    data[lexical[A]] v3 = a();
+    data[layout[A]] v4 = a();
+    syntax[syntax[A]] v5 = [syntax[A]] "a";
+    syntax[data[A]] v6 = [syntax[A]] "a";
+    syntax[keyword[A]] v7 = [syntax[A]] "a";
+    syntax[layout[A]] v8 = [syntax[A]] "a";
+    syntax[lexical[A]] v9 = [syntax[A]] "a";
+
+    // nothing crashed so far and the values remain equal:
+    return {a()} == {v1,v2,v3,v4}
+        && {[syntax[A]] "a"} == {v5,v6,v7,v8,v9}; 
+}
+
+test bool namePreservation1() {
+    // this is a simple ad-hoc mock for the real implode function:
+    data[&T] implode(syntax[&T] t:appl(prod(sort("A"),_,_),_)) = a();
+
+    // the type signature of `implode` guarantees name preservation,
+    // so implode of a syntax A will produce a data A without a type-checking error:
+    data[A] x = implode([syntax[A]] "a");
+
+    // this is not the real test. Of course the dynamic type would be data[A].
+    // the real test was the above assignment, where the static type system for
+    // assignment and function return types would fail if we had a bug here.
+    return adt("A",[]) == typeOf(x);
+}
+
+test bool namePreservation2() {
+    // this is a simple ad-hoc mock for the real explode function:
+    syntax[&T] explode(data[&T] t:a()) = [syntax[A]] "a";
+
+    // the type signature of `implode` guarantees name preservation,
+    // so explode of a data A will produce a syntax A without a type-checking error:
+    syntax[A] x = explode(a());
+
+    // this is not the real test. Of course the dynamic type would be data[A].
+    // the real test was the above assignment, where the static type system for
+    // assignment and function return types would fail if we had a bug here.
+    return sort("A") == typeOf(x);
+}
+ 
\ No newline at end of file