From 907e8c311fd5d5a969fbca00413ed860a2007983 Mon Sep 17 00:00:00 2001 From: guillaume abel Date: Sun, 14 Jan 2024 23:18:01 +0100 Subject: [PATCH] Add --- lvtc/src/TypeCheck.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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