aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-02 14:56:25 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-02 14:56:25 +0000
commit86deb7d7804d04ee01aa0d8b3a27d8293c0a839f (patch)
tree79c1b177d28afd0fe11fdbd6a4d4ff29176a2cef /src/interp
parent91e98f5f1cf726fc190f62db409ebeeadedbcd7b (diff)
downloadopen-axiom-86deb7d7804d04ee01aa0d8b3a27d8293c0a839f.tar.gz
* interp/compiler.boot (isSubset): Expand domain representation form.
* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy. * algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove unnecessary "return".
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/c-util.boot3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot
index aeb37a22..e82cfc23 100644
--- a/src/interp/c-util.boot
+++ b/src/interp/c-util.boot
@@ -603,6 +603,9 @@ isSubset(x,y,e) ==
-- When using the old style definition, the current domain
-- is considered a subset of its representation domain
x = "$" and y = "Rep" => $useRepresentationHack
+ -- Expand domain representation form
+ x = "Rep" and not $useRepresentationHack =>
+ isSubset(getRepresentation e,y,e)
-- Or, if x has the Subsets property set by SubsetCategory.
pred := LASSOC(opOf x,get(opOf y,"Subsets",e)) => pred
-- Or, they are related by subdomain chain.