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: 16 Apr 93 13:33:33 GMT From: ddciiny!jls@uunet.uu.net (Jonathan Schilling) Subject: Re: NYU ADA QUESTION!!! Message-ID: List-Id: In article sjwright@cix.compulink.co.uk write s: > >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 :-) DDC-I's Ada compilers implement UNCHECKED_CONVERSION "by magic" inside the compiler; the actual library unit is a dummy that isn't really used. I don't know the details of the NYU Ada compiler, but it may work the same, the "NOT_USED_ANYWAY" variable name would seem to suggest so. -- Jonathan Schilling DDC-I, Inc. uunet!ddciiny!jls