aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index b02f7608..6de75bde 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,11 @@
+2011-11-14 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/category.boot ($NewCatVec): Remove.
+ (SigListUnion): Take the principal ancestor
+ as third argument. Use it instead of $NewCatVec. Adjust caller.
+ (JoinInner): Do not bind $NewCatVec. Introduce local variable
+ principal. Tidy.
+
2011-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/category.boot (filterConditionalCategories): Split out of