diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-06 21:17:36 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-06 21:17:36 +0000 |
commit | 89674096006b286c3c20e0969c493e7f42b56365 (patch) | |
tree | fe8fe5485d0fed3e41943833f387f1dccd57148a /src/interp/buildom.boot | |
parent | 2a44af7ae10c039f26cea6767df41d73a3d795a0 (diff) | |
download | open-axiom-89674096006b286c3c20e0969c493e7f42b56365.tar.gz |
cleanup
Diffstat (limited to 'src/interp/buildom.boot')
-rw-r--r-- | src/interp/buildom.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/buildom.boot b/src/interp/buildom.boot index 511ff5e9..514a6312 100644 --- a/src/interp/buildom.boot +++ b/src/interp/buildom.boot @@ -119,7 +119,7 @@ lazyCompareSigEqual(s,tslot,dollar,domain) == compareSigEqual(s,t,dollar,domain) == s = t => true - atom t => + t isnt [.,:.] => u := t is '$ => dollar isSharpVar t => @@ -132,7 +132,7 @@ compareSigEqual(s,t,dollar,domain) == u => compareSigEqual(s,u,dollar,domain) s = u s is '$ => compareSigEqual(dollar,t,dollar,domain) - atom s => nil + s isnt [.,:.] => nil #s ~= #t => nil match := true for u in s for v in t repeat @@ -223,7 +223,7 @@ goGet(:l) == val NRTreplaceLocalTypes(t,dom) == - atom t => + t isnt [.,:.] => not integer? t => t t := domainRef(dom,t) if cons? t then t := evalDomain t |