From 8b3a9b8f0d80e7dd789f363deb6bb36189a31f01 Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Sun, 18 May 2025 08:17:20 -0700 Subject: Add a typechecker --- main.sml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'main.sml') diff --git a/main.sml b/main.sml index 99d72bb..3b74705 100644 --- a/main.sml +++ b/main.sml @@ -7,9 +7,10 @@ use "Syntax.sml"; use "Opts.sml"; use "Parser.sml"; use "ShowSyntax.sml"; -use "CodeGen.sml"; -use "CPS.sml"; +use "Types.sml"; use "Elab.sml"; +use "CPS.sml"; +use "CodeGen.sml"; use "Linker.sml"; use "Compiler.sml"; -- cgit v1.3.1