diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-01 02:13:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-01 02:13:22 +0000 |
commit | 590b110c303021694c0ed17008d1a3f526f04451 (patch) | |
tree | ad8e9f73c87ada979f6656e4cd2c6019ea015243 /src/ChangeLog | |
parent | 07fcfb463c0ea0ef40cc8886ee12c4dd20d9d759 (diff) | |
download | open-axiom-590b110c303021694c0ed17008d1a3f526f04451.tar.gz |
* boot/tokens.boot: Don't rename append.
* boot/parser.boot (bpTyping): Support universally quantified types.
* boot/ast.boot: Rewrite APPEND as append.
(%Forall): New AST node.
* boot/translator.boot: Translate it.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f0942507..e2b58e79 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,13 @@ 2011-04-30 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/tokens.boot: Don't rename append. + * boot/parser.boot (bpTyping): Support universally quantified types. + * boot/ast.boot: Rewrite APPEND as append. + (%Forall): New AST node. + * boot/translator.boot: Translate it. + +2011-04-30 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/ast.boot (bfAppend): Write in full. * interp/ptrees.boot (pfAppend): Likewise. |