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) Cheers, Asumu _________________________ Racket Developers list: http://lists.racket-lang.org/dev