On Tue, Sep 8, 2009 at 7:18 AM, Matthias Felleisen<matth...@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 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
