# HG changeset patch
# User wenzelm
# Date 1289054051 -3600
# Node ID 511e5263f5c6c9169133dd0ebcd1a41d095d3e7f
# Parent  cb9fd7dd641c793c9cb9de8bfa09e07fa95b8e0f
tuned comments;

diff -r cb9fd7dd641c -r 511e5263f5c6 src/Pure/Concurrent/lazy.ML
--- a/src/Pure/Concurrent/lazy.ML	Sat Nov 06 00:10:32 2010 +0100
+++ b/src/Pure/Concurrent/lazy.ML	Sat Nov 06 15:34:11 2010 +0100
@@ -2,8 +2,8 @@
     Author:     Makarius
 
 Lazy evaluation with memoing of results and regular exceptions.
-Parallel version based on futures -- avoids critical or multiple
-evaluation, unless interrupted.
+Parallel version based on (passive) futures, to avoid critical or
+multiple evaluation (unless interrupted).
 *)
 
 signature LAZY =
@@ -58,7 +58,7 @@
                 val res = restore_interrupts (fn () => Exn.capture e ()) ();
                 val _ = Future.fulfill_result x res;
                 (*semantic race: some other threads might see the same
-                  Interrupt, until there is a fresh start*)
+                  interrupt, until there is a fresh start*)
                 val _ =
                   if Exn.is_interrupt_exn res then
                     Synchronized.change var (fn _ => Expr e)