Revert "Ensure bindings are created in correct order for e.g. "x, y = y, x"."

whitequark · whitequark · commit 47cbadb56459 · 2015-07-18T09:54:11.000+03:00
This reverts commit bcd1832. The bindings are actually created in lexical order, as evident in e.g. "x = lambda: x". The safety provided by this check should be instead provided by a local access analysis.
diff --git a/artiq/compiler/transforms/asttyped_rewriter.py b/artiq/compiler/transforms/asttyped_rewriter.py
@@ -108,25 +108,12 @@ def visit_arg(self, node):
 
     def visit_Name(self, node):
         if self.in_assign:
-            # Code like:
+            # code like:
             # x = 1
             # def f():
             #   x = 1
             # creates a new binding for x in f's scope
             self._assignable(node.id)
-        else:
-            # This is duplicated here as well as below so that
-            # code like:
-            # x, y = y, x
-            # where y and x were not defined earlier would be invalid.
-            if node.id in self.typing_env:
-                return
-            for outer_env in reversed(self.env_stack):
-                if node.id in outer_env:
-                    return
-            diag = diagnostic.Diagnostic("fatal",
-                "name '{name}' is not bound to anything", {"name":node.id}, node.loc)
-            self.engine.process(diag)
 
     def visit_Attribute(self, node):
         self.visit_in_assign(node.value, in_assign=False)
