[racket-dev] [plt] Push #26861: master branch updated

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Sun May 19 21:32:38 EDT 2013

On 2013-05-19 17:55:26 -0700, Eric Dobson wrote:
> This doesn't pass with contract checking enabled. make-StructTop
> requires a Struct? not any old Type?. Is there a reason that the type
> is not just bottom?

In the error case? I'm not sure. TBH, I cargo culted that line. Sam, do
you have an opinion on this? (you had the last commit to touch that line
before me)


Posted on the dev mailing list.