aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog7
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.