From 1fbda1c9d4b9ce589563ef7b906653e6654eb659 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Thu, 1 Jun 2023 14:42:45 +0200 Subject: [PATCH] added tests for #916 --- .../library/lang/rascal/tests/basic/Locations.rsc | 9 ++++++++- 1 file changed, 8 insertions(+), 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 index 2ee0805bb32..c74aee25e0e 100644 --- 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; \ No newline at end of file +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 : "/") + when x := "some path right?"; \ No newline at end of file