| From: Robby Findler (robby at eecs.northwestern.edu) Date: Tue Sep 8 08:21:09 EDT 2009 |
|
On Tue, Sep 8, 2009 at 7:18 AM, Matthias Felleisen<matthias at ccs.neu.edu> wrote: > Thanks for reminding me of this. Sam and I had an example like this > that explained why we couldn't use plain polymorphic contracts to > control exports from Typed Scheme. I don't see how an example along these lines would make typed scheme unsound. (Such examples still behave parametrically polymorphically.) Robby
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}