On Tue, Sep 7, 2010 at 8:04 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > >> 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?
Right. Of course, even if the contract library accepted such contracts when it could distinguish based on the first-order portions which case to take, that still wouldn't cover all of what TR accepts. More work is needed (on my part) to characterize it precisely, though. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
