From: timv Date: Mon, 17 Dec 2012 20:48:05 +0000 (-0500) Subject: doc tweaks. X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=89482e02766f9212ce2628901f3ded58f5963c79;p=dyna2 doc tweaks. --- diff --git a/bin/interpreter.py b/bin/interpreter.py index 4032315..470c808 100644 --- a/bin/interpreter.py +++ b/bin/interpreter.py @@ -1,7 +1,4 @@ -""" -Work in progress: standard library of "stuff" the "dyna executable" will make -use of. -""" +#!/usr/bin/env python #from debug import ultraTB2; ultraTB2.enable() #from debug import saverr; saverr.enable(editor=True) @@ -13,7 +10,6 @@ from utils import red, green, blue, magenta from defn import agg_bind, call - # TODO: as soon as we have safe names for these things we can get rid of this. class chart_indirect(dict): def __missing__(self, key): @@ -42,6 +38,8 @@ def dump_charts(out=sys.stdout): print >> out, chart[x] print >> out +# maybe the chart should store pretty printed term and a reference to the +# aggregator (each item get's its own aggregator to avoid a hash lookup w). class Chart(object):