nitrix/klang
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

25- Strict check between function signature and function call

Browse Source
This commit is contained in:
Marvin Kaiser
2020-03-04 20:53:50 +01:00
parent 18cfbdcbb5
commit 229920946d
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/java/de/hsrm/compiler/Klang/ContextAnalysis.java
View File

@@ -697,10 +697,8 @@ public class ContextAnalysis extends KlangBaseVisitor<Node> {
Expression[] args = new Expression[argCount]; Expression[] args = new Expression[argCount];
for (int i = 0; i < argCount; i++) { for (int i = 0; i < argCount; i++) {
Expression expression = (Expression) this.visit(ctx.functionCall().arguments().expression(i)); Expression expression = (Expression) this.visit(ctx.functionCall().arguments().expression(i));
try { if (!expression.type.equals(func.signature[i])) {
expression.type.combine(func.signature[i]); // Make sure the types are matching throw new RuntimeException(Helper.getErrorPrefix(line, col) + "argument " + i + " Expected " + func.signature[i].getName() + " but got: " + expression.type.getName());
} catch (Exception e) {
throw new RuntimeException(Helper.getErrorPrefix(line, col) + "argument " + i + " " + e.getMessage());
} }
args[i] = expression; args[i] = expression;
} }