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/interp | |
| 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/interp')
| -rw-r--r-- | src/interp/category.boot | 1 |
1 files changed, 0 insertions, 1 deletions
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 |