diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-04-19 10:54:59 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-04-19 11:04:52 +0200 |
| commit | 9a8b6b9202f2eb7a8f51ed04ceaf29d2a358f682 (patch) | |
| tree | d8d1ebfb323c3303dfa44279a4da21b0e01d7ffb /src/Parser/Statement.hs | |
| parent | db5d73811c42d640f606ede40f861e1c052f8ca5 (diff) | |
Keep type information for polymorphic variables
Diffstat (limited to 'src/Parser/Statement.hs')
| -rw-r--r-- | src/Parser/Statement.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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) |