Hi Stavros,
about the freeof function -- it doesn't seem to handle block yet.
> Also fixes 1079508 (correctly).
> ((and (eq (caar e) 'mblock) ($listp (cadr e)))
The first test wants to be (or (eq (caar e) 'mprog) (eq (caar e)
'mprogn)), right? mblock isn't the atom which marks block(...)
and (...) objects.
> (mapand (lambda (binding)
> (if (atom binding)
> (eq binding var)
> (and (eq (caar binding) 'msetq)
> (eq (cadr binding) var))))
> (cadr e)))
The last bit wants to be (cdadr e) I think -- as it stands
it yields an error "MLIST is not a LIST".
After making those 2 changes, I get
freeof (x, 'block([x], x)) => T, OK
but freeof (x, y, 'block([x,y], x*y)) => F, ?? That doesn't seem right.
Also freeof (x, 'block([y,x], y*x)) => F,
that doesn't seem right either.
For what it's worth,
Robert Dodier
__________________________________
Do you Yahoo!?
Read only the mail you want - Yahoo! Mail SpamGuard.
http://promotions.yahoo.com/new_mail