aboutsummaryrefslogtreecommitdiff
path: root/src/doc/msgs
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-12-20 18:13:38 +0000
committerdos-reis <gdr@axiomatics.org>2008-12-20 18:13:38 +0000
commit93853a12aba78b695405d9275f9ab56b01ec4269 (patch)
treea4bf53b6d33d0e96ad9eede28d94b14b6fda2f59 /src/doc/msgs
parent70962cd1ef47767d4cb623a129b5c955a5aec41e (diff)
downloadopen-axiom-93853a12aba78b695405d9275f9ab56b01ec4269.tar.gz
* interp/i-analy.boot (elaborateForm): New.
* interp/i-spec2.boot (uphas): Use it. Evaluate first operand.
Diffstat (limited to 'src/doc/msgs')
-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 c47c0854..e02d5667 100644
--- a/src/doc/msgs/s2-us.msgs
+++ b/src/doc/msgs/s2-us.msgs
@@ -169,6 +169,8 @@ S2IE0014
package-call context.
S2IE0020
Only identifiers can be used as Record of Union field names.
+S2IE0021
+ %1b as first argument to %b has %d does not evaluate to a type.
S2IF0001
A $-expression must have a fully specified domain or package on the
right-hand side.