[MLton] free type variables in datatype decs

Andreas Rossberg AndreasRossberg@web.de
Sat, 5 Feb 2005 19:47:12 +0100


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.