| 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) Cheers, Asumu
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}