[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Default type and named type?
- Subject: Re: Default type and named type?
- From: ori@xxxxxxxxxxxxxx
- Reply-to: myrddin-dev@xxxxxxxxxxxxxx
- Date: Wed, 12 Feb 2020 20:50:03 -0800
- To: myrddin-dev@xxxxxxxxxxxxxx
> 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 ;;'.