diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-04 13:56:52 +0000 |
commit | 9a593e3b395c1ba0c6036760c12713d7485f8c54 (patch) | |
tree | dd8eadbf07dde50ca15d6aa4181c902ad7b09d3c /src/interp/nrunfast.boot | |
parent | e77d30ccf1b663aaa6ec1e017fa8e31f3296afeb (diff) | |
download | open-axiom-9a593e3b395c1ba0c6036760c12713d7485f8c54.tar.gz |
cleanup
Diffstat (limited to 'src/interp/nrunfast.boot')
-rw-r--r-- | src/interp/nrunfast.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot index 52cda675..4b1d036f 100644 --- a/src/interp/nrunfast.boot +++ b/src/interp/nrunfast.boot @@ -97,7 +97,7 @@ evalSlotDomain(u,dollar) == --lazy domains need to marked; this is dangerous? y is [v,:.] => vector? v => lazyDomainSet(y,dollar,u) --old style has [$,code,:lazyt] - IDENTP v and constructor? v + ident? v and constructor? v or v in '(Record Union Mapping Enumeration) => lazyDomainSet(y,dollar,u) --new style has lazyt y @@ -287,7 +287,7 @@ newLookupInCategories(op,sig,dom,dollar) == if $monitorNewWorld then sayLooking1('"already instantiated cat package",entry) entry - IDENTP entry => + ident? entry => cat := vectorRef(catVec,i) packageForm := nil if not property(entry,'LOADED) then loadLib entry @@ -366,7 +366,7 @@ newLookupInCategories1(op,sig,dom,dollar) == if $monitorNewWorld then sayLooking1('"already instantiated cat package",entry) entry - IDENTP entry => + ident? entry => cat := first node packageForm := nil if not property(entry,'LOADED) then loadLib entry @@ -449,7 +449,7 @@ lazyMatchArg2(s,a,dollar,domain,typeFlag) == string? a => string? s => a = s s is ['QUOTE,y] and PNAME y = a - IDENTP s and symbolName s = a + ident? s and symbolName s = a atom a => a = s op := opOf a op is 'NRTEVAL => s = nrtEval(second a,domain) @@ -609,7 +609,7 @@ lazyDomainSet(lazyForm,thisDomain,slot) == ++ resolved to constructor calls. Note: it is assumed that no ++ such resolution has already occured. resolveNiladicConstructors form == - IDENTP form and niladicConstructorFromDB form => [form] + ident? form and niladicConstructorFromDB form => [form] atom form => form form is ["QUOTE",:.] => form for args in tails rest form repeat |