diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-05-24 03:23:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-05-24 03:23:59 +0000 |
| commit | fbcb9ebe438100f7a549329ae14668cd27fde508 (patch) | |
| tree | ea4ac9322ecca78bc976418a33677cf8ec88b6d0 /src/ChangeLog | |
| parent | 698aa5abf97234248cf7f59216759d9cc0d2290b (diff) | |
| download | open-axiom-fbcb9ebe438100f7a549329ae14668cd27fde508.tar.gz | |
* boot/tokens.boot: "@" is now a new keyword.
* boot/ast.boot (bfRestrict): New.
(bpTyped): Rename from bpTagged. Accept type restriction.
* boot/utility.boot (drop): Restrict the result to a %List.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 3ede6c74..9adb8f94 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,12 @@ 2012-05-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/tokens.boot: "@" is now a new keyword. + * boot/ast.boot (bfRestrict): New. + (bpTyped): Rename from bpTagged. Accept type restriction. + * boot/utility.boot (drop): Restrict the result to a %List. + +2012-05-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/database.boot (%Constructor): New. (makeConstructor): Likewise. (makeInitialDB): Tidy. |