Merge pull request #2037 from usethesource/parser-origin-bug

Parser origin location was not forwarded properly
usethesource · Nov 13, 2024 · 42cf801 · 42cf801
2 parents 7de3427 + 5cc0b90
commit 42cf801
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/values/RascalFunctionValueFactory.java b/src/org/rascalmpl/values/RascalFunctionValueFactory.java
@@ -544,8 +544,8 @@ 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 {