CVS difference for 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
!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
-A mechanism for user-defined string literals is added.
+A mechanism for giving a user-defined meaning to string literals is added
AI12-0249-1 provides a mechanism to use user-defined numeric literals.
-These bring the advantages of literals to abstract data types such as
+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 @@
-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