[racket-dev] seeing compile-time error for Whalesong on HEAD

From: Danny Yoo (dyoo at hashcollision.org)
Date: Mon Apr 29 19:34:32 EDT 2013

There's something funky in typed-racket/private/type-contract.rkt,
with some non-uniformity in the following lines:


where the keywords are being called #:kind, but the variable binding
is called "flat", and it's done inconsistently between t->c and
t->c/both, and there's a use here:


that tries to use them interchangeably, and that looks off.

Posted on the dev mailing list.