diff options
Diffstat (limited to 'src/interp/i-spec1.boot')
| -rw-r--r-- | src/interp/i-spec1.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-spec1.boot b/src/interp/i-spec1.boot index 2cbd7722..f8408fa9 100644 --- a/src/interp/i-spec1.boot +++ b/src/interp/i-spec1.boot @@ -1212,8 +1212,8 @@ isDomainValuedVariable form == get(form,'value,$InteractiveFrame) or _ (PAIRP($env) and get(form,'value,$env)) or _ (PAIRP($e) and get(form,'value,$e)))) and - objMode(val) in '((Domain) (Category) (Type)) => - -- ??? shall we accept all of $LangSupportTypes? + ((m := objMode(val)) in '((Domain) (Category)) + or conceptualType m = $Category) => objValUnwrap(val) nil |