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/Expr.hs | |
| parent | db5d73811c42d640f606ede40f861e1c052f8ca5 (diff) | |
Keep type information for polymorphic variables
Diffstat (limited to 'src/Parser/Expr.hs')
| -rw-r--r-- | src/Parser/Expr.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs index c57aa97..53bd1a1 100644 --- a/src/Parser/Expr.hs +++ b/src/Parser/Expr.hs @@ -4,7 +4,7 @@ module Parser.Expr ( varName, newVarName, - addVarName, + addVarName, addVarNameType, constrName, someExpr, @@ -78,12 +78,15 @@ newVarName = do return name addVarName :: forall a. ExprType a => Int -> TypedVarName a -> TestParser () -addVarName off (TypedVarName name) = do +addVarName off tname = addVarNameType off tname (ExprTypePrim @a Proxy) + +addVarNameType :: forall a. ExprType a => Int -> TypedVarName a -> SomeExprType -> TestParser () +addVarNameType off (TypedVarName name) stype = do gets (lookup name . testVars) >>= \case Just _ -> registerParseError $ FancyError off $ S.singleton $ ErrorFail $ T.unpack $ T.pack "variable '" <> textVarName name <> T.pack "' already exists" Nothing -> return () - modify $ \s -> s { testVars = ( name, ( LocalVarName name, ExprTypePrim @a Proxy )) : testVars s } + modify $ \s -> s { testVars = ( name, ( LocalVarName name, stype )) : testVars s } constrName :: TestParser VarName constrName = label "contructor name" $ do |