[plt-dev] Changes to the contract system

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sat Feb 6 18:57:09 EST 2010

On Feb 6, 2010, at 3:40 PM, Carl Eastlund wrote:

> I have just committed a change to the contract system which provides a
> new interface for constructing custom contracts, as well as a new
> underlying representation for contracts to support this interface.
> For the purpose of most developers, very little will change; all
> existing contracts will continue to function as they have.
> There are three main user-facing changes.
> One, all flat contracts (other than constants, such as numbers and
> strings) may now be applied as predicates.

Would it be possible to turn the contract 5 into (curry = 5) and to turn "hello world" into (curry string=? "hello world") in these cases? 

(Oh and how are hygienic ACL2 macros doing -)

Posted on the dev mailing list.