convertExpr :: P.Expr -> State ConvState E.Expr
convertExpr (P.IntLiteral n) = return $ E.IntLiteral n
convertExpr :: P.Expr -> State ConvState E.Expr
convertExpr (P.IntLiteral n) = return $ E.IntLiteral n
convertExpr (P.IntLiteral n) = return $ E.IntLiteral n