diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-07 13:17:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-07 13:17:12 +0000 |
| commit | db142590d8979dd5371092a8ad9be3bfac6a522a (patch) | |
| tree | ef852deb5ed88260a7636ca776f5b8c9b39078c6 /src/interp | |
| parent | fe9dc717e927b11fd11489da7dca45912e87bb3b (diff) | |
| download | open-axiom-db142590d8979dd5371092a8ad9be3bfac6a522a.tar.gz | |
* interp/lisplib.boot (isDomainForm): Tidy.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/lisplib.boot | 1 |
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) |