diff -r 18905d086cbb -r d682591c63e1 scala/ex.scala --- a/scala/ex.scala Sun Mar 10 07:10:50 2013 +0000 +++ b/scala/ex.scala Tue Mar 12 15:03:23 2013 +0000 @@ -5,6 +5,8 @@ import comp1._ import comp2._ +print(compile_rec(S)._1.print) + // Turing machine examples val TMCopy = TM((WBk, 5), (R, 2), (R, 3), (R, 2), (WOc, 3), (L, 4), (L, 4), (L, 5), (R, 11), (R, 6), @@ -94,7 +96,7 @@ val res = (abc_f.run(abc_map))(arity) val end = System.nanoTime() val time = (end - start)/1.0e9 - ("Result: " + res + " length: " + abc_f.p.length + " time: " + "%.5f".format(time)) + ("Result: " + res + " length: " + abc_f.p.length + " time: " + "%.5f".format(time) + "\n Prog:" + abc_f) } println("S(3) " + test_comp2(S, 3))