[pypy-svn] r22456 - pypy/dist/pypy/lib/logic

auc at codespeak.net auc at codespeak.net
Thu Jan 19 18:09:17 CET 2006


Author: auc
Date: Thu Jan 19 18:09:16 2006
New Revision: 22456

Modified:
   pypy/dist/pypy/lib/logic/test_unification.py
   pypy/dist/pypy/lib/logic/unification.py
Log:
TODO update


Modified: pypy/dist/pypy/lib/logic/test_unification.py
==============================================================================
--- pypy/dist/pypy/lib/logic/test_unification.py	(original)
+++ pypy/dist/pypy/lib/logic/test_unification.py	Thu Jan 19 18:09:16 2006
@@ -71,7 +71,9 @@
         u.bind(x, [42, z])
         u.bind(y, [w, 44])
         u.bind(z, w)
+        assert u._store.in_transaction == False
         raises(u.UnificationFailure, u.unify, x, y)
+        assert u._store.in_transaction == False
         # check store consistency
         assert x.val == [42, z]
         assert y.val == [w, 44]

Modified: pypy/dist/pypy/lib/logic/unification.py
==============================================================================
--- pypy/dist/pypy/lib/logic/unification.py	(original)
+++ pypy/dist/pypy/lib/logic/unification.py	Thu Jan 19 18:09:16 2006
@@ -1,16 +1,15 @@
-# Oz unification in Python 2.4
+# Oz-like unification of dataflow variables in Python 2.4
 # within a single assignment store
-# crude and buggy ...
+# crude ...
 
 #TODO :
-# * turn Var into some dataflow-ish thing
+# * understand this :
+#   http://www.mozart-oz.org/papers/abstracts/ProgrammingConstraintServices.html
+# * turn Var into some dataflow-ish thing (as far as Python allows)
 # * ensure that the store supports concurrent access
 #   (using the implicit blocking provided by dataflow vars)
-# * provide a way to copy the store to a fresh one
-#   (clone operator)
-# After reading more of the "book", I see some more ops
-# are needed for the store to be part of a computation
-# space ...
+# * add entailment checks
+# * add constraints support
 
 #----------- Variables ----------------------------------
 class EqSet(set):



More information about the Pypy-commit mailing list