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/algebra/strap/SYMBOL.lsp | |
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/algebra/strap/SYMBOL.lsp')
-rw-r--r-- | src/algebra/strap/SYMBOL.lsp | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/src/algebra/strap/SYMBOL.lsp b/src/algebra/strap/SYMBOL.lsp index cbbd5a3b..8c1044f6 100644 --- a/src/algebra/strap/SYMBOL.lsp +++ b/src/algebra/strap/SYMBOL.lsp @@ -115,7 +115,7 @@ (DEFUN |SYMBOL;writeOMSym| (|dev| |x| $) (COND - ((SPADCALL |x| (|getShellEntry| $ 22)) + ((|SYMBOL;scripted?;$B;30| |x| $) (|error| "Cannot convert a scripted symbol to OpenMath")) ('T (SPADCALL |dev| |x| (|getShellEntry| $ 26))))) @@ -293,7 +293,7 @@ (DEFUN |SYMBOL;script;$R$;23| (|sy| |sc| $) (COND - ((SPADCALL |sy| (|getShellEntry| $ 22)) + ((|SYMBOL;scripted?;$B;30| |sy| $) (|error| "Cannot add scripts to a scripted symbol")) ('T (CONS (|SYMBOL;coerce;$Of;11| @@ -307,7 +307,7 @@ (DEFUN |SYMBOL;string;$S;24| (|e| $) (COND - ((NULL (SPADCALL |e| (|getShellEntry| $ 22))) (PNAME |e|)) + ((NULL (|SYMBOL;scripted?;$B;30| |e| $)) (PNAME |e|)) ('T (|error| "Cannot form string from non-atomic symbols.")))) (DEFUN |SYMBOL;latex;$S;25| (|e| $) @@ -323,8 +323,7 @@ (|getShellEntry| $ 86)) (LETT |s| (STRCONC "\\mbox{\\it " (STRCONC |s| "}")) |SYMBOL;latex;$S;25|))))) - (COND - ((NULL (SPADCALL |e| (|getShellEntry| $ 22))) (EXIT |s|))) + (COND ((NULL (|SYMBOL;scripted?;$B;30| |e| $)) (EXIT |s|))) (LETT |ss| (|SYMBOL;scripts;$R;32| |e| $) |SYMBOL;latex;$S;25|) (LETT |lo| (QVELT |ss| 0) |SYMBOL;latex;$S;25|) @@ -511,7 +510,7 @@ (|getShellEntry| $ 98)) (LETT |xx| (COND - ((NULL (SPADCALL |x| (|getShellEntry| $ 22))) + ((NULL (|SYMBOL;scripted?;$B;30| |x| $)) (|SYMBOL;string;$S;24| |x| $)) ('T (|SYMBOL;string;$S;24| (|SYMBOL;name;2$;31| |x| $) @@ -538,7 +537,7 @@ (|getShellEntry| $ 18) $)))) |SYMBOL;new;2$;28|) (COND - ((NULL (SPADCALL |x| (|getShellEntry| $ 22))) + ((NULL (|SYMBOL;scripted?;$B;30| |x| $)) (EXIT (|SYMBOL;coerce;S$;8| |xx| $)))) (EXIT (|SYMBOL;script;$R$;23| (|SYMBOL;coerce;S$;8| |xx| $) (|SYMBOL;scripts;$R;32| |x| $) $)))))) @@ -572,7 +571,7 @@ (PROG (|str| |i| #0=#:G1551 #1=#:G1531 #2=#:G1529) (RETURN (SEQ (EXIT (COND - ((NULL (SPADCALL |sy| (|getShellEntry| $ 22))) |sy|) + ((NULL (|SYMBOL;scripted?;$B;30| |sy| $)) |sy|) ('T (SEQ (LETT |str| (|SYMBOL;string;$S;24| @@ -626,7 +625,7 @@ #1=#:G1552 |i| #2=#:G1553 |a| #3=#:G1554 |allscripts|) (RETURN (SEQ (COND - ((NULL (SPADCALL |sy| (|getShellEntry| $ 22))) + ((NULL (|SYMBOL;scripted?;$B;30| |sy| $)) (VECTOR NIL NIL NIL NIL NIL)) ('T (SEQ (LETT |nscripts| (LIST 0 0 0 0 0) @@ -764,7 +763,7 @@ (DEFUN |SYMBOL;list;$L;34| (|sy| $) (COND - ((NULL (SPADCALL |sy| (|getShellEntry| $ 22))) + ((NULL (|SYMBOL;scripted?;$B;30| |sy| $)) (|error| "Cannot convert a symbol to a list if it is not subscripted")) ('T |sy|))) |