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

delete todo and comment, make long example inferrable

Browse Source
This commit is contained in:
Johanna Stuber 2021-02-06 10:58:12 +01:00
parent ffac808366
commit 6fa50cbf31
2 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/java/edu/kit/typicalc/model/TypeInferenceResult.java
View File

@ -63,9 +63,6 @@ public class TypeInferenceResult {
} }
} }
return typeVar; return typeVar;
// TODO: correct?
// throw new IllegalStateException("MGU has to contain substitution for original type variable: "
// + typeVar.toString());
} }
/** /**

2
src/main/java/edu/kit/typicalc/view/main/ExampleDialog.java
View File

@ -23,7 +23,7 @@ public class ExampleDialog extends Dialog implements LocaleChangeObserver {
private static final List<String> EXAMPLES = private static final List<String> EXAMPLES =
List.of("λx.x", "λx.λy.y x", "λx.λy.y (x x)", "let f = λx. g y y in f 3", "(λx.x x) (λx.x x)", List.of("λx.x", "λx.λy.y x", "λx.λy.y (x x)", "let f = λx. g y y in f 3", "(λx.x x) (λx.x x)",
"(λx.λy.y (x x)) (λz. λa. z g a)"); "(λx.λy.y (x y)) (λz. λa. z g a)");
private final Paragraph instruction; private final Paragraph instruction;
/** /**