Skip to content

Commit

Permalink
Add
Browse files Browse the repository at this point in the history
  • Loading branch information
guillaumeAbel committed Jan 14, 2024
1 parent ce1d910 commit 907e8c3
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion lvtc/src/TypeCheck.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit 907e8c3

Please sign in to comment.