Call typecheck

X-R-G-B · Jan 14, 2024 · a93fdb0 · a93fdb0
1 parent 6f9fa7e
commit a93fdb0
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/lvtc/app/Run.hs b/lvtc/app/Run.hs
@@ -21,6 +21,7 @@ import WatLikeToWat (watsLikeToWat)
 import Wasm (Wasm)
 import WatToWasm (watToWasm)
 import WriteWasm (writeWasm)
+import TypeCheck (typeCheck)
 import Args
 
 import System.Directory (listDirectory)
@@ -90,9 +91,9 @@ getAllFunc v (x : expressions) = p v >> getAllFunc v expressions
 checkAst :: Bool -> IO [FuncDeclaration] -> IO [FuncDeclaration]
 checkAst _ funcsIo =
     funcsIo
-        >>= (\funcs -> case Just funcs of
-            Just f -> return f
-            Nothing -> fail "Invalid Code")
+        >>= (\funcs -> case typeCheck funcs of
+            True -> return funcs
+            False -> fail "Invalid Code")
 
 transformToWatLike :: Bool -> IO [FuncDeclaration] -> IO [FuncDeclare]
 transformToWatLike v funcsIo =

diff --git a/lvtc/test/lvt/Test.lvt b/lvtc/test/lvt/Test.lvt
@@ -1,4 +1,4 @@
-export fn start() -> Char
+export fn start() -> Int
 {
     @Int a = 0 + 1;
     @Int b = a - 1;