aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog7
-rw-r--r--src/interp/category.boot1
2 files changed, 6 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 1ab79262..ebd52469 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,6 +1,11 @@
2011-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
- * interp/category.boot(categoryObject?): Rename from isCategory.
+ * interp/category.boot (mkCategory): Don't single out List
+ instantiations in determining NewLocals.
+
+2011-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/category.boot(categoryObject?): Rename from isCategory.
* interp/c-util.boot: Adjust use.
* interp/functor.boot: Likewise.
* interp/modemap.boot: Likewise.
diff --git a/src/interp/category.boot b/src/interp/category.boot
index cd4a070c..4d9fc3ae 100644
--- a/src/interp/category.boot
+++ b/src/interp/category.boot
@@ -122,7 +122,6 @@ mkCategory(domainOrPackage,sigList,attList,domList,PrincipalAncestor) ==
v is ["Union",:w] =>
"union"/[Prepare2 x for x in stripUnionTags w]
v is ["Mapping",:w] => "union"/[Prepare2 x for x in w]
- v is ["List",w] => Prepare2 w
v is ["Record",.,:w] => "union"/[Prepare2 third x for x in w]
[v]
OldLocals:= nil