Re: package Ada.Tags

[Adam Beneschan <adam@irvine.com>]

On Friday, June 8, 2012 2:50:30 AM UTC-7, Hibou57 (Yannick Duchêne) wrote:

> Forgive me for being pedantic, but it's important to note this is not a  
> type conversion, that's a *view conversion*.

There are two kinds of type conversions: "view conversions" and "value conversions".  So, yes, this is a type conversion, and yes, it's a view conversion. 

The important thing to note (for the OP) is that since this is not a value conversion, that means the tag doesn't change.  Similarly with one of the examples I posted earlier, where I wrote Events_Record_Type(Event) [without the 'Class].  This is also a view conversion, which means that while it causes the compiler to look at the object differently, it's not a *value* conversion, so the value doesn't change to a value of a different type--which means 'Tag will still be the same, which is what the OP wanted.

                          -- Adam