aboutsummaryrefslogtreecommitdiff
path: root/src/doc
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-08-10 16:45:54 +0000
committerdos-reis <gdr@axiomatics.org>2008-08-10 16:45:54 +0000
commit24a3196e17dc9792891c284c67d6dbe2171fd2d8 (patch)
tree440beab0062935656986736875ccd87fec529326 /src/doc
parent784284687b04207c549d8ee6052c2d17f133d1b3 (diff)
downloadopen-axiom-24a3196e17dc9792891c284c67d6dbe2171fd2d8.tar.gz
Fix AW/422
* interp/i-spec1.boot (upDeclare): Fields are not declarations. * interp/i-map.boot (getUserIdentifiersIn): Ignore field names. * testsuite/interpreter/aw-422.input: New.
Diffstat (limited to 'src/doc')
-rw-r--r--src/doc/msgs/s2-us.msgs2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/doc/msgs/s2-us.msgs b/src/doc/msgs/s2-us.msgs
index ec7bdccc..10e02373 100644
--- a/src/doc/msgs/s2-us.msgs
+++ b/src/doc/msgs/s2-us.msgs
@@ -167,6 +167,8 @@ S2IE0013
S2IE0014
You cannot use %1bp or any other category in a target, coercion, or
package-call context.
+S2IE0020
+ Only identifiers can be used as Record of Union field names.
S2IF0001
A $-expression must have a fully specified domain or package on the
right-hand side.