[racket] ->i contract question

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Mon Sep 22 09:14:21 EDT 2014

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:


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


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

           "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

Posted on the users mailing list.