diff --git a/lvtc/src/TypeCheck.hs b/lvtc/src/TypeCheck.hs index c3471fd..6300c87 100644 --- a/lvtc/src/TypeCheck.hs +++ b/lvtc/src/TypeCheck.hs @@ -215,5 +215,6 @@ checkStart (((_, _, _, _), _):xs) = checkStart xs checkStart [] = False typeCheck :: [FuncDeclaration] -> Bool -typeCheck expressions | checkStart expressions = checkDeclarations expressions defaultEnv +typeCheck expressions | checkStart expressions = + checkDeclarations expressions defaultEnv typeCheck _ = False