diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 16:19:06 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 16:19:06 -0800 |
commit | 987aec7a21f7a9a706320badeeaffbbb4b5cb786 (patch) | |
tree | 40e01624c44e191eaf1654d02bbb97e397e2c77f /src/interp/lisplib.boot | |
parent | 853eb071dce89161c796d81b24eddd9e073687af (diff) | |
download | open-axiom-987aec7a21f7a9a706320badeeaffbbb4b5cb786.tar.gz |
Add more dependencies in the algberas' Makefile.am.
Diffstat (limited to 'src/interp/lisplib.boot')
-rw-r--r-- | src/interp/lisplib.boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index 807f752f..2d02af64 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -733,6 +733,9 @@ isDomainForm(D,e) == op := opOf D not ident? op => false op is '%when => and/[isDomainForm(e,c) for [.,c] in D.args] + -- In this just an instance of the current constructor? + currentConstructor e = op => + dbConstructorKind constructorDB op in '(domain package) --db := constructorDB op => dbConstructorKind db in '(domain package) symbolMember?(op,$SpecialDomainNames) or isFunctor op or ((getmode(op,e) is ['Mapping,target,:.]) and isCategoryForm(target,e)) or |