> 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
[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
