def prettify(x):
if isinstance(x, tuple):
return pretty(x)
- elif isinstance(x, list):
+ elif hasattr(x, '__iter__'):
return map(pretty, x)
elif isinstance(x, Chart):
return {pretty((x.name, k)): v for k,v in x.data.iteritems()}
# timv: technically, should restrict to ":=" and extensional
aggregator[item].clear()
- aggregator[item][now] += 1
+ if now is not None:
+ aggregator[item][now] += 1
agenda.add(item)
foundone = True
idx = self._chart.insert(item + (None,))
item = (self.name, idx)
aggregator[item].clear()
- aggregator[item][now] += 1
+ if now is not None:
+ aggregator[item][now] += 1
agenda.add(item)
go()