diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-14 07:06:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-14 07:06:23 +0000 |
commit | d28551c8c802d510016a4762bb0139f93d0b2b69 (patch) | |
tree | b10a6ff73397b0e4b6af82f067ff49b8e1da5847 /src/interp/wi1.boot | |
parent | 9fb26d710b0b22cc6a7fd27de9cab4552b8e85a3 (diff) | |
download | open-axiom-d28551c8c802d510016a4762bb0139f93d0b2b69.tar.gz |
* interp/compiler.boot (getUnionMode): Remove.
(isUnionMode): Move to c-util.boot.
(coerceExtraHard): Rework.
(belongsTo?): Remove.
* interp/c-util.boot (isUnionMode): Moved from compiler.boot.
(unionLike?): New.
(unionProperty): Likewise.
(getInverseEnvironment): Use unionProperty instead of getUnionMode.
Diffstat (limited to 'src/interp/wi1.boot')
-rw-r--r-- | src/interp/wi1.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/wi1.boot b/src/interp/wi1.boot index 508213c5..943515eb 100644 --- a/src/interp/wi1.boot +++ b/src/interp/wi1.boot @@ -882,7 +882,7 @@ coerceHard(T,m) == coerceExtraHard(T is [x,m',e],m) == T':= autoCoerceByModemap(T,m) => T' - isUnionMode(m',e) is ["Union",:l] and (t:= hasType(x,e)) and + unionLike?(m',e) is ['UnionCategory,:l] and (t:= hasType(x,e)) and member(t,l) and (T':= autoCoerceByModemap(T,t)) and (T'':= coerce(T',m)) => T'' m' is ['Record,:.] and m = $Expression => |