Implicitly declare as local variables undeclared variables occurring as LHS's of CALL and RECEIVE statements (as was already done for FORK statements).

1 files changed, 2 insertions, 2 deletions

diff --git a/Chalice/src/PrettyPrinter.scala b/Chalice/src/PrettyPrinter.scala
index fb94f711..a97a04f9 100644
--- a/Chalice/src/PrettyPrinter.scala
+++ b/Chalice/src/PrettyPrinter.scala
@@ -90,7 +90,7 @@ object PrintProgram {
       print(id + ": " + t.id)

       rhs match { case None => case Some(rhs) => print(" := "); Rhs(rhs) }

       println(Semi)

-    case Call(outs, obj, id, args) =>

+    case Call(_, outs, obj, id, args) =>

       print("call ")

       outs match {

         case Nil =>

@@ -150,7 +150,7 @@ object PrintProgram {
       println(Semi)

     case Send(ch, args) =>

       print("send "); Expr(ch); print("("); ExprList(args); print(")"); println(Semi)

-    case Receive(ch, outs) =>

+    case Receive(_, ch, outs) =>

       print("receive ")

       outs match {

         case Nil =>