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/OUTFORM.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/OUTFORM.lsp')
-rw-r--r-- | src/algebra/strap/OUTFORM.lsp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp index d89865c0..027e0a17 100644 --- a/src/algebra/strap/OUTFORM.lsp +++ b/src/algebra/strap/OUTFORM.lsp @@ -668,7 +668,7 @@ (DEFUN |OUTFORM;prefix;$L$;76| (|a| |l| $) (COND - ((NULL (SPADCALL |a| (|getShellEntry| $ 98))) (CONS |a| |l|)) + ((NULL (|OUTFORM;infix?;$B;74| |a| $)) (CONS |a| |l|)) ('T (|OUTFORM;hconcat;3$;48| |a| (|OUTFORM;paren;2$;40| (|OUTFORM;commaSeparate;L$;33| |l| $) @@ -681,7 +681,7 @@ ((SPADCALL (SPADCALL |l| (|getShellEntry| $ 69)) (|getShellEntry| $ 68)) (SPADCALL |l| (|getShellEntry| $ 70))) - ((SPADCALL |a| (|getShellEntry| $ 98)) (CONS |a| |l|)) + ((|OUTFORM;infix?;$B;74| |a| $) (CONS |a| |l|)) ('T (|OUTFORM;hconcat;L$;49| (LIST (SPADCALL |l| (|getShellEntry| $ 70)) |a| @@ -691,7 +691,7 @@ (DEFUN |OUTFORM;infix;4$;78| (|a| |b| |c| $) (COND - ((SPADCALL |a| (|getShellEntry| $ 98)) + ((|OUTFORM;infix?;$B;74| |a| $) (|OUTFORM;bless| (LIST |a| |b| |c|) $)) ('T (|OUTFORM;hconcat;L$;49| (LIST |b| |a| |c|) $)))) |