aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 04edac55..7e4ed5e1 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,11 @@
2011-11-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/c-util.boot (dbSubstituteAllQuantified): New.
+ * interp/define.boot (NRTmakeCategoryAlist): Use it.
+ (compDefineFunctor1): Likewise.
+
+2011-11-02 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
Add compiler support for implicit parameters.
* interp/compiler.boot (bindPredicateExistentials): Rename from
constructorCondition. Now return a substitution on success,