Re: Distinct types

On Friday 31 October 2008 17:01:05 Kevin Grittner wrote:
> I notice there's no documentation yet.  Do you have a reference to a
> good description of the feature, consistent with your implementation?

Documentation will need to be added, of course, but there isn't really a lot 
to describe: you create the type and use it.

> If not, a couple questions:
>
> (1)  Can you compare a literal of the base type?

No, unless you create additional casts or operators.

> (2)  Can you explicitly cast to the base type?

There is an implicit AS ASSIGNMENT cast between the base type and the distinct 
type in each direction.