[MLton] free type variables in datatype decs

Claudio Russo crusso@microsoft.com
Mon, 7 Feb 2005 09:55:52 -0000


Yup, I agree, the side-conditions save the day.  I hadn't spotted them
and it's been a while since I've looked at the Definition.

Sorry for all the anxiety ;->.

Claudio

> -----Original Message-----
> From: AndreasRossberg@web.de [mailto:AndreasRossberg@web.de] 
> Sent: Saturday, February 05, 2005 6:47 PM
> To: MLton@mlton.org
> Cc: Claudio Russo; Peter Sestoft
> Subject: Re: [MLton] free type variables in datatype decs
> 
> Stephen Weeks <sweeks@sweeks.com> wrote:
> >
> > I don't see the mistake in the Definition that allows 
> either Claudio's 
> > or Andreas's example.
> 
> You are absolutely right, rule 14 saves the day. In fact, I 
> recall now that the side condition (and a similar one in rule 
> 26) was added in the Revisid Definition, for exactly the 
> reason that the property you cite was violated by the 
> respective rules in SML'90 (as pointed out by Stefan Kahrs).
> 
> I'm relieved.
> 
>