tiny tweaks.

diff --git a/src/Dyna/Backend/Python/load.py b/src/Dyna/Backend/Python/load.py
index b860fb1ee8eff8b38bf4668636ed6c1d19eba82a..18b94f0936accaf0f3ff30022b9fb1c77803cef8 100644 (file)
--- a/src/Dyna/Backend/Python/load.py
+++ b/src/Dyna/Backend/Python/load.py
@@ -6,14 +6,12 @@ import cPickle
 
 from interpreter import Interpreter, foo, none
 
+
 def main():
-    #out = cPickle.dumps(interp)  # XXX:
-    #interp2 = cPickle.loads(out)  # XXX:
-    #interp2.repl()
     with file('save.pkl', 'r') as f:
         interp = cPickle.load(f)
-
     interp.repl()
 
+
 if __name__ == '__main__':
     main()

diff --git a/src/Dyna/Backend/Python/save.py b/src/Dyna/Backend/Python/save.py
index f954dd4123f3be72bc64a7744a0e35f7673411ec..ed99a3c02c6642c185f4facdea3a48f99764f68a 100644 (file)
--- a/src/Dyna/Backend/Python/save.py
+++ b/src/Dyna/Backend/Python/save.py
@@ -6,8 +6,6 @@ import cPickle
 
 
 def main(interp):
-    #out = cPickle.dumps(interp)  # XXX:
-    #interp2 = cPickle.loads(out)  # XXX:
-    #interp2.repl()
     with file('save.pkl', 'wb') as f:
         cPickle.dump(interp, f)
+    print 'wrote', f.name

diff --git a/src/Dyna/Backend/Python/term.py b/src/Dyna/Backend/Python/term.py
index dd88c0c695651284f085916824544927e4b5980c..da0bec712bf37479efe1967970223efabf486a5b 100644 (file)
--- a/src/Dyna/Backend/Python/term.py
+++ b/src/Dyna/Backend/Python/term.py
@@ -200,8 +200,6 @@ def symbol(name):
 
 if __name__ == '__main__':
 
-    from utils import ip
-
     [f,g,h] = map(symbol, ['f','g','h'])
     vs = [X,Y,Z] = map(symbol, ['X','Y','Z'])
 
@@ -228,9 +226,7 @@ if __name__ == '__main__':
     test(f(X, Y), f("cat", 123))
     test(f(X), f(X))
     test(f(X), f(Y))
-
-    # TODO: this fails:
-    #test("", "")
+    test("abc", "abc")
 
     Z.value = 3
     Y.value = Z