[MLton] bug? pattern-matching against value-carrying constructors

Stephen Weeks MLton@mlton.org
Mon, 25 Jul 2005 01:56:38 -0700


> > I can't find anywhere a restriction that unary
> > constructors must be applied to an argument pattern.
> 
> I think the second side condition of rule 35 enforces it: the instantiated
> type of the constructor must be of the form tau^(k) t

Ah.  This makes sense.  Thanks.