CVS difference for ai12s/ai12-0295-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0295-1.txt

--- ai12s/ai12-0295-1.txt	2018/11/30 06:59:02	1.1
+++ ai12s/ai12-0295-1.txt	2019/02/22 07:11:00	1.2
@@ -1,11 +1,9 @@
-!standard 4.2(6)                                     18-11-29  AI12-0295-1/01
+!standard 4.2(6)                                     19-02-22  AI12-0295-1/02
 !standard 4.2(10)
 !standard 4.2(11)
 !standard 3.6.3(1)
-!standard 4.2.1(6/5)
-!standard 4.2.1(7/5)
-!standard 4.2.1(9/5)
-!standard 4.9(26)
+!standard 4.2.1(0)
+!standard 4.9(26/3)
 !class Amendment 18-01-22
 !status Amendment 1-2012 18-11-29
 !status ARG Approved 6-0-4  18-10-22
@@ -16,13 +14,14 @@
 !subject User-defined string literals
 !summary
 
-A mechanism for user-defined string literals is added.
+A mechanism for giving a user-defined meaning to string literals is added
+to Ada.
 
 !problem
 
 AI12-0249-1 provides a mechanism to use user-defined numeric literals.
-These bring the advantages of literals to abstract data types such as
-bignums.
+These bring the advantages of numeric literals to abstract data types 
+such as bignums.
 
 However, string literals are just as useful as numeric literals.
 These would be useful for abstract data types for similar reasons as 
@@ -33,7 +32,9 @@
 
 !proposal
 
-An Aspect will be defined to allow a type to use string literals.
+Aspects will be defined to allow (lexical) string literals to be defined
+to be used with a (non-string) type. The aspect identifies a subprogram to
+be used to interpret the literal as a value of the type.
 
 String literals already rely on there being a single
 expected type (see RM 4.2).  Interestingly, you don't have to look 

Questions? Ask the ACAA Technical Agent