Merge pull request #2252 from usethesource/fix/relativize-failure

jurgenvinju · web-flow · commit 075dc6fa4ed5 · 2025-05-09T15:25:49.000+02:00
diff --git a/src/org/rascalmpl/library/Location.rsc b/src/org/rascalmpl/library/Location.rsc
@@ -37,9 +37,7 @@ loc relativize(list[loc] haystack, loc needle) {
     if (h <- haystack, loc r := relativize(h, needle), r != needle) {
         return r;
     }
-    else {
-        fail relativize;
-    }
+    throw PathNotFound(needle);
 }
 
 @synopsis{Shortens an absolute path to a jar inside the local maven repository.}

Original file line number	Diff line number	Diff line change
`@@ -37,9 +37,7 @@ loc relativize(list[loc] haystack, loc needle) {`
`37`	`37`	`if (h <- haystack, loc r := relativize(h, needle), r != needle) {`
`38`	`38`	`return r;`
`39`	`39`	`}`
`40`		`- else {`
`41`		`- fail relativize;`
`42`		`- }`
	`40`	`+ throw PathNotFound(needle);`
`43`	`41`	`}`
`44`	`42`
`45`	`43`	`@synopsis{Shortens an absolute path to a jar inside the local maven repository.}`