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 | |
parent | 5363e6dd85dc8397464467b7ac278d819ffd7ebe (diff) | |
download | open-axiom-98163171382f379e732d96a9a5ffc2ab492bb3b2.tar.gz |
r12439@gauss: gdr | 2008-12-10 10:50:26 -0600
Tidy resolveNiladicConstructors.
-rw-r--r-- | src/ChangeLog | 1 | ||||
-rw-r--r-- | src/interp/nrunfast.boot | 9 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index e7d8f158..f6c690ff 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,6 @@ 2008-12-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/nrunfast.boot (resolveNiladicConstructors): Tidy. * interp/compiler.boot (quotify): Remove. * interp/parse.boot (parseCases): Remove. (parseUpArrow): Likewise. 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 |