[Axiom-developer] Re: defintrf.spad

[Waldek Hebisch]

> Waldek,
> 
> I see the following change to defintrf.spad.
> Can you tell me why? 
> The code seems to be logically equivalent.
> 
> 
> 
> --- ../silver/src/algebra/defintrf.spad.pamphlet      2007-04-27 
> 04:44:35.000000000 -0400
> +++ wh-sandbox/src/algebra/defintrf.spad.pamphlet     2007-04-27 
> 21:29:46.000000000 -0400
> @@ -182,7 +182,10 @@
>            ["min"/[t.left for t in l], i.halfinf.endpoint]
>          l := [u::REC for t in l | (u := refine(p, t, bounds)) case REC]
>          incl? => l
> -        select_!(keeprec?(i.halfinf.endpoint, #1), l)
> +        -- greg, FIXME dirty workaround
> +        -- select_!(keeprec?(i.halfinf.endpoint, #1), l)
> +        ep := i.halfinf.endpoint
> +        select_!(keeprec?(ep, #1), l)
>        error "findRealZero: should not happpen"
>  
>      checkBudan(p, a, b, incl?) ==
> 
> 

This is a workaround for bug in the Spad compiler -- first version
produced wrong Lisp code, the second works.  It showed up first in
sbcl port.  This fix is due to Greg Vanuxem (as noted in the comment). 

-- 
                              Waldek Hebisch
address@hidden