| From: Richard Cobbe (cobbe at ccs.neu.edu) Date: Thu Jul 10 21:32:40 EDT 2008 |
|
On Thu, Jul 10, 2008 at 05:58:17PM -0500, Robby Findler wrote: > When -> gets a predicate as an argument (as opposed to something that > is already a contract, it calls flat-named-contract, supplying the > name of the procedure if the procedure has a name. > > Does that answer the question? Perfectly. Thanks! Richard
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}