Re: Odd/Broken behavior DOTNET-GNAT vs GNAT regarding tagged types.

[Adam Beneschan <adam@irvine.com>]

On Oct 21, 8:35 pm, Shark8 <onewingedsh...@gmail.com> wrote:
> Hey everyone; I just got bit with a bit of a surprise regarding the
> differences in how tagged types are treated by GNAT vs DOTNET-GNAT,
> The output of 'external_tag shows why the behavior of the Ada.Tags
> Package is broken under DOTNET.

Not sure what you're trying to do here, or why this is causing a
problem.  The RM says that the default 'External_Tag is implementation-
defined, so you shouldn't depend on it being a certain value, or else
you should write your own "for Tagged_Base'External_Tag use ..."
clause.  My apologies if you already knew this and had some other
reason for being surprised.

                                  -- Adam

[snip]

> -- .NET output
> ----------------------
> C:\PROGRA~3\TEMPOR~1\testing>tag_error.exe
> External tag for base type: tagged_base_pkg.tagged_base
> External tag for child type: tagged_base_pkg.tagged_child
>
> Tagged child is NOT a decendant.
>
> -- Native output
> ----------------------
> C:\PROGRA~3\TEMPOR~1\testing>tag_error.exe
> External tag for base type: TAGGED_BASE_PKG.TAGGED_BASE
> External tag for child type: TAGGED_BASE_PKG.TAGGED_CHILD
>
> Tagged child is a decendant.