From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.4 required=3.0 tests=BAYES_00,SUBJ_ALL_CAPS
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 15 Apr 93 22:04:02 GMT
From: pipex!demon!cix.compulink.co.uk!sjwright@uunet.uu.net  (Simon Wright)
Subject: Re: NYU ADA QUESTION!!!
Message-ID: <memo.133371@cix.compulink.co.uk>
List-Id: <comp.lang.ada>

References: <1993Apr11.050845.26102@penny.cs.fredonia.edu>
X-Newsreader: TIN [version 1.1 PL6]

Kevin V. Sobilo (sobi0268@mary.cs.fredonia.edu) wrote:
> 
>  I am trying to use NYU Ada for a project to create a set of 
> facilities or packages to allow TCP/IP programming in Ada.  We wish
> to provide some nice facilities to program concurrent network
> applications etc... Well, NYU Ada (adaed) doesnt seem to implement
> UNCHECKED_CONVERSION or SYSTEM packages.... Can anyone tell me if
> this is true???? 

The source of System, Text_Io, ... is in the file src/predef.ada.
Unfortunately the text of Unchecked_Conversion is ..

generic
   type SOURCE is limited private;
   type TARGET is limited private;
function UNCHECKED_CONVERSION(S : SOURCE) return TARGET;
function UNCHECKED_CONVERSION(S : SOURCE) return TARGET is
NOT_USED_ANYWAY: TARGET;
begin
   raise PROGRAM_ERROR;
   return NOT_USED_ANYWAY;
end;

.. so I guess there's some work to do there. Obviously the body needs to
be implemented in the host language :-)

--
Simon Wright
Ferranti International, Defence Systems Integration