[plt-scheme] Uniqueness of dead-evt

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri May 15 04:51:09 EDT 2009

At Fri, 15 May 2009 09:18:22 +0100, Noel Welsh wrote:
> Is the event returned by thread-dead-evt guaranteed to be eq? to the
> event returned by any future calls to thread-dead-evt with the same
> thread?
> 
> I.e. Can I count on this?:
> 
> -> (define t (thread (lambda () (sync (make-semaphore)))))
> -> t
> #<thread>
> -> (eq? (thread-dead-evt t) (thread-dead-evt t))
> #t

That's true in the current implementation, and I see no problem making
that a guarantee --- so, yes.



Posted on the users mailing list.