Parse and typecheck casts

1 files changed, 10 insertions, 1 deletions

diff --git a/parser.hs b/parser.hs
index 6e8b828..942c63c 100644
--- a/parser.hs
+++ b/parser.hs
@@ -99,7 +99,16 @@ exprTable =
     prefix name op = E.Prefix (exUnOp_ op <$ symbol name)
 
 pExpression :: Parser Expression
-pExpression = E.buildExpressionParser exprTable pExLit
+pExpression = E.buildExpressionParser exprTable (pExCast <|> pExLit)
+
+pExCast :: Parser Expression
+pExCast = do
+    symbol "cast"
+    symbol "("
+    t <- pType
+    symbol ")"
+    e <- pParenExpr
+    return $ ExCast t e
 
 pExLit :: Parser Expression
 pExLit = (exLit_ <$> pLiteral) <|> pParenExpr