Can you explain more? Surely TR must know what "Setof" is, because it
translated it to "set/c" and surely it must know what "Any" is, since
it turned it into some other contract. That seems like enough
information to me.
On Tue, Sep 18, 2012 at 5:00 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote:____________________
> I'm saying that I don't at the moment know how to avoid giving this
> error, given the current behavior of `set/c`.
> On Tue, Sep 18, 2012 at 5:57 PM, Robby Findler
>> On Tue, Sep 18, 2012 at 4:53 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote:
>>> It's not obvious to me if this can be detected statically, but you can
>>> On Tue, Sep 18, 2012 at 5:44 PM, Tony Garnock-Jones <to...@ccs.neu.edu> wrote:
>>>> What could I be doing wrong here?
>>>> #lang typed/racket
>>>> Racket 184.108.40.206 complains about it ("racket problem.rkt"):
>>>> set/c: contract violation
>>>> The complaint vanishes if I comment out the provide, remove the bar
Racket Users list:
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.