[racket] ->i contract question

As far as I can tell, there is no contract form that allows treating
the values returned as a list. Here is how you could implement one if
you wanted:

http://pasterack.org/pastes/46111

Maybe Robby has an opinion about whether this should be done in racket/contract

Jay

On Sun, Sep 21, 2014 at 1:47 AM, Kevin Forchione <lysseus at gmail.com> wrote:
> Hi guys,
> Is there a syntax for dependent-range that would allow 0 or more values to be specified? The documentation appears to describe only a specified number of values. Is there an analogue to list of and non-empty-listof?
>
> -Kevin
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users



-- 
Jay McCarthy
http://jeapostrophe.github.io

           "Wherefore, be not weary in well-doing,
      for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
                          - D&C 64:33