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 -) _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
