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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3f74d676465455d2,start
X-Google-Attributes: gid103376,public
From: Rusnak <bogus@nowhere.com>
Subject: Why a PROGRAM ERROR?
Date: 1998/12/10
Message-ID: <3670178F.8751F9B9@nowhere.com>#1/1
X-Deja-AN: 420897379
Content-Transfer-Encoding: 7bit
Organization: Lockheed Martin Missiles and Space Company, Sunnyvale, Ca.
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1998-12-10T00:00:00+00:00
List-Id: <comp.lang.ada>

I have the following code  in a generic package (or code similar to it
anyway):


      Given a tagged type "My_Instance" and a type defined as

          type My_Class_Object_Type is access all My_Instance'Class;

    I have a function in the spec/body, defined in the body as

          function Unpack(The_Object : access My_Instance'Class)
                                      Core_Text : String)
         return Command_Object
         is
            Return_Value :  Command_Object;
        begin
            . . .
               Command_Object.The_Object :=
My_Class_Object_Type(The_Object);
           . . .
         end Unpack;


        Any time I try to cast the anonymous access type to
My_Instance'Class to the type My_Class_Object_Type,
        a program error is raised.  Why is this the case, why is the
error not caught at compile time, and how can I resolve
       the error?  It seems to only occur  when a cast like this one is
made inside an instantiation of a generic package.

       Any help is greatly appreciated.

      If you wish to contact me by e-mail my e-mail id is "jrusnak" and
my ISP is "netgate.net".

    Thanks

-John