From 6931bf004f25655beb1091162bb092c23ecb2d7f Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Thu, 21 Dec 2023 15:51:28 +0000 Subject: Remove old TODO --- src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java | 1 - 1 file changed, 1 deletion(-) (limited to 'src/main/java') diff --git a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java index 3fb95910..d783aafe 100644 --- a/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java +++ b/src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java @@ -244,7 +244,6 @@ public class TypeCheckerContext { } public TypeCheckerContext enterFreeVariableCapture() { - // TODO: do this properly (should not affect environment, possibly other bits of lexical context) return new TypeCheckerContext( this.typeInfos, this.stack.plus(FreeVariableCapture.EMPTY) -- cgit v1.2.3