From 8b3a9b8f0d80e7dd789f363deb6bb36189a31f01 Mon Sep 17 00:00:00 2001
From: Rose Hogenson <rosehogenson@posteo.net>
Date: Sun, 18 May 2025 08:17:20 -0700
Subject: Add a typechecker

---
 Compiler.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Compiler.sml')

diff --git a/Compiler.sml b/Compiler.sml
index 0ca0ee5..539d334 100644
--- a/Compiler.sml
+++ b/Compiler.sml
@@ -3,7 +3,9 @@ struct
   fun compile (prog : Syntax.expr) : Word8Vector.vector =
     let
       val _ = print ("ast:\n" ^ ShowSyntax.exprToString prog ^ "\n")
-      val elab = Elab.elaborate prog
+      val typed as (typedAST, _) = Types.tag prog
+      val _ = print ("typed AST:\n" ^ ShowSyntax.typedExprToString typedAST ^ "\n")
+      val elab = Elab.elaborate typed
       val _ = print ("lambda lang:\n" ^ ShowSyntax.lexpToString elab ^ "\n")
       val cps =
         CPS.toCPS elab
-- 
cgit v1.3.1