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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Apr 6 17:36:29 EDT 2013

oh! It is from some code of Jay's. Sorry, I should have realized.

Robby


On Sat, Apr 6, 2013 at 4:26 PM, Eric Dobson <eric.n.dobson at gmail.com> wrote:

> 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
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20130406/937af326/attachment.html>

Posted on the dev mailing list.