arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use renamed AppTerms method in Tree

Browse Source
This commit is contained in:
Arne Keller 2021-01-28 10:15:59 +01:00
parent 2092bf380e
commit c329a4e7d6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/model/Tree.java
View File

@ -103,10 +103,10 @@ public class Tree implements TermVisitorTree {
@Override
public InferenceStep visit(AppTerm appTerm, Map<VarTerm, TypeAbstraction> typeAssumptions, Type conclusionType) {
Type leftType = typeVarFactory.nextTypeVariable();
InferenceStep leftPremise = appTerm.getLeft().accept(this, typeAssumptions, leftType);
InferenceStep leftPremise = appTerm.getFunction().accept(this, typeAssumptions, leftType);
Type rightType = typeVarFactory.nextTypeVariable();
InferenceStep rightPremise = appTerm.getRight().accept(this, typeAssumptions, rightType);
InferenceStep rightPremise = appTerm.getParameter().accept(this, typeAssumptions, rightType);
FunctionType function = new FunctionType(rightType, conclusionType);
Constraint newConstraint = new Constraint(leftType, function);