From 2a99c68c951cc35192d8f0fe733f0c7ff0b7d31c Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 8 Oct 2008 20:35:48 +0000
Subject: 	* boot/ast.boot (bfReduce): Check neutral value for original 
 operator too. 	(bfReduceCollect): Likewise.

---
 src/boot/ast.boot | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/boot/ast.boot')

diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index 9bdd3e08..1e8a1452 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -348,7 +348,7 @@ bfSep(iters)==
 bfReduce(op,y)==
      a:=if EQCAR(op,"QUOTE") then second op else op
      op:=bfReName a
-     init:=GET(op,"SHOETHETA")
+     init := GET(a,"SHOETHETA") or GET(op,"SHOETHETA")
      g:=bfGenSymbol()
      g1:=bfGenSymbol()
      body:=['SETQ,g,[op,g,g1]]
@@ -371,7 +371,7 @@ bfReduceCollect(op,y)==
      itl:=y.2
      a:=if EQCAR(op,"QUOTE") then second op else op
      op:=bfReName a
-     init:=GET(op,"SHOETHETA")
+     init := GET(a, "SHOETHETA") or GET(op,"SHOETHETA")
      bfOpReduce(op,init,body,itl)
    else
      a:=bfTupleConstruct (y.1)
@@ -436,7 +436,7 @@ bfOpReduce(op,init,y,itl)==
      then
         g1:=bfGenSymbol()
         init:=['CAR,g1]
-        y:=['CDR,g1]
+        y:=['CDR,g1]          -- ??? bogus self-assignment/initialization
         extrait:= [[[g],[init],[],[],[],[g]]]
         bfMKPROGN [['L%T,g1,y],bfLp2(extrait,itl,body)]
      else
-- 
cgit v1.2.3