def visit_PatVar(self, node):
if dha.isBoundPatVar(node):
self.bounds.append(dha.Name(node.id))
return "b"
else:
self.unbounds.append(dha.genUnboundVar(node.id))
return "u"
def visit_PatVar(self, node):
v = st.getFreshNSymbol()
if dha.isBoundPatVar(node):
self.bounds.append(dha.Name(v))
return dha.genUnboundVar(v)
else:
self.unbounds.append(dha.Name(v))
return dha.genUnboundVar(v)