skip type annotations in where blocks for now

2 files changed, 2 insertions, 2 deletions

diff --git a/prototypes/Infer.hs b/prototypes/Infer.hs
index 29271736..bde765cc 100644
--- a/prototypes/Infer.hs
+++ b/prototypes/Infer.hs
@@ -1839,7 +1839,7 @@ getTTuple _ = Nothing
 
 mkLets :: GlobalEnv' -> [Stmt]{-where block-} -> SExp{-main expression-} -> SExp{-big let with lambdas; replaces global names with de bruijn indices-}
 mkLets _ [] e = e
-mkLets ge (Let n _ Nothing (downS 0 -> Just x): ds) e = SLet x (substSG n (SVar 0) $ upS $ mkLets ge ds e)
+mkLets ge (Let n _ mt (downS 0 -> Just x): ds) e = SLet ({-maybe id (flip SAnn . af) mt-}{-todo-} x) (substSG n (SVar 0) $ upS $ mkLets ge ds e)
 mkLets ge (ValueDef (ns, p) x: ds) e = patLam ge p (deBruinify ns $ mkLets ge ds e) `SAppV` x    -- (p = e; f) -->  (\p -> f) e
 mkLets _ (x: ds) e = error $ "mkLets: " ++ show x
 
diff --git a/prototypes/TODO b/prototypes/TODO
index a5a61582..e51fba0c 100644
--- a/prototypes/TODO
+++ b/prototypes/TODO
@@ -62,7 +62,6 @@ fő tennivaló: a típusozó kiegészítése
 
 -   record projection functions
 -   @ patterns
--   type annotation in where blocks
 -   where block in case
 
 -------------------------------------------------------------------------------- TODOs after 100% tests (completion & cleanup)
@@ -70,6 +69,7 @@ fő tennivaló: a típusozó kiegészítése
 -   dependent prelude should work again
 -   guards + where
 -   complete & review builtin reductions
+-   type annotation in where blocks
 
 -   record filed name handling
 -   constructor operator fixities (also in patterns)