diff options
| -rw-r--r-- | src/HSVIS/Typecheck.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |