It is indeed similar to the 'any' contract. The plans are basically what you see in this push -- representing cases where either some function can produce arbitrarily many values, as with some parameters, or where it doesn't matter how many values an expression produces, as in intermediate expressions in a 'begin'.
Sam On Jan 23, 2013 6:29 PM, "Neil Toronto" <[email protected]> wrote: > On 01/23/2013 04:19 PM, [email protected] wrote: > >> aac25b4 Eric Dobson <[email protected]> 2013-01-17 23:52 >> : >> | Make AnyValues but don't actually start using it yet. >> : >> > > Is this like the `any' contract? Do you have something specific in mind > for it? > > Neil ⊥ > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/**dev <http://lists.racket-lang.org/dev> >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
