def _Name(self, name): if name.id in self.globals: if hasattr(self.globals[name.id], 'syntax_tree'): #A user wrote this identifier return S.mark_user(name) else: return name else: return S.mark_user(name)
def _Name(self, name): if name.id in self.bools: return name if name.id in self.globals and name.id not in self.locals: if hasattr(self.globals[name.id], 'syntax_tree') \ or name.id in self.prelude_impl: #A user wrote this identifier or it's a non-primitive #part of the prelude - mark it return S.mark_user(name) else: return name else: return S.mark_user(name)
def mark_user(x): return S.mark_user(S.Name(x)).id