diff options
| -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 |