Unfortunately, there is not. The simplest thing is probably to roll you own checks, but if you wanted to make a new contract combinator, I'd be happy to help.
Robby On Fri, Aug 27, 2010 at 3:32 AM, Ryan Culpepper <[email protected]> wrote: > I have an apply-like procedure (actually, it's a kind of curry) that takes > at least one positional argument and accepts arbitrary keyword arguments. > That is, > > (procedure-arity p) = (arity-at-least 1) > (procedure-keywords p) = (values '() #f) > > I want an arrow contract that applies a contract to the first positional > argument and leaves everything else unconstrained. In particular, I want the > contracted procedure to still accept arbitrary keyword arguments. Is there a > way to do that? > > Ryan > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
