Eigenstate: myrddin-dev mailing list

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Default type and named type?



On Thu, Feb 13, 2020, at 12:50 PM, ori@xxxxxxxxxxxxxx wrote:
> > In the section 4.5.3 "Delayed Unification" of the spec https://myrlang.org/spec,
> > what does the following statement mean?
> > 
> >>As a special case, a union type declared with the form
> >>
> >>           type u = union
> >>                    `Foo
> >>           ;;
> >>            will have the default type set to the named type, and not the
> >>            union itself.
> > 
> > What does it mean by the "named type"?
> 
> 'x = `Foo', x will have type 'u' instead of type 'union `Foo ;;'.
> 
> 
>
Understood. Thanks.

References:
Re: Default type and named type?ori@xxxxxxxxxxxxxx