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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,99f33f51845a7793 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-08 03:33:40 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!isdnet!btnet-peer1!btnet-peer0!btnet-peer!btnet!lnewspeer01.lnd.ops.eu.uu.net!lnewsifeed03.lnd.ops.eu.uu.net!bnewspost00.bru.ops.eu.uu.net!emea.uu.net!not-for-mail From: "David Crocker" Newsgroups: comp.lang.ada References: <3be907bc$0$233$ed9e5944@reading.news.pipex.net> Subject: Re: 'withing' problem Date: Thu, 8 Nov 2001 11:38:10 -0000 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.00.2919.6600 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 Message-ID: <3bea6d92$0$234$ed9e5944@reading.news.pipex.net> NNTP-Posting-Host: andrew.imsltd.com X-Trace: 1005219218 reading.news.pipex.net 234 194.202.27.87 X-Complaints-To: abuse@uk.uu.net Xref: archiver1.google.com comp.lang.ada:16050 Date: 2001-11-08T11:38:10+00:00 List-Id: wrote in message news:uwfG7.2665$Vf4.1461632@news1.rdc1.sfba.home.com... > I thought toString might be intended for that, but then I'd expect it to > return a fixed type like String, not some extendable (ie, variable) type "seq". The language we are starting from defines 'string' to be a pseudonym for 'seq of char'. 'seq' is a template (i.e. generic) and final (i.e. non-extendable) class. > If toString takes "anything'class", then it's not a primitive of "anything" > and needn't be declared in the same package as "anything". In particular, > "toString" and "seq" can be declared together in a package that with's > the package that declares "anything". Good point, I hadn't thought of that. Normally, 'toString' would need to be declared in the same package as the type for which it is being defined (so it can access the data), but since 'anything' contains no data, in this case we could define it in package 'seq', or in its own package. This might give us a route to compiling the runtime library, although we would still need to prohibit mutual cross-referencing between classes in the original source when we are generating Ada. David Crocker, Escher Technologies Ltd. www.eschertech.com