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,fb3d94481808e9da,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-17 12:52:50 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!newsfeed.media.kyoto-u.ac.jp!news-out.spamkiller.net!propagator2-maxim!propagator-maxim!news-in.spamkiller.net!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!59ce1190!not-for-mail Message-ID: <3CE55F8F.7C29978F@acm.org> From: Jeffrey Carter X-Mailer: Mozilla 4.7 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Unit package generation Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Fri, 17 May 2002 19:52:49 GMT NNTP-Posting-Host: 63.184.18.140 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 1021665169 63.184.18.140 (Fri, 17 May 2002 12:52:49 PDT) NNTP-Posting-Date: Fri, 17 May 2002 12:52:49 PDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: archiver1.google.com comp.lang.ada:24309 Date: 2002-05-17T19:52:49+00:00 List-Id: Following some discussion on comp.lang.ada, PragmAda Software Engineering has produced a program (licensed under the GPL) that produces a package with types and operations for compile-time unit checking. This program is now ready for beta testing. If you would like to test this program and provide feedback on errors or suggested improvements, please contact me directly. -- Jeffrey R. Carter PragmAda Software Engineering