From 527d979d6e0a9cb3296c6444419863c49bb7bed8 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 1 Oct 2023 20:00:25 +0100
Subject: Remove completed 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 d11cf4c0..8aafe2eb 100644
--- a/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
+++ b/src/main/java/org/shedlang/compiler/typechecker/TypeChecker.java
@@ -1193,7 +1193,6 @@ public class TypeChecker {
         UntypedWhenCaseNode untyped,
         TypeCheckerContext context
     ) {
-        // TODO: check is a valid case type
         var typedCaseType = typeCheckTypeLevelExpression(
             TypeSets.META_TYPE,
             untyped.caseType(),
-- 
cgit v1.2.3