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/Main.hs')
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