Was it wrong before? Suboptimal somehow?

On Oct 28, 2012, at 9:58 AM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote:

> On Wed, Oct 24, 2012 at 8:29 PM, Ryan Culpepper <r...@cs.utah.edu> wrote:
>> 
>> samth:
>> - type->contract fixes/changes (9e1cf579a4, 962f2472e1)
>> - add #:opaque and #:struct to require/typed (9054d0db7d)
> 
> Typed Racket now handles higher-order values provided to untyped
> modules under the type `Any` differently.  This may lead to dynamic
> errors in some mixed typed/untyped programs, which can be fixed by
> using more specific types.
> 
> -- 
> sam th
> sa...@ccs.neu.edu
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev
_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to