From 6fa50cbf31df26a851c34e97ff8a1ae200fa9336 Mon Sep 17 00:00:00 2001 From: Johanna Stuber Date: Sat, 6 Feb 2021 10:58:12 +0100 Subject: [PATCH] delete todo and comment, make long example inferrable --- src/main/java/edu/kit/typicalc/model/TypeInferenceResult.java | 3 --- src/main/java/edu/kit/typicalc/view/main/ExampleDialog.java | 2 +- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/src/main/java/edu/kit/typicalc/model/TypeInferenceResult.java b/src/main/java/edu/kit/typicalc/model/TypeInferenceResult.java index 560e5fc..d565f40 100644 --- a/src/main/java/edu/kit/typicalc/model/TypeInferenceResult.java +++ b/src/main/java/edu/kit/typicalc/model/TypeInferenceResult.java @@ -63,9 +63,6 @@ public class TypeInferenceResult { } } return typeVar; - // TODO: correct? -// throw new IllegalStateException("MGU has to contain substitution for original type variable: " -// + typeVar.toString()); } /** diff --git a/src/main/java/edu/kit/typicalc/view/main/ExampleDialog.java b/src/main/java/edu/kit/typicalc/view/main/ExampleDialog.java index 1dd36be..594fe57 100644 --- a/src/main/java/edu/kit/typicalc/view/main/ExampleDialog.java +++ b/src/main/java/edu/kit/typicalc/view/main/ExampleDialog.java @@ -23,7 +23,7 @@ public class ExampleDialog extends Dialog implements LocaleChangeObserver { private static final List 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)", - "(λx.λy.y (x x)) (λz. λa. z g a)"); + "(λx.λy.y (x y)) (λz. λa. z g a)"); private final Paragraph instruction; /**