[plt-scheme] contract for dynamic context/state

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Apr 28 22:08:44 EDT 2010

If you're not worried about concurrency then you can pit that expr
into a predicate or into a #:pre-cond of ->d. But maybe that's not
what you wanted?

Robby

On Wednesday, April 28, 2010, Ryan Culpepper <ryanc at ccs.neu.edu> wrote:
> Has anyone written a contract form for "procedure that may only be called when <expr> is true"?
>
> Ryan
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.