Chalice:

* transforms are now callable
* resolve transform specs
* implement translation for refinement blocks (correct for manipulating locals, not globals)

1 files changed, 2 insertions, 2 deletions

diff --git a/Chalice/src/PrettyPrinter.scala b/Chalice/src/PrettyPrinter.scala
index 631f0963..5c955d01 100644
--- a/Chalice/src/PrettyPrinter.scala
+++ b/Chalice/src/PrettyPrinter.scala
@@ -26,7 +26,7 @@ object PrintProgram {
       print("("); VarList(m.ins); print(")")

       if (m.outs != Nil) print(" returns ("); VarList(m.outs); print(")")

       println

-      PrintSpec(m.spec)

+      PrintSpec(m.Spec)

       println("  {")

       for (s <- m.body) {Spaces(4); Stmt(s, 4)}

       println("  }")

@@ -52,7 +52,7 @@ object PrintProgram {
       print("("); VarList(m.ins); print(")")

       if (m.outs != Nil) print(" returns ("); VarList(m.outs); print(")")

       println;

-      PrintSpec(m.spec);

+      if (m.refines != null) PrintSpec(m.Spec);

       println("  {");

       if (m.body == null)

         println("    // body is not resolved")