From b568f3b13b24a6bbda5b6d044550de1509439f52 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 20 Oct 2011 09:40:33 +0000 Subject: * interp/lisplib.boot (isDomainForm): Handle conditionals. --- src/ChangeLog | 4 ++++ src/interp/lisplib.boot | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/ChangeLog b/src/ChangeLog index 5569ea83..eed2f8e0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2011-10-20 Gabriel Dos Reis + + * interp/lisplib.boot (isDomainForm): Handle conditionals. + 2011-10-19 Gabriel Dos Reis * interp/postpar.boot (postDef): Do not include list of nil forms 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) -- cgit v1.2.3