On Sun, May 19, 2013 at 6:32 PM, Asumu Takikawa <as...@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). Sam _________________________ Racket Developers list: http://lists.racket-lang.org/dev
