From 89482e02766f9212ce2628901f3ded58f5963c79 Mon Sep 17 00:00:00 2001 From: timv Date: Mon, 17 Dec 2012 15:48:05 -0500 Subject: [PATCH] doc tweaks. --- bin/interpreter.py | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) 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): -- 2.50.1