[racket] arrow contract with unrestricted keywords?

From: Ryan Culpepper (ryanc at ccs.neu.edu)
Date: Fri Aug 27 04:32:36 EDT 2010

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?


Posted on the users mailing list.