<div dir="ltr">I&#39;m getting this error when I rebuild (sometimes). It doesn&#39;t seem to happen in drdr and so maybe it happens only when some files are re-compiled but others aren&#39;t?<div><br></div><div>Robby<br><div>
<br></div><div><br></div><div><div>skal_flymake.rkt:119:17: Type Checker: Polymorphic function make-Node could not be applied to arguments:</div><div>Argument 1:</div><div>  Expected: A</div><div>  Given:    A35636</div><div>
Argument 2:</div><div>  Expected: (U (Leaf A) (Node A))</div><div>  Given:    (U (Node A35648) (Leaf A35648))</div><div>Argument 3:</div><div>  Expected: (U (Leaf A) (Node A))</div><div>  Given:    (U (Node A35648) (Leaf A35648))</div>
<div><br></div><div>Result type:     (Node A)</div><div>Expected result: (U (Node A35648) (Leaf A35648))</div><div><br></div><div>  in: (Node (update first) left right)</div><div>  context...:</div><div>   /Users/robby/git/plt/collects/typed-racket/utils/tc-utils.rkt:95:12: for-loop</div>
<div>   f16</div><div>   /Users/robby/git/plt/collects/typed-racket/typecheck/tc-toplevel.rkt:295:0: type-check</div><div>   success</div><div>   /Users/robby/git/plt/collects/typed-racket/typed-racket.rkt:61:4</div><div>
   /Users/robby/git/plt/collects/compiler/cm.rkt:360:0: compile-zo*</div><div>   /Users/robby/git/plt/collects/compiler/cm.rkt:567:26</div><div>   /Users/robby/git/plt/collects/compiler/cm.rkt:560:42</div><div>   /Users/robby/git/plt/collects/compiler/cm.rkt:525:0: maybe-compile-zo</div>
<div>   /Users/robby/git/plt/collects/compiler/cm.rkt:638:2: do-check</div><div>   /Users/robby/git/plt/collects/compiler/cm.rkt:719:4</div><div>   /Users/robby/git/plt/collects/setup/parallel-do.rkt:420:20: loop</div></div>
<div><br></div></div></div>