aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-02-15 20:27:29 +0000
committerdos-reis <gdr@axiomatics.org>2011-02-15 20:27:29 +0000
commit3691e956e1428f08363a0ed37e3f4f0f79b89ec0 (patch)
tree44d5775dae1631c6a78f96f6c45bc8a984f16442 /src/interp
parentd28551c8c802d510016a4762bb0139f93d0b2b69 (diff)
downloadopen-axiom-3691e956e1428f08363a0ed37e3f4f0f79b89ec0.tar.gz
* interp/compiler.boot (coerceExtraHard): Explicitly fail if
autoCoerceByModemap fails.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/compiler.boot4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 73f7410d..34f55b20 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -1704,7 +1704,9 @@ coerceExtraHard(T is [x,m',e],m) ==
-- For values from domains satisfying Union-like properties, apply
-- implicit retraction if clear from context.
(t := hasType(x,e)) and unionLike?(m',e) is ['UnionCategory,:l]
- and member(t,l) => coerce(autoCoerceByModemap(T,t),m)
+ and member(t,l) =>
+ T' := autoCoerceByModemap(T,t) => coerce(T',m)
+ nil
-- Give it one last chance.
-- FIXME: really, we shouldn't. Codes relying on this are
-- FIXME: inherently difficult to comprehend and likely broken.