Here https://gist.github.com/3315984

The first (test1) works fine.  Note it uses a KW arg.

However, (test2) fails.  I thought it was the complexity of the first arg
that I was getting wrong.  But when the KW #:label is commented out it
works fine.

Thanks in advance for looking at it

Ray

On Fri, Aug 10, 2012 at 10:59 AM, Ray Racine <[email protected]> wrote:

> Thank you.
>
> Whatever seed typing work I do for Plot will be up on my github in a
> Racket clone under collects/typed/plot.  Shortly.
>
> Ray
>
>
>
> On Fri, Aug 10, 2012 at 10:29 AM, Sam Tobin-Hochstadt 
> <[email protected]>wrote:
>
>> On Fri, Aug 10, 2012 at 10:21 AM, Ray Racine <[email protected]>
>> wrote:
>> > Removal of the extra case, shifts the bug.  It now type checks fine, but
>> > when you instantiate (run) the module it blows up with a bountiful error
>> > message.
>>
>> This is a bug; I'll push a fix shortly.
>>
>> --
>> sam th
>> [email protected]
>>
>
>
____________________
  Racket Users list:
  http://lists.racket-lang.org/users

Reply via email to