From 8315fbc8498af1c5a827c11cf96ee55fd2d1eb23 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Mon, 25 Sep 2023 11:50:05 +0200
Subject: [PATCH] fixes #1866 better

---
 src/org/rascalmpl/interpreter/result/ConstructorFunction.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/interpreter/result/ConstructorFunction.java b/src/org/rascalmpl/interpreter/result/ConstructorFunction.java
index 4766c47a402..54fb43423f4 100644
--- 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)) {