scala/ex.scala
changeset 207 b93ec66cf4bb
parent 205 c7975ab7c52e
child 208 3267acc1f97f
--- a/scala/ex.scala	Fri Mar 01 11:16:30 2013 +0000
+++ b/scala/ex.scala	Fri Mar 01 11:17:50 2013 +0000
@@ -87,11 +87,11 @@
 
 
 println(Const(1))
-println(compile_rec(Const(1))._1)
 println(compile_rec(Const(1)))
 println(compile_rec(Const(1))._1.run(Map(0 -> 1, 1 -> 1, 2 -> 0)))
+println(toTM(compile_rec(Const(1))._1.p).run(Tape(1, 1, 0)))
 println(Add)
 println(compile_rec(Add)._1)
-println(compile_rec(Add))
+println(toTM(compile_rec(Add)._1.p).run(Tape(3, 4, 0)))
 println(compile_rec(Add)._1.run(Map(0 -> 3, 1 -> 8, 2 -> 0)))
 //compile_rec(Add)._1.run(Map(0 -> 3, 1 -> 4, 2 -> 0))