diff options
author | dos-reis <gdr@axiomatics.org> | 2009-02-09 01:05:41 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-02-09 01:05:41 +0000 |
commit | 6a7db2f84b6f8b2a1729092cc5259c576aff0ded (patch) | |
tree | cd2b347457399bc9b572122d207443247e2f0d3a /src/interp/i-coerce.boot | |
parent | e2cd076bbdddb3514a36d9de49a96db77951287d (diff) | |
download | open-axiom-6a7db2f84b6f8b2a1729092cc5259c576aff0ded.tar.gz |
* interp/i-spec2.boot (constantInDomain?): Move from i-coerce.boot.
(findConstructor$Constructor): Take constant type as argument.
(upDollar): Tidy.
Diffstat (limited to 'src/interp/i-coerce.boot')
-rw-r--r-- | src/interp/i-coerce.boot | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot index 75b88d46..a46711e0 100644 --- a/src/interp/i-coerce.boot +++ b/src/interp/i-coerce.boot @@ -326,15 +326,6 @@ retractByFunction(object,u) == -- from a given domain. For example, getConstantFromDomain('(One),S) -- returns the representation of 1 in the domain S. -constantInDomain?(form,domainForm) == - opAlist := getOperationAlistFromLisplib first domainForm - key := opOf form - entryList := LASSOC(key,opAlist) - entryList is [[., ., ., type]] and type in '(CONST ASCONST) => true - key = "One" => constantInDomain?(["1"], domainForm) - key = "Zero" => constantInDomain?(["0"], domainForm) - false - getConstantFromDomain(form,domainForm) == isPartialMode domainForm => NIL opAlist := getOperationAlistFromLisplib first domainForm |