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

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Mon May 20 02:07:11 EDT 2013

On Sun, May 19, 2013 at 6:32 PM, Asumu Takikawa <asumu at ccs.neu.edu> wrote:
> 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)

I think Bottom should be fine here (off the top of my head).


Posted on the dev mailing list.