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

Fix type assumption highlight in let

Browse Source 
Previously, (let g = λx.x in g) g was highlighted incorrectly
This commit is contained in:
Arne Keller 2021-07-05 08:57:05 +02:00
parent 116aea51c3
commit a0ae4f08b6
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -172,6 +172,7 @@ public class Tree implements TermVisitorTree {
TypeAbstraction newTypeAbstraction = new TypeAbstraction( TypeAbstraction newTypeAbstraction = new TypeAbstraction(
typeInfererLet.getType().orElseThrow(IllegalStateException::new), extendedTypeAssumptions); typeInfererLet.getType().orElseThrow(IllegalStateException::new), extendedTypeAssumptions);
extendedTypeAssumptions.remove(letTerm.getVariable());
extendedTypeAssumptions.put(letTerm.getVariable(), newTypeAbstraction); extendedTypeAssumptions.put(letTerm.getVariable(), newTypeAbstraction);
constraints.add(newConstraint); constraints.add(newConstraint);