Verifier: fix wrong typeOf' behavior

Author: rockofox

lib/Verifier.hs

@@ -74,7 +74,57 @@ typeOf' (FuncCall name _ _) = do
     matchingBinding <- findMatchingBinding name
     -- when (isNothing matchingBinding) $ error $ "Could not find relevant binding for " ++ name
     return $ maybe Unknown ttype matchingBinding
-typeOf' x = return $ typeOf x
+typeOf' (Add a _) = typeOf' a
+typeOf' (Sub a _) = typeOf' a
+typeOf' (Mul a _) = typeOf' a
+typeOf' (Div a _) = typeOf' a
+typeOf' (Power a _) = typeOf' a
+typeOf' (UnaryMinus x) = typeOf' x
+typeOf' (If _ b _) = typeOf' b
+typeOf' (Modulo x _) = typeOf' x
+typeOf' (ListConcat x _) = typeOf' x
+typeOf' (StructAccess s _) = typeOf' s
+typeOf' (Pipeline _ b) = typeOf' b
+typeOf' (Flexible x) = typeOf' x
+typeOf' (Then _ b) = typeOf' b
+typeOf' (StrictEval x) = typeOf' x
+typeOf' x@ListPattern{} = return $ typeOf x
+typeOf' x@BoolLit{} = return $ typeOf x
+typeOf' x@IntLit{} = return $ typeOf x
+typeOf' x@FloatLit{} = return $ typeOf x
+typeOf' x@StringLit{} = return $ typeOf x
+typeOf' x@StructLit{} = return $ typeOf x
+typeOf' x@DoubleLit{} = return $ typeOf x
+typeOf' x@CharLit{} = return $ typeOf x
+typeOf' x@Discard{} = return $ typeOf x
+typeOf' x@ListLit{} = return $ typeOf x
+typeOf' x@ArrayAccess{} = return $ typeOf x
+typeOf' x@Not{} = return $ typeOf x
+typeOf' x@Eq{} = return $ typeOf x
+typeOf' x@Neq{} = return $ typeOf x
+typeOf' x@Lt{} = return $ typeOf x
+typeOf' x@Gt{} = return $ typeOf x
+typeOf' x@Le{} = return $ typeOf x
+typeOf' x@Ge{} = return $ typeOf x
+typeOf' x@And{} = return $ typeOf x
+typeOf' x@Or{} = return $ typeOf x
+typeOf' x@DoBlock{} = return $ typeOf x
+typeOf' x@FuncDef{} = return $ typeOf x
+typeOf' x@FuncDec{} = return $ typeOf x
+typeOf' x@Function{} = return $ typeOf x
+typeOf' x@ExternDec{} = return $ typeOf x
+typeOf' x@Lambda{} = return $ typeOf x
+typeOf' x@Cast{} = return $ typeOf x
+typeOf' x@TypeLit{} = return $ typeOf x
+typeOf' x@Target{} = return $ typeOf x
+typeOf' x@Ref{} = return $ typeOf x
+typeOf' x@Import{} = return $ typeOf x
+typeOf' x@Struct{} = return $ typeOf x
+typeOf' x@Trait{} = return $ typeOf x
+typeOf' x@Impl{} = return $ typeOf x
+typeOf' x@External{} = return $ typeOf x
+typeOf' x@Placeholder{} = return $ typeOf x
+typeOf' x@Let{} = return $ typeOf x
 
 compareTypes' :: Type -> Type -> [AST.GenericExpr] -> StateT VerifierState IO Bool
 compareTypes' (List x) (List y) generics = compareTypes' x y generics