diff options
Diffstat (limited to 'Compiler.sml')
| -rw-r--r-- | Compiler.sml | 4 |
1 files changed, 3 insertions, 1 deletions
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 |