Re: Default type and named type?
[Thread Prev] | [Thread Next]
[Date Prev] | [Date Next]
- Subject: Re: Default type and named type?
- From: Mural <mail@xxxxxxx>
- Reply-to: myrddin-dev@xxxxxxxxxxxxxx
- Date: Thu, 13 Feb 2020 13:37:20 +0800
- To: myrddin-dev@xxxxxxxxxxxxxx
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.
Re: Default type and named type? | ori@xxxxxxxxxxxxxx |
- Prev by Date: Re: Default type and named type?
- Previous by thread: Re: Default type and named type?
- Index(es):