aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-coerce.boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/i-coerce.boot')
-rw-r--r--src/interp/i-coerce.boot6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot
index c668f46a..dc951db6 100644
--- a/src/interp/i-coerce.boot
+++ b/src/interp/i-coerce.boot
@@ -971,7 +971,7 @@ thisUnionBranch?(pred,val) ==
coerceUnion2Branch(object) ==
[.,:doms] := objMode object
predList:= mkPredList doms
- doms := stripUnionTags doms
+ doms := stripTags doms
val' := objValUnwrap object
predicate := nil
targetType:= nil
@@ -987,7 +987,7 @@ coerceBranch2Union(object,union) ==
-- assumes type is a member of doms
doms := rest union
predList:= mkPredList doms
- doms := stripUnionTags doms
+ doms := stripTags doms
p := position(objMode object,doms)
p = -1 => keyedSystemError("S2IC0014",[objMode object,union])
val := objVal object
@@ -998,7 +998,7 @@ coerceBranch2Union(object,union) ==
coerceInt2Union(object,union) ==
-- coerces to a Union type, adding numeric tags
-- first cut
- unionDoms := stripUnionTags rest union
+ unionDoms := stripTags rest union
t1 := objMode object
member(t1,unionDoms) => coerceBranch2Union(object,union)
val := objVal object