Remove old (commented) code

bootstrap/bootstrap.py

@@ -214,11 +214,6 @@ def bootstrap():
 
                 # Define all primitive functions
                 for function, parameters in primitives.iteritems():
-                    #if parameters[0] == "Element":
-                    #    f.write("Node _type_%s()\n" % function)
-                    #else:
-                    #    f.write("Node _type_%s(%s)\n" % (function, parameters[0]))
-                        
                     f.write("Node _func_signature_%s()\n" % function)
                     f.write("Node _func_params_%s()\n" % function)
                     f.write("Node _func_body_%s()\n" % function)
@@ -234,18 +229,9 @@ def bootstrap():
                     f.write("Edge _signature_params_%s(_func_signature_%s, _func_params_%s)\n" % (function, function, function))
                     f.write("Edge _signature_params_str_%s(_signature_params_%s, _params_%s)\n" % (function, function, function))
 
-                    #f.write('Node _type_str_%s("type")\n' % function)
-                    #f.write("Edge _signature_type_%s(_func_signature_%s, _type_%s)\n" % (function, function, function))
-                    #f.write("Edge _signature_type_str_%s(_signature_type_%s, _type_str_%s)\n" % (function, function, function))
-
                     parameter_names = "abcdefghijklmnopqrstuvwxyz"
                     for number, param in enumerate(parameters[1:]):
                         param_encoding = "%s_%s" % (function, parameter_names[number])
-                        #if param == "Element":
-                        #    f.write("Node _type_%s()\n" % param_encoding)
-                        #else:
-                        #    f.write("Node _type_%s(%s)\n" % (param_encoding, param))
-
                         f.write("Node _func_params_%s()\n" % (param_encoding))
                         f.write('Node _name_%s("%s")\n' % (param_encoding, parameter_names[number]))
                         f.write("Edge _param_link_%s(_func_params_%s, _func_params_%s)\n" % (param_encoding, function, param_encoding))
@@ -253,9 +239,6 @@ def bootstrap():
                         f.write('Node _name_str_%s("name")\n' % param_encoding)
                         f.write("Edge _param_name_%s(_func_params_%s, _name_%s)\n" % (param_encoding, param_encoding, param_encoding))
                         f.write("Edge _param_name_str_%s(_param_name_%s, _name_str_%s)\n" % (param_encoding, param_encoding, param_encoding))
-                        #f.write('Node _type_str_%s("type")\n' % param_encoding)
-                        #f.write("Edge _param_type_%s(_func_params_%s, _type_%s)\n" % (param_encoding, param_encoding, param_encoding))
-                        #f.write("Edge _param_type_str_%s(_param_type_%s, _type_str_%s)\n" % (param_encoding, param_encoding, param_encoding))
 
                 # Create the initial user
                 f.write("Node user_root()\n")