From d18047dba3ca0d3c60c28e657aee6636bd659163 Mon Sep 17 00:00:00 2001
From: kyessenov <unknown>
Date: Wed, 18 Aug 2010 01:29:56 +0000
Subject: 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

---
 Chalice/src/Chalice.scala | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Chalice/src/Chalice.scala')

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);
-- 
cgit v1.2.3