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=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,57fb7af7b51c2907,start
X-Google-Attributes: gid103376,public
From: William A Whitaker <whitaker@erols.com>
Subject: Final comments and code for Ada Units Checking
Date: 1997/09/15
Message-ID: <341CD609.4701@erols.com>#1/1
X-Deja-AN: 272605383
Reply-To: whitaker@erols.com
Organization: Erol's Internet Services
X-Received-On: 15 Sep 1997 06:32:09 GMT
Newsgroups: comp.lang.ada
Date: 1997-09-15T00:00:00+00:00
List-Id: <comp.lang.ada>


Comments on the solicitation on Units checking in Ada are documented in 
<A HREF="http://www.erols.com/whitaker/si_cmts.txt">SI_CMTS.TXT</A>. 

I wish to thank all those who provided comments.

A summary of the initial proposal and changes made in in
<A HREF="http://www.erols.com/whitaker/iss_418.htm">Issue 418</A>. 

The code for the Ada units checking example is in
<A HREF="http://www.erols.com/whitaker/si_check.ada">SI_CHECK.ADA</A>. 

The code for the Ada units checking generic example is in
<A HREF="http://www.erols.com/whitaker/si_gen.ada">SI_GEN.ADA</A>. 

The code for the non-checking example is in
<A HREF="http://www.erols.com/whitaker/si_real.ada">SI_REAL.ADA</A>. 

=========================================

Summary of latest changes:

As a result of numerous comments, the Ada versions now are for type
Floating.
The AdaTPD version keeps Real, as per decision of the Working Group.

subtype Dimensionless remains as an option, in agreement with SI.

Many symbols had snuck in in improper (Upper) case - corrected.

Other_Units have been rearranged somewhat and body improved.

Test_SI now has an example of Other_Units and of Unit_Text_IO,
so it runs all the packages.