printing cleanup

Author: csmith49

.gitignore

@@ -2,3 +2,4 @@ biglambda/producers/parser.out
 biglambda/producers/typetab.py
 biglambda/producers/__pycache__
 biglambda/consumers/__pycache__
+biglambda/__pycache__

biglambda/__main__.py

@@ -86,6 +86,5 @@ def explore_frontier(sig, data_type, metric, max_size):
 			elif not program.csg_check(ex_input, writer):
 				break
 		else:
-			print("Found solution after {} steps".format(i))
 			print(repr(program))
 			break

biglambda/consumers/lazy.py

@@ -5,7 +5,6 @@ def __init__(self, generator):
 		self._generator = generator
 		self._history = []
 	def __getitem__(self, key):
-		print(len(self._history))
 		while key >= len(self._history):
 			self._history.append(next(self._generator))
 		return self._history[key]

biglambda/producers/e.py

@@ -121,11 +121,3 @@ def fix_types(node, sub):
     else:
         kids = [fix_types(c, sub) for c in node.args]
         return node._replace(args=tuple(kids))
-
-if __name__ == '__main__':
-    test = Abs(None, App(Var(1, None), Un(None)))
-    print(test)
-    print()
-    print(reconstruct(linearize(test)))
-    print()
-    print(linearize(test))

biglambda/producers/expansion.py

@@ -1,4 +1,3 @@
-from pprint import pprint
 from . import e
 from . import t
 from itertools import chain

biglambda/producers/t.py

@@ -22,7 +22,7 @@ class Base(Type):
     def __new__(cls, name):
         return super().__new__(cls, "base", name, ())
     def __repr__(self):
-        return self.value 
+        return self.value
     def __reduce__(self):
         return Base, (self.value,)
 
@@ -135,9 +135,3 @@ def fresh_wrt(expr, s):
         base += 1
     fresh_vars = [Var(i) for i in fresh_list]
     return TypeSubstitution({k : v for k, v in zip(vals, fresh_vars)})
-
-if __name__ == '__main__':
-    test = Func(List(Pair(Base("int"), Var(1))), Var(1))
-    print(test)
-    s = TypeSubstitution({1 : List(Base("str"))})
-    print(s.visit(test))