diff options
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/interp/lisplib.boot | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f6ee0934..f9b65634 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2011-11-07 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/lisplib.boot (isDomainForm): Tidy. + +2011-11-07 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/lisplib.boot (getConstructorOpsAndAtts): Fold content in called. Remove. (getFunctorOpsAndAtts): Simplify. 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) |