added tests for #916

usethesource · Jun 1, 2023 · 1fbda1c · 1fbda1c
1 parent 9c858c0
commit 1fbda1c
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/org/rascalmpl/library/lang/rascal/tests/basic/Locations.rsc b/src/org/rascalmpl/library/lang/rascal/tests/basic/Locations.rsc
@@ -518,4 +518,11 @@ test bool extensionSetSimple()
 
 
 // we don't want backslashes in windows
-test bool correctTempPathResolverOnWindows() = /\\/ !:= resolveLocation(|tmp:///|).path;
+test bool correctTempPathResolverOnWindows() = /\\/ !:= resolveLocation(|tmp:///|).path;
+
+test bool encodingIsTheSameForPathAdditionAndTemplateInstantation()
+    = |file:///<"some path">/<"with spaces">| == |file:///| + "some path" + "with spaces";
+
+test bool encodingDecodingPaths()
+    = (|file:///| + x).path == ((/^\// := x) ? x : "/<x>")
+    when x := "some path right?";