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/ChangeLog | |
| 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/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index ec9c0b71..e7b02dea 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,18 @@ +2008-12-08 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/compiler.boot (compRetractAlternative): Handle domains + satisfying RetractableTo T. + * interp/g-opt.boot ($simpleVMoperators): Add a few more operators. + (optLET): Fix thinko. + +2008-12-08 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/cparse.boot (npCase): New. + (npStatement): Use it. + * interp/pf2sex.boot (pfCase2Sex): New. + (pf2Sex1): Use it. + * interp/ptrees.boot: Construct %Match ASTs. + 2008-12-07 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/g-opt.boot ($simpleVMoperators): New. @@ -25,7 +40,6 @@ (postMatch): Likewise. * interp/metalex.lisp (Keywords): Remove `otherwise' as keyword. * interp/fnewmeta.lisp (|PARSE-Match|): New local parser. - * interp/newaux.lisp (@@): New token. Align wih interpreter. (otherwise): Remove binding specification. (case): Now also a Nud token. |