Next, do data-flow analysis to deduce types.

diff --git a/mad b/mad
index 79226b0d224db652f9cc216cc2ad3ddfb196ad1b..42dead654dd1f8b41740e30e30d2e0cccb2a1636 100755 (executable)
--- a/mad
+++ b/mad
@@ -328,8 +328,8 @@ def print_expr(t):
         return "%s" % print_expr(t[1])
     elif t[0] == '-':
         return "(-%s)" % print_expr(t[1])
-    elif t[0] in ('variable', 'intnum'):
-        return "%s" % print_expr(t[1])
+    elif t[0] == 'intnum':
+        return t[1]
     else:
         return "***"+`t`
 
@@ -346,7 +346,6 @@ def print_statement(statement):
             declaration += ", "
         return(declaration[:-2] + ";")
     elif statement[0] == 'for':
-        print statement
         (keyword, label, dummy, start, increment, predicate) = statement
         indent += 1
         return "for (%s = %s; %s; %s += %s) {" % (dummy, print_expr(start), print_expr(predicate), dummy, print_expr(increment))