Turned mismatch between origin and input into an exception

usethesource · Nov 13, 2024 · 5cc0b90 · 5cc0b90
1 parent e39e494
commit 5cc0b90
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/org/rascalmpl/values/RascalFunctionValueFactory.java b/src/org/rascalmpl/values/RascalFunctionValueFactory.java
@@ -544,12 +544,12 @@ private IString printSymbol(IConstructor symbol) {
         }
 
         protected IValue parse(String methodName, ISet filters, ISourceLocation input, ISourceLocation origin, boolean allowAmbiguity, boolean hasSideEffects) {
-            if (origin == null) {
-                origin = input;
+            if (origin != null && !origin.equals(input)) {
+                throw new IllegalArgumentException("input and origin should be equal: <input> != <origin>");
             }
 
             try {
-                return parseObject(methodName, origin, readAll(input), allowAmbiguity, hasSideEffects, filters);
+                return parseObject(methodName, input, readAll(input), allowAmbiguity, hasSideEffects, filters);
             }
             catch (ParseError pe) {
                 ISourceLocation errorLoc = pe.getLocation();