Remove unneeded todo

disco-lang · Sep 1, 2024 · 9340ec1 · 9340ec1
1 parent 6ef2c51
commit 9340ec1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/explore/lower-your-guards/src/Inhabitants.hs b/explore/lower-your-guards/src/Inhabitants.hs
@@ -136,7 +136,7 @@ addConstraintHelper nref@(ctx, cns) cf@(origX, c) = case c of
     --- Equation (10)
     Match k args -> do
       case getConstructorArgs k (onVar origX cns) of
-        -- 10c -- TODO(colin): Still need to add type constraints!
+        -- 10c -- NOTE: This is where we would add type constraints, if we needed them
         Just args' ->
           addConstraints
             nref