fixes #1866 better

usethesource · Sep 25, 2023 · 8315fbc · 8315fbc
1 parent d3548dd
commit 8315fbc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/interpreter/result/ConstructorFunction.java b/src/org/rascalmpl/interpreter/result/ConstructorFunction.java
@@ -162,7 +162,7 @@ public Result<IValue> computeDefaultKeywordParameter(String label, IConstructor
 					if (!res.getType().isSubtypeOf(kwType)) {
 						throw new UnexpectedKeywordArgumentType(kwparam, kwType, res.getType(), ctx.getCurrentAST());
 					}
-	                kwResult = ResultFactory.makeResult(kwType, value, ctx);
+	                kwResult = ResultFactory.makeResult(kwType, res, ctx);
 	            }
 
 	            if (kwparam.equals(label)) {