aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/lisplib.boot1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot
index ac8c39e8..d591a840 100644
--- a/src/interp/lisplib.boot
+++ b/src/interp/lisplib.boot
@@ -705,6 +705,7 @@ isDomainForm(D,e) ==
op := opOf D
not ident? op => false
op is '%when => and/[isDomainForm(e,c) for [.,c] in D.args]
+ db := constructorDB db => dbAbbreviation db in '(domain package)
symbolMember?(op,$SpecialDomainNames) or isFunctor op or
((getmode(op,e) is ['Mapping,target,:.]) and isCategoryForm(target,e)) or
isCategoryForm(getmode(op,e),e) or isDomainConstructorForm(D,e)