diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-10-25 22:05:49 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-10-25 22:05:49 +0100 |
| commit | 7287138ce5c02aac9cbe7b59d1bd988799710563 (patch) | |
| tree | 68046713bab419258999b419beaca77ea2b125dd /src/main/java | |
| parent | 291f1463f2cf23689eb56d7a9bd577f18a949309 (diff) | |
Remove old TODO
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java index 62216226..6bf20edb 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java @@ -561,7 +561,6 @@ public class TypeChecker { untyped.source() ); - // TODO: mark as defined, as distinct from declared return context.toResult(typed); } |