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,ca3376f0e2c72c58 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-05 10:50:03 PST Path: supernews.google.com!sn-xit-03!supernews.com!news-feed.riddles.org.uk!newsfeed.direct.ca!look.ca!newshub2.rdc1.sfba.home.com!news.home.com!news1.frmt1.sfba.home.com.POSTED!not-for-mail From: tmoran@acm.org Newsgroups: comp.lang.ada Subject: Re: better way? References: <931r2k$4ai5t$1@ID-25716.news.dfncis.de> X-Newsreader: Tom's custom newsreader Message-ID: Date: Fri, 05 Jan 2001 18:46:08 GMT NNTP-Posting-Host: 24.20.190.201 X-Complaints-To: abuse@home.net X-Trace: news1.frmt1.sfba.home.com 978720368 24.20.190.201 (Fri, 05 Jan 2001 10:46:08 PST) NNTP-Posting-Date: Fri, 05 Jan 2001 10:46:08 PST Organization: Excite@Home - The Leader in Broadband http://home.com/faster Xref: supernews.google.com comp.lang.ada:3694 Date: 2001-01-05T18:46:08+00:00 List-Id: >...Inner_A_Thing_Type and Inner_B_Thing_Type are so closely related, the >definitions of these types and their primitive operations all belong The problem is that there are two (or more) (sub)packages, each of which defines a Thing_Type, and each of which has zero or more procedures that need to access the *other* package's Thing_Type. I want compile time checking that the right Things are being passed to the various procedures. Also, this code is coming out of a special purpose code generator, so major changes in the package structure are highly undesirable.