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

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

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

Posted on the dev mailing list.