From 9a8b6b9202f2eb7a8f51ed04ceaf29d2a358f682 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sun, 19 Apr 2026 10:54:59 +0200
Subject: Keep type information for polymorphic variables

---
 src/Parser/Statement.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Parser/Statement.hs')

diff --git a/src/Parser/Statement.hs b/src/Parser/Statement.hs
index 4548b63..96af2f3 100644
--- a/src/Parser/Statement.hs
+++ b/src/Parser/Statement.hs
@@ -37,11 +37,11 @@ letStatement = do
     off <- stateOffset <$> getParserState
     name <- varName
     osymbol "="
-    SomeExpr e <- someExpr
+    se@(SomeExpr e) <- someExpr
 
     localState $ do
         let tname = TypedVarName name
-        addVarName off tname
+        addVarNameType off tname (someExprType se)
         void $ eol
         body <- testBlock indent
         return $ Let line tname e (TestBlockStep EmptyTestBlock . Scope <$> body)
-- 
cgit v1.2.3