From 7287138ce5c02aac9cbe7b59d1bd988799710563 Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Wed, 25 Oct 2023 22:05:49 +0100 Subject: Remove old TODO --- src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java | 1 - 1 file changed, 1 deletion(-) (limited to 'src/main/java') 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); } -- cgit v1.2.3