[plt-scheme] Contracts: having ->r and opt->

From: Paulo J. Matos (pocm at soton.ac.uk)
Date: Sun Apr 8 06:10:18 EDT 2007

Hello all,

Is it possible to have contracts for opt-lambda which arguments depend
on each other?

For example:
(define foo
   (opt-lambda (x y [z 0])

x, y and z should be numbers and y should be bigger than x. Is it
possible to say this in a contract?


Paulo Jorge Matos - pocm at soton.ac.uk
PhD Student @ ECS
University of Southampton, UK

Posted on the users mailing list.