On Tue, Sep 7, 2010 at 6:54 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: >> (U (String -> Exact-Nonnegative-Integer) >> (String False -> Exact-Nonnegative-Integer) >> (String Exact-Nonnegative-Integer -> Void) >> (String (Option Exact-Nonnegative-Integer) (-> Any) -> Any)) >> >> is more precise, but IIRC, it's not equivalent to the above -- ? > > Why does everyone always want to use union for this? Everything you > wrote there is correct, except that `U' should be `case-lambda'. > > You can't use that type in `require/typed', though, since the contract > library doesn't accept `case->' contracts like that.
The "like that" part is that two different arms of the case-> would have the same arity? Robby _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
