From 8d5ddd9860f6ea65a6d87f415c75423797c8389c Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Wed, 22 Jan 2025 22:09:33 +0100
Subject: Add TODO

---
 src/HSVIS/Typecheck.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/HSVIS/Typecheck.hs b/src/HSVIS/Typecheck.hs
index 2f68232..d7e796d 100644
--- a/src/HSVIS/Typecheck.hs
+++ b/src/HSVIS/Typecheck.hs
@@ -599,6 +599,7 @@ tcExpr down = \case
     return $ ECase (rng, down) e1' alts'
 
   ELet rng defs body -> do
+    -- TODO: need to properly scope constraints here
     defs' <- tcFunDefBlock defs
     let bound2 = map (\(FunDef _ n (TypeSig _ ty) _) -> (n, ty)) defs'
     scopeVEnv $ do
-- 
cgit v1.2.3-70-g09d2