From 02ff39d0ab6488fa8cedb31030130b352e10b3e2 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 27 Nov 2024 16:18:16 +0100
Subject: Initial typing

---
 app/Main.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'app')

diff --git a/app/Main.hs b/app/Main.hs
index 06843fc..5d4d978 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -11,6 +11,7 @@ import qualified Data.Text                     as T
 import           Language.Mili.Analyzer         ( linearity )
 import           Language.Mili.Parser           ( parseProgram )
 import           Language.Mili.Reducer          ( nf )
+import           Language.Mili.Typer            ( typeCheck )
 import           Options.Applicative            ( (<**>)
                                                 , Parser
                                                 , execParser
@@ -30,7 +31,7 @@ args :: Parser Args
 args = pure $ Args ArgEval
 
 pipeline :: T.Text -> Either String Term
-pipeline program = parseProgram program >>= linearity
+pipeline program = parseProgram program >>= linearity >>= typeCheck
 
 actions :: Args -> IO ()
 actions Args { _argMode = ArgEval } = do
-- 
cgit v1.2.3