[Axiom-developer] defintrf.spad

[daly]

Greg,

Attached is a diff of defintrf. Waldek points out that this code
change was due to a spad compiler bug. 

Is there a mailing list discussion on this?
Do you have the bad code.lsp file?
This could cause problems elsewhere.
I'd really like to find out why the compiler failed
so we can fix the root cause of the problem.

Tim

--- ../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?) ==