From 89a2d8163cb83cfcfe8cfb64bddb2addbf1840be Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 5 Jul 2010 07:48:13 +0000
Subject: 	* interp/compiler.boot (compTopLevel): Bind $whereDecls. 
 (recordDeclarationInSideCondition): New.  Update it. 	(compWhere): Call it. 
 * interp/define.boot ($whereDecls): Define at toplevel. 
 (typeDependencyPath): New. 	(inferConstructorImplicitParameters):
 Likewise. 	(compDefineFunctor1): Use it.

---
 src/ChangeLog | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 3017281c..9fc67991 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,13 @@
+2010-07-05  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/compiler.boot (compTopLevel): Bind $whereDecls.
+	(recordDeclarationInSideCondition): New.  Update it.
+	(compWhere): Call it.
+	* interp/define.boot ($whereDecls): Define at toplevel.
+	(typeDependencyPath): New.
+	(inferConstructorImplicitParameters): Likewise.
+	(compDefineFunctor1): Use it.
+
 2010-07-03  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/category.boot (isCategoryForm): Tidy.
-- 
cgit v1.2.3