diff options
Diffstat (limited to 'src/interp/i-resolv.boot')
| -rw-r--r-- | src/interp/i-resolv.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-resolv.boot b/src/interp/i-resolv.boot index 4a0f08eb..bada82b8 100644 --- a/src/interp/i-resolv.boot +++ b/src/interp/i-resolv.boot @@ -412,7 +412,7 @@ getConditionsForCategoryOnType(t,cat) == getConditionalCategoryOfType(t,conditions,match) == if cons? t then t := first t t in '(Union Mapping Record) => nil - conCat := getConstructorCategoryFromDB t + conCat := getConstructorCategory t removeDuplicates rest getConditionalCategoryOfType1(conCat,conditions,match,[nil]) getConditionalCategoryOfType1(cat,conditions,match,seen) == @@ -429,7 +429,7 @@ getConditionalCategoryOfType1(cat,conditions,match,seen) == cat is [catName,:.] and (getConstructorKindFromDB catName = "category") => member(cat, rest seen) => conditions seen.rest := [cat,:rest seen] - subCat := getConstructorCategoryFromDB catName + subCat := getConstructorCategory catName -- substitute vars of cat into category for v in rest cat for vv in $TriangleVariableList repeat subCat := substitute(v,vv,subCat) |