diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-21 14:33:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-21 14:33:54 +0000 |
| commit | 0fd61f7b731145923414f6fe21a511f2304bd9d9 (patch) | |
| tree | 38d44187f9a885a543cb58b28673fd3a3df64ba5 /src/ChangeLog | |
| parent | 85ffb95ec1d15c5467784f00bdc2e22cfb319162 (diff) | |
| download | open-axiom-0fd61f7b731145923414f6fe21a511f2304bd9d9.tar.gz | |
* interp/cparse.boot (npQuantified): New.
(npType): Use it.
(npDefinitionOrStatement): Likewise. Accept quantified expressions.
(npMatch): Remove.
(npDef): Adjust.
(npMonoType): Likewise.
(npDiscrim): Recognize 'is' and 'isnt' patterns.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 80597b5f..1dfd5a86 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,13 @@ +2009-05-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/cparse.boot (npQuantified): New. + (npType): Use it. + (npDefinitionOrStatement): Likewise. Accept quantified expressions. + (npMatch): Remove. + (npDef): Adjust. + (npMonoType): Likewise. + (npDiscrim): Recognize 'is' and 'isnt' patterns. + 2009-05-18 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/vmlisp.lisp (LIST2VEC): Tidy. |