added proper type check error in case the default value of a keyword …

…parameter does not fit its declared type. Fixes #1866
usethesource · Sep 22, 2023 · d3548dd · d3548dd
1 parent 9bddad9
commit d3548dd
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/org/rascalmpl/interpreter/result/ConstructorFunction.java b/src/org/rascalmpl/interpreter/result/ConstructorFunction.java
@@ -157,7 +157,12 @@ public Result<IValue> computeDefaultKeywordParameter(String label, IConstructor
 	            } 
 	            else {
 	                Expression def = getKeywordParameterDefaults().get(kwparam);
-	                kwResult = ResultFactory.makeResult(kwType, def.interpret(eval).value, ctx);
+					IValue res = def.interpret(eval).value;
+
+					if (!res.getType().isSubtypeOf(kwType)) {
+						throw new UnexpectedKeywordArgumentType(kwparam, kwType, res.getType(), ctx.getCurrentAST());
+					}
+	                kwResult = ResultFactory.makeResult(kwType, value, ctx);
 	            }
 
 	            if (kwparam.equals(label)) {