# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1381275616 -7200
# Node ID b7c66497860aecb2704b975f0e7698827824c444
# Parent  f0579287fd6944fc5e9b19e2bd82bc682495ab13
Added "with" statement report output.

diff -r f0579287fd69 -r b7c66497860a micropython/report.py
--- a/micropython/report.py	Wed Oct 09 01:27:11 2013 +0200
+++ b/micropython/report.py	Wed Oct 09 01:40:16 2013 +0200
@@ -1054,6 +1054,23 @@
             self.stream.write("</div>\n")
         self.stream.write("</div>\n")
 
+    def visitWith(self, node):
+        self.stream.write("<div class='with nowrap'>\n")
+        self._keyword("with")
+        self.dispatch(node.expr)
+        if node.vars:
+            self._keyword("as", 1)
+            first = True
+            for var in node.vars:
+                if not first:
+                    self.stream.write(", ")
+                self._name(var)
+                first = False
+        self.stream.write("<div>\n")
+        self.dispatch(node.body)
+        self.stream.write("</div>\n")
+        self.stream.write("</div>\n")
+
     def visitYield(self, node):
         self.stream.write("<div class='yield nowrap'>\n")
         self._keyword("yield")