Eigenstate: myrddin-dev mailing list

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

Default type and named type?


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"?

Follow-Ups:
Re: Default type and named type?ori@xxxxxxxxxxxxxx