On Jan 22, 2014, at 9:35 AM, Matthew Flatt <[email protected]> wrote:
> Right. Following certain ML traditions may not have been a good choice > here, and limiting the scope of type variables to individual type > expressions made it worse. > > This would be a good candidate for repair in a `plai-typed2`, but I'm > uncertain about trying to fix it (especially considering > backward-compatibility issues) in `plai-typed`. That makes sense to me. John ____________________ Racket Users list: http://lists.racket-lang.org/users
