From ba161fefd4ab91c4908e7c7da8f6d84373f8e7ce Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 19 Dec 2008 22:14:21 +0000
Subject: 	* interp/define.boot (insertViewMorphisms): New. 
 (checkRepresentation): Rename from maybeInsertViewMorphisms. Tidy. 
 (compDefineFunctor1): Tidy. 	(doIt): Insert view morphisms if appropriate.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 73a444be..2d3cd507 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2008-12-19  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* interp/define.boot (insertViewMorphisms): New.
+	(checkRepresentation): Rename from maybeInsertViewMorphisms. Tidy.
+	(compDefineFunctor1): Tidy.
+	(doIt): Insert view morphisms if appropriate.
+
 2008-12-14  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/compiler.boot (compFormWithModemap): Tidy.
-- 
cgit v1.2.3