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