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

move unification error to end of unification

Browse Source
This commit is contained in:
ucrhh 2021-02-12 12:40:39 +01:00
parent dabde5e455
commit a8652642fc
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -189,10 +189,6 @@ public class LatexCreatorConstraints implements StepVisitor {
latex.append(generateUnificationName());
boolean markError = error.isPresent();
error.ifPresent(latex::append); // TODO: translation
if (error.isPresent()) {
latex.append(LATEX_NEW_LINE);
}
List<Constraint> unificationConstraints = step.getConstraints();
if (!unificationConstraints.isEmpty()) {
latex.append(UNIFY + PAREN_LEFT + LATEX_CURLY_LEFT);
@ -240,6 +236,10 @@ public class LatexCreatorConstraints implements StepVisitor {
latex.append(LATEX_NEW_LINE);
}
latex.append(SPLIT_END);
if (error.isPresent()) {
latex.append(LATEX_NEW_LINE + AMPERSAND);
}
error.ifPresent(latex::append); // TODO: translation
steps.add(latex.toString());
}
return steps;