diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-01-22 22:09:33 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-01-22 22:09:33 +0100 |
| commit | 8d5ddd9860f6ea65a6d87f415c75423797c8389c (patch) | |
| tree | 5704d890978db4232f77b59de0c9b53847582bc0 | |
| parent | 36a7da75d1772156760bdff1f171f8f1f5d7a3c9 (diff) | |
| -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 |