diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-11 22:56:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-11 22:56:04 +0000 |
commit | 98163171382f379e732d96a9a5ffc2ab492bb3b2 (patch) | |
tree | 9c388dcff39174569d2daa611da027f672a5a07f /src/interp | |
parent | 5363e6dd85dc8397464467b7ac278d819ffd7ebe (diff) | |
download | open-axiom-98163171382f379e732d96a9a5ffc2ab492bb3b2.tar.gz |
r12439@gauss: gdr | 2008-12-10 10:50:26 -0600
Tidy resolveNiladicConstructors.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/nrunfast.boot | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot index 028658a5..d3c03015 100644 --- a/src/interp/nrunfast.boot +++ b/src/interp/nrunfast.boot @@ -590,14 +590,13 @@ lazyDomainSet(lazyForm,thisDomain,slot) == setShellEntry(thisDomain,slot,slotDomain) -++ `type' is a type form constructed by the new parser. ++ Return a type form where all niladic constructors are ++ resolved to constructor calls. Note: it is assumed that no ++ such resolution has already occured. -resolveNiladicConstructors type == - atom type => - IDENTP type and niladicConstructorFromDB type => [type] - type +resolveNiladicConstructors form == + IDENTP form and niladicConstructorFromDB form => [form] + atom form => form + form is ["QUOTE",:.] => form for args in tails rest type repeat rplac(first args, resolveNiladicConstructors first args) type |