diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-07-26 14:37:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-07-26 14:37:07 +0000 |
| commit | f9543e098c7a6a3707b7c92e92cadcab11784f0d (patch) | |
| tree | 89218482d447f25789c2b4b79f595120f0b1d5bf | |
| parent | f04d1f935b8e4b87ca156932b723a323ef8808d9 (diff) | |
| download | open-axiom-f9543e098c7a6a3707b7c92e92cadcab11784f0d.tar.gz | |
| -rw-r--r-- | src/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 46db840e..bcdd3f9b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,17 @@ +2008-07-24 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/scan.boot: Tidy. + * interp/ptrees.boot: Define AST for type schemes. + * interp/cparse.boot (npType): Parse type schemes. + (npQuantifierVariable): New. + (npADD): Accept only monotypes. + * interp/pf2sex.boot (pf2Sex1): Handle type schemes. + (pfQuantified2Sex): New. + 2008-07-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/cparse.boot (npMonoType): Rename from npType. + * boot/strap: Update cached Lisp translation. * boot/parser.boot (bpExportItemTail): New. |