diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-21 15:51:28 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-21 15:57:02 +0000 |
| commit | 6931bf004f25655beb1091162bb092c23ecb2d7f (patch) | |
| tree | 21f236495888c26ea4880861061268a4d9331c15 /src/main/java | |
| parent | 48433738e13dec5fb1dbe77e6e9acacd8b66b954 (diff) | |
Remove old TODO
Diffstat (limited to 'src/main/java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/typechecker/TypeCheckerContext.java | 1 |
1 files changed, 0 insertions, 1 deletions
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) |