Fix infer for deref and arithmetic expressions

1 files changed, 4 insertions, 4 deletions

diff --git a/src/Typecheck.hs b/src/Typecheck.hs
index 716f15f..f6621a0 100644
--- a/src/Typecheck.hs
+++ b/src/Typecheck.hs
@@ -26,19 +26,19 @@ inferExpr (Variant t v e) env = do
   return t
 inferExpr (Add e1 e2) env = do
   checkExpr e1 env TInt
-  checkExpr e1 env TInt
+  checkExpr e2 env TInt
   return TInt
 inferExpr (Mult e1 e2) env = do
   checkExpr e1 env TInt
-  checkExpr e1 env TInt
+  checkExpr e2 env TInt
   return TInt
 inferExpr (Neg e) env = do
   checkExpr e env TInt
   return TInt
 inferExpr (Deref e1) env = do
   t <- inferExpr e1 env
-  assertPtr t
-  return t
+  tt <- assertPtr t
+  return tt
 
 checkExpr :: Expr -> Environment -> Typ -> Maybe ()
 checkExpr e env t = do