[racket] delimiting of type variables in plai-typed?

From: John Clements (clements at brinckerhoff.org)
Date: Wed Jan 22 14:44:55 EST 2014

On Jan 22, 2014, at 9:35 AM, Matthew Flatt <mflatt at cs.utah.edu> 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


Posted on the users mailing list.