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!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Newsgroups: comp.lang.ada
Subject: Re: Abstract Interface - Assertion Error
From: Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de>
In-Reply-To: <1192730634.890947.17190@e9g2000prf.googlegroups.com>
References: <1192730634.890947.17190@e9g2000prf.googlegroups.com>
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Message-Id: <1192747730.7885.2.camel@K72>
Mime-Version: 1.0
X-Mailer: Evolution 2.12.0 
Date: Fri, 19 Oct 2007 00:48:50 +0200
Organization: Arcor
NNTP-Posting-Date: 19 Oct 2007 00:48:54 CEST
NNTP-Posting-Host: d478e05e.newsspool2.arcor-online.net
X-Trace: 
 DXC=4<6iG[]<`3SAX0F2i><W:SA9EHlD;3YcR4Fo<]lROoRQ<`=YMgDjhgRGGkYSJXXT?ZPCY\c7>ejVX9F`:GYeGJOQ4aoQN6E_^I_
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:2489
Date: 2007-10-19T00:48:54+02:00
List-Id: <comp.lang.ada>


On Thu, 2007-10-18 at 11:03 -0700, Mike.McNett wrote:
> I am having a problem with creating one Interface, then an Abstract
> type that implements that interface, and a concrete type from the
> Abstract one.  When I don't use the interface, all is good.  When the
> Abstract type is based on the Interface Type, however, I get a
> "System.Assertions.Assert_Failur" runtime exception.  Here's the basic
> code:
> 
> In Graph_Interface package, I define Type Graph_Interface_Type is
> Interface;
> 
> In Abstract_Graph package, I define Type Abstract_Graph_Type is
> ABSTRACT NEW Graph_Interface.Graph_Interface_Type with Private;
> 
> In my Matrix_Graph package, I define Type Matrix_Graph_Type is new
> Abstract_Graph_Type With Private;
> 
> Using the above, everything compiles but I get the assertion error.
> When I change the Abstract_Graph_Type so that it is just Abstract and
> doesn't implement the interface, all is good.
> 
> Any ideas / thoughts?
> 
> Thanks,
> Mike
> 

Trying to construe sources as good I can from your hints, I get

georg@K72:~/News$ gnatmake -v -gnat05 graph_interface.ads 

GNATMAKE 4.1.320070929prerelease (Ubuntu 4.1.2-16ubuntu3)
Copyright 1995-2004 Free Software Foundation, Inc.
  "graph_interface.ali" being checked ...
  -> "graph_interface.ali" missing.
gcc-4.1 -c -gnat05 graph_interface.ads
End of compilation
georg@K72:~/News$ rm *.ali
georg@K72:~/News$ gnatmake -v -gnat05 matrix_graph.ads 

GNATMAKE 4.1.320070929prerelease (Ubuntu 4.1.2-16ubuntu3)
Copyright 1995-2004 Free Software Foundation, Inc.
  "matrix_graph.ali" being checked ...
  -> "matrix_graph.ali" missing.
gcc-4.1 -c -gnat05 matrix_graph.ads
  "abstract_graph.ali" being checked ...
  -> "abstract_graph.ali" missing.
gcc-4.1 -c -gnat05 abstract_graph.ads
  "graph_interface.ali" being checked ...
  -> "graph_interface.ali" missing.
gcc-4.1 -c -gnat05 graph_interface.ads
End of compilation

Which compiler/version are you using?