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

remove superfluous unification step

Browse Source
This commit is contained in:
Johanna Stuber 2021-03-04 19:06:53 +01:00
parent 6cea905dc4
commit 3acdc46bef
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraints.java
View File

@ -91,8 +91,11 @@ public class LatexCreatorConstraints implements StepVisitor {
numberGenerator.push();
});
typeInferer.getMGU().ifPresent(mgu -> {
result.add(generateMGU(constraintSets));
numberGenerator.push();
// avoid superfluous step if unification only has one step (that equals the mgu)
if (typeInferer.getUnificationSteps().get().size() > 2) {
result.add(generateMGU(constraintSets));
numberGenerator.push();
}
result.add(generateMGU(constraintSets) + LATEX_NEW_LINE + generateFinalType());
numberGenerator.push();
});

1
src/test/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstraintsTest.java
View File

@ -39,7 +39,6 @@ class LatexCreatorConstraintsTest {
+ TREE_VARIABLE + "_{1}" + EQUALS + GENERATED_ASSUMPTION_VARIABLE + "_{1}" + LATEX_CURLY_RIGHT
+ PAREN_RIGHT + SPLIT_END + ALIGN_END,
ALIGN_BEGIN + constraintSet + MGU_START + mgu + ALIGN_END,
ALIGN_BEGIN + constraintSet + MGU_START + mgu + ALIGN_END,
ALIGN_BEGIN + constraintSet + MGU_START + mgu + LATEX_NEW_LINE + AMPERSAND + SIGMA + PAREN_LEFT
+ TREE_VARIABLE + "_{1}" + PAREN_RIGHT + EQUALS + GENERATED_ASSUMPTION_VARIABLE
+ "_{1}" + ALIGN_END);