Permalink
Browse files

updated comment

  • Loading branch information...
1 parent 71bdb00 commit 5bb6e526095d75678430cce930755a7c45d5a761 @tvcutsem committed Jul 6, 2011
Showing with 6 additions and 6 deletions.
  1. +6 −6 src/worlds_v0.clj
View
@@ -60,13 +60,13 @@
(defn- known? [val]
(not (identical? val DontKnow)))
-;; This function assumes that *this-world* is not bound to nil
-;; (i.e. not the top-level world)
-;; This is currently guaranteed as it is only invoked from world-lookup,
-;; which is only called when *this-world* is not nil
;; This function ensures the "no surprises" property
-;; i.e. a ref does not appear to change spontaneously in
-;; *this-world* when it is updated in one of its parents
+;; i.e. a ref does not appear to change spontaneously in *this-world* when
+;; it is updated in one of its parents.
+;; This function assumes that *this-world* is not bound to nil (i.e. it should
+;; not be called in the top-level world).
+;; This is currently guaranteed as it is only invoked from lookup-in-parent-world,
+;; which is itself only called when *this-world* is not nil (see w-deref)
(defn- mark-as-read [ref val]
;; if ref's :reads value does not exist or is bound to DontKnow
;; in this world, mark it as read before returning it

0 comments on commit 5bb6e52

Please sign in to comment.