diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-09 02:35:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-09 02:35:52 +0000 |
commit | 3351c2b4a9ce2106178bd1eae40b7559b03ba621 (patch) | |
tree | 7fccdd64657cca900aebf884c11fde422eab81cf /src/doc/msgs/s2-us.msgs | |
parent | 52b3f7dee38b7a15e1b017e6a41ac63cbf6e95e8 (diff) | |
download | open-axiom-3351c2b4a9ce2106178bd1eae40b7559b03ba621.tar.gz |
r12415@gauss: gdr | 2008-12-06 11:42:45 -0600
Implement basic support for pattern matching.
r12416@gauss: gdr | 2008-12-06 18:09:19 -0600
Parse case pattern match.
r12417@gauss: gdr | 2008-12-06 21:28:30 -0600
Implement basic case pattern matching for retractable domain.
r12418@gauss: gdr | 2008-12-07 00:58:58 -0600
Refine retractability implementation.
r12419@gauss: gdr | 2008-12-07 01:39:32 -0600
Update cached Lisp translation
r12420@gauss: gdr | 2008-12-07 03:52:09 -0600
r12421@gauss: gdr | 2008-12-07 10:30:44 -0600
Implement type recovery too.
r12422@gauss: gdr | 2008-12-07 19:18:09 -0600
Simplify LET-forms and COND-forms.
r12423@gauss: gdr | 2008-12-07 21:21:12 -0600
Fix typos
r12424@gauss: gdr | 2008-12-08 01:14:54 -0600
Parse case-pattern in the interpreter.
r12427@gauss: gdr | 2008-12-08 20:32:29 -0600
Handle RetractableTo T.
Diffstat (limited to 'src/doc/msgs/s2-us.msgs')
-rw-r--r-- | src/doc/msgs/s2-us.msgs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/doc/msgs/s2-us.msgs b/src/doc/msgs/s2-us.msgs index 10e02373..c47c0854 100644 --- a/src/doc/msgs/s2-us.msgs +++ b/src/doc/msgs/s2-us.msgs @@ -580,9 +580,13 @@ S2IS0060 the setelt operation. S2IS0061 Unknown type of loop iterator form. -S2IS0061 +S2IS0062 There is no operation named %1b with type %2p in the domain or package %3p. +S2IS0063 + The pattern %1b is invalid because scrutinee is not of mode %b Any %d +S2IS0064 + Could not resolve types %1pb and %2pb. S2IT0001 %1b can have no other options. S2IT0002 |