[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.
>
>