From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,e8ed21e11160bf2f
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 19 Oct 2007 19:46:23 +0200
From: Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>
User-Agent: Thunderbird 2.0.0.6 (Windows/20070728)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Abstract Interface - Assertion Error
References: <1192730634.890947.17190@e9g2000prf.googlegroups.com>
   <1192747730.7885.2.camel@K72>
   <1192791172.611781.102970@e9g2000prf.googlegroups.com>
 <1192791280.586457.18280@q3g2000prf.googlegroups.com>
In-Reply-To: <1192791280.586457.18280@q3g2000prf.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4718ed6e$0$16103$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 19 Oct 2007 19:46:23 CEST
NNTP-Posting-Host: 1cb16d8c.newsspool1.arcor-online.net
X-Trace: 
 DXC=iTm`=hZ@f6hj5k5aEF7ISmic==]BZ:afn4Fo<]lROoRa4nDHegD_]Re_UO<djfaBccN[W<lHX`=Bd\6BhD5G6\ilUCC2jBK4Je`
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:2503
Date: 2007-10-19T19:46:23+02:00
List-Id: <comp.lang.ada>

Mike.McNett wrote:
>>> Which compiler/version are you using?- Hide quoted text -
>> We are running 3.4.6 for GNAT GPL 2006.

> And that's on Linux.

With assertions enabled, nothing unusual is produced by

with Matrix_Graph;

procedure test_iface is
    X: Matrix_Graph.Matrix_Graph_Type;
begin
    null;
end;

using the most recent GNAT GPL 2007-1 (Windows, this time).
Does the Assert_Failure message point anywhere? To the
runtime, or some line number?

IIRC, the 2006 edition did have some support for Ada 2005,
but wasn't fully supporting the new language yet. Perhaps a
more recent compiler is worth a try.