changeset 245:6b8310448378

ideal_functionality: clean up outdated contents
author Sigurd Meldgaard <stm@daimi.au.dk>
date Wed, 06 Jan 2010 11:17:44 +0100
parents 76d904123853
children c0acf53c72c1
files pysmcl/ideal_functionality.py
diffstat 1 files changed, 1 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/pysmcl/ideal_functionality.py	Wed Jan 06 10:28:44 2010 +0100
+++ b/pysmcl/ideal_functionality.py	Wed Jan 06 11:17:44 2010 +0100
@@ -11,7 +11,7 @@
 from pysmcl.runtime_sugar import runtime_sugar
 from pysmcl.bad_calls import bad_calls
 
-debug = True
+debug = False
 
 
 def catcher(f):
@@ -27,8 +27,6 @@
         source_str = inspect.getsource(f)
         source_ast = ast.parse(source_str) # Returns a module
         function_ast = source_ast.body[0] # We want only the function
-        # for i in ast.walk(function_ast):
-        #     print i, getattr(i, "lineno", None)
         if(debug):
             pysmcl.pretty_print.pprint(source_ast)
             print "-"*80
@@ -44,7 +42,6 @@
 
         runtime_sugar(function_ast)
         t.decorator_list.pop()
-#         pysmcl.proof_burden.proof_burden(t)
         if(debug):
             pysmcl.pretty_print.pprint(source_ast)
         g = f.__globals__