[plt-scheme] function contracts

From: Robby Findler (robby at cs.uchicago.edu)
Date: Thu Mar 11 08:18:05 EST 2004

You need to use ->*, put the arguments into the list part and check the
length of the list manually, for now. 

Robby

At Thu, 11 Mar 2004 00:15:41 -0500, David Van Horn wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> 
> Is it possible to define a function contract that will cause some constraint
> to hold between the arguments of the function?  For example a function might
> require two integer arguments where the first must be less than the second.  I
> couldn't see how to do this from reading the documentation.
> 
> Thanks,
> David
> 
> 
> 



Posted on the users mailing list.