From 89674096006b286c3c20e0969c493e7f42b56365 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 6 Aug 2011 21:17:36 +0000 Subject: cleanup --- src/interp/buildom.boot | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/interp/buildom.boot') 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 -- cgit v1.2.3