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

changed indexing of variables

Browse Source
This commit is contained in:
ucrhh 2021-02-03 15:27:18 +01:00
parent 9e77c422f2
commit e2788a1c81
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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