From 98163171382f379e732d96a9a5ffc2ab492bb3b2 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 11 Dec 2008 22:56:04 +0000 Subject: r12439@gauss: gdr | 2008-12-10 10:50:26 -0600 Tidy resolveNiladicConstructors. --- src/interp/nrunfast.boot | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'src/interp') 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 -- cgit v1.2.3