diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-09 02:03:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-09 02:03:45 +0000 |
| commit | f6c0812a8b16458f096bea7a8dc4326906d2efa0 (patch) | |
| tree | 196dd2701193c08cc5da24c49c08ab6831660198 /src | |
| parent | 09f2e3d8df2cea0ac51017045b15adadd4dcdf53 (diff) | |
| download | open-axiom-f6c0812a8b16458f096bea7a8dc4326906d2efa0.tar.gz | |
* interp/category.boot (mkCategory): Don't single out List
instantiations in determining NewLocals.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 7 | ||||
| -rw-r--r-- | src/interp/category.boot | 1 |
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 |