Default type and named type?
[Thread Prev] | [Thread Next]
- Subject: Default type and named type?
- From: Mural <mail@xxxxxxx>
- Reply-to: myrddin-dev@xxxxxxxxxxxxxx
- Date: Thu, 13 Feb 2020 09:58:15 +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"?
Re: Default type and named type? | ori@xxxxxxxxxxxxxx |
- Prev by Date: Re: Union tag comparison
- Next by Date: Re: Default type and named type?
- Previous by thread: Re: Union tag comparison
- Next by thread: Re: Default type and named type?
- Index(es):