<div dir="ltr">oh! It is from some code of Jay's. Sorry, I should have realized.<div><br></div><div>Robby</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Apr 6, 2013 at 4:26 PM, Eric Dobson <span dir="ltr"><<a href="mailto:eric.n.dobson@gmail.com" target="_blank">eric.n.dobson@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm having trouble finding any file with that name in the repo, do you<br> know the full path?<br> <div><div class="h5"><br> On Sat, Apr 6, 2013 at 2:07 PM, Robby Findler<br> <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote:<br> > I'm getting this error when I rebuild (sometimes). It doesn't seem to happen<br> > in drdr and so maybe it happens only when some files are re-compiled but<br> > others aren't?<br> ><br> > Robby<br> ><br> ><br> > skal_flymake.rkt:119:17: Type Checker: Polymorphic function make-Node could<br> > not be applied to arguments:<br> > Argument 1:<br> > Expected: A<br> > Given: A35636<br> > Argument 2:<br> > Expected: (U (Leaf A) (Node A))<br> > Given: (U (Node A35648) (Leaf A35648))<br> > Argument 3:<br> > Expected: (U (Leaf A) (Node A))<br> > Given: (U (Node A35648) (Leaf A35648))<br> ><br> > Result type: (Node A)<br> > Expected result: (U (Node A35648) (Leaf A35648))<br> ><br> > in: (Node (update first) left right)<br> > context...:<br> > /Users/robby/git/plt/collects/typed-racket/utils/tc-utils.rkt:95:12:<br> > for-loop<br> > f16<br> ><br> > /Users/robby/git/plt/collects/typed-racket/typecheck/tc-toplevel.rkt:295:0:<br> > type-check<br> > success<br> > /Users/robby/git/plt/collects/typed-racket/typed-racket.rkt:61:4<br> > /Users/robby/git/plt/collects/compiler/cm.rkt:360:0: compile-zo*<br> > /Users/robby/git/plt/collects/compiler/cm.rkt:567:26<br> > /Users/robby/git/plt/collects/compiler/cm.rkt:560:42<br> > /Users/robby/git/plt/collects/compiler/cm.rkt:525:0: maybe-compile-zo<br> > /Users/robby/git/plt/collects/compiler/cm.rkt:638:2: do-check<br> > /Users/robby/git/plt/collects/compiler/cm.rkt:719:4<br> > /Users/robby/git/plt/collects/setup/parallel-do.rkt:420:20: loop<br> ><br> ><br> </div></div>> _________________________<br> > Racket Developers list:<br> > <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a><br> ><br> </blockquote></div><br></div>