diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-20 09:40:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-20 09:40:33 +0000 |
commit | b568f3b13b24a6bbda5b6d044550de1509439f52 (patch) | |
tree | 45819223f502103fc6947992b4bb52c6c3836940 /src/interp | |
parent | 31f97cf03a819e48ccd982bf8f53ee18756b80e7 (diff) | |
download | open-axiom-b568f3b13b24a6bbda5b6d044550de1509439f52.tar.gz |
* interp/lisplib.boot (isDomainForm): Handle conditionals.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/lisplib.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index e1a16471..c23056a0 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -717,7 +717,7 @@ getSlotFromCategoryForm (x,index) == isDomainForm(D,e) == op := opOf D not ident? op => false - --added for MPOLY 3/83 by RDJ + op is '%when => and/[isDomainForm(e,c) for [.,c] in D.args] 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) |