[racket-dev] typed racket errors in current build?

From: Eric Dobson (eric.n.dobson at gmail.com)
Date: Sat Apr 6 17:26:52 EDT 2013

I'm having trouble finding any file with that name in the repo, do you
know the full path?

On Sat, Apr 6, 2013 at 2:07 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> I'm getting this error when I rebuild (sometimes). It doesn't seem to happen
> in drdr and so maybe it happens only when some files are re-compiled but
> others aren't?
>
> Robby
>
>
> skal_flymake.rkt:119:17: Type Checker: Polymorphic function make-Node could
> not be applied to arguments:
> Argument 1:
>   Expected: A
>   Given:    A35636
> Argument 2:
>   Expected: (U (Leaf A) (Node A))
>   Given:    (U (Node A35648) (Leaf A35648))
> Argument 3:
>   Expected: (U (Leaf A) (Node A))
>   Given:    (U (Node A35648) (Leaf A35648))
>
> Result type:     (Node A)
> Expected result: (U (Node A35648) (Leaf A35648))
>
>   in: (Node (update first) left right)
>   context...:
>    /Users/robby/git/plt/collects/typed-racket/utils/tc-utils.rkt:95:12:
> for-loop
>    f16
>
> /Users/robby/git/plt/collects/typed-racket/typecheck/tc-toplevel.rkt:295:0:
> type-check
>    success
>    /Users/robby/git/plt/collects/typed-racket/typed-racket.rkt:61:4
>    /Users/robby/git/plt/collects/compiler/cm.rkt:360:0: compile-zo*
>    /Users/robby/git/plt/collects/compiler/cm.rkt:567:26
>    /Users/robby/git/plt/collects/compiler/cm.rkt:560:42
>    /Users/robby/git/plt/collects/compiler/cm.rkt:525:0: maybe-compile-zo
>    /Users/robby/git/plt/collects/compiler/cm.rkt:638:2: do-check
>    /Users/robby/git/plt/collects/compiler/cm.rkt:719:4
>    /Users/robby/git/plt/collects/setup/parallel-do.rkt:420:20: loop
>
>
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev
>

Posted on the dev mailing list.