CVS difference for ai05s/ai05-0176-1.txt
--- ai05s/ai05-0176-1.txt 2010/04/17 04:50:16 1.11
+++ ai05s/ai05-0176-1.txt 2010/05/20 06:38:00 1.12
@@ -1,5 +1,4 @@
-!standard 2.9(2/2) 10-04-12 AI05-0176-1/06
+!standard 1.1.4(12) 10-04-12 AI05-0176-1/06
!class Amendment 09-10-28
@@ -1103,7 +1102,7 @@
Sent: Tuesday, November 17, 2009 6:34 AM
> Actually, we do have the mathematical symbols to draw on. Pi got its
-> nose in the tent for Ada 2005, Perhaps we could adopt ∀ and ∃
+> nose in the tent for Ada 2005, Perhaps we could adopt ? and ?
Tee hee, someone rose to the bait!
@@ -1869,7 +1868,8 @@
> or "any boolean type" as for conditions in if-statements.
That would be fine too.
-As I mentioned in an earlier reply to Randy, I prefer your original rule but I don't feel strongly about it.
+As I mentioned in an earlier reply to Randy, I prefer your original rule but I don't
+feel strongly about it.
>> Still, an expression whose type is known independently of the context
@@ -2273,7 +2273,8 @@
Sent: Wednesday, February 24, 2010 2:55 PM
Is this Bob Duff I or Bob Duff II?
-I thought you just sent out a note agreeing the predicate should be expected to be of any boolean type, and the quantified expression should be that same type.
+I thought you just sent out a note agreeing the predicate should be expected
+to be of any boolean type, and the quantified expression should be that same type.
Implicit converting to Standard.Boolean
seems of little value, and if someone has gone to the effort of using a
Questions? Ask the ACAA Technical Agent