Chalice:

* print type checked program (use -print -noTypecheck if you want old behavior)
* refactored program context in Resolver ('errors' is kept as a ListBuffer and shared)
* added resolver for refinement blocks (no loops yet)
* pretty printer should work now for transforms

1 files changed, 4 insertions, 0 deletions

diff --git a/Chalice/src/Chalice.scala b/Chalice/src/Chalice.scala
index 3f2a7e43..0ced872e 100644
--- a/Chalice/src/Chalice.scala
+++ b/Chalice/src/Chalice.scala
@@ -116,6 +116,10 @@ object Chalice {
          if (!vsMode) Console.err.println("The program did not typecheck.");

          msgs foreach { msg => ReportError(msg._1, msg._2) }

        case Resolver.Success() =>

+         if (printProgram) {

+           Console.out.println("Program after type checking: ");

+           PrintProgram.P(program)

+         }

          if (doTranslate) {

            // checking if Boogie.exe exists

            val boogieFile = new File(boogiePath);