From 06624f3183f4d773cf1023cabe2e370ebba5dee1 Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Fri, 16 May 2025 08:24:59 -0700 Subject: Use code generation for printing the AST --- Compiler.sml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'Compiler.sml') diff --git a/Compiler.sml b/Compiler.sml index 4c5e238..0ca0ee5 100644 --- a/Compiler.sml +++ b/Compiler.sml @@ -2,17 +2,17 @@ structure Compiler = struct fun compile (prog : Syntax.expr) : Word8Vector.vector = let - val _ = print ("ast:\n" ^ Syntax.exprToString prog ^ "\n") + val _ = print ("ast:\n" ^ ShowSyntax.exprToString prog ^ "\n") val elab = Elab.elaborate prog - val _ = print ("lambda lang:\n" ^ Syntax.lexpToString elab ^ "\n") + val _ = print ("lambda lang:\n" ^ ShowSyntax.lexpToString elab ^ "\n") val cps = CPS.toCPS elab (fn _ => Syntax.CPrimop (Syntax.PExit, [Syntax.VInt 0], [], [])) - val _ = print ("cps1:\n" ^ Syntax.cexpToString cps ^ "\n") + val _ = print ("cps1:\n" ^ ShowSyntax.cexpToString cps ^ "\n") val cps' = CPS.convertClosures cps - val _ = print ("cps:\n" ^ Syntax.cexpToString cps' ^ "\n") + val _ = print ("cps:\n" ^ ShowSyntax.cexpToString cps' ^ "\n") val asm = CodeGen.toASM cps' - val _ = print ("bytecode:\n" ^ String.concatWith "\n" (map Syntax.opcodeToString asm) ^ "\n") + val _ = print ("bytecode:\n" ^ String.concatWith "\n" (map ShowSyntax.opcodeToString asm) ^ "\n") in Linker.link asm end -- cgit v1.3.1