diff options
Diffstat (limited to 'src/interp/i-analy.boot')
-rw-r--r-- | src/interp/i-analy.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot index 6825df75..ea19ccda 100644 --- a/src/interp/i-analy.boot +++ b/src/interp/i-analy.boot @@ -251,7 +251,7 @@ bottomUp t == -- If this is a type producing form, then we don't want -- to store the representation object in the environment. -- Rather, we want to record the reified canonical form. - if ms is [m] and (m in $LangSupportTypes or isCategoryForm(m,$e)) + if ms is [m] and (member(m,$LangSupportTypes) or isCategoryForm(m,$e)) then putValue(t,objNew(devaluate objValUnwrap getValue t, m)) -- given no target or package calling, force integer constants to @@ -627,7 +627,7 @@ sayIntelligentMessageAboutOpAvailability(opName, nArgs) == conceptualType: %Thing -> %List conceptualType type == isPartialMode type => $Mode - type in $LangSupportTypes => $Type + member(type,$LangSupportTypes) => $Type categoryForm?(type) => $Category $Domain |