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.dob...@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 > <ro...@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 > > >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
