Re: [PATCH] New convenience macros

[Steve Youngs]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
NotDashEscaped: You need GnuPG to verify this message

* Stefan Monnier <address@hidden> writes:

  >> (if (and (featurep 'simple) (featurep 'xemacs)) a b)
  >> warns about free variables for both `a' and `b'.  So I think having the

  > That's a valid criticism, but I fail to see how your macros would fare any
  > better on the above kind of code.  I.e. what code would you write instead of
  > the above, using your macros?

  (or (do-in-xemacs (when (featurep 'simple) a)) b)

Or...

  (with-emacs-type 'xemacs (when (featurep 'simple) a))
  (with-emacs-type 'emacs b)

Both only warn about `b' and the resulting bytecode has no mention of
`a'. 

  > PS: Of course while Johan's comment that the compiler could do
  > better is true, the fact is that it currently doesn't and that
  > noone has volunteered to improve it in this respect.

The same thing is happening in SXEmacs, BTW, with a similar optimisation
to Emacs' #'byte-optimize-featurep.  My version looks like...

  (defun byte-optimize-featurep (form)
    (let ((str (prin1-to-string (cdr-safe form))))
      (if (string-match #r"\s-+s?xemacs\(\s-\|)\)" str)
          (byte-optimize-predicate form)
        form)))

I had to string-match it to cater for (S)XEmacs' advanced featurep
form

  (featurep '(and foo bar (not (or baz biz))))

At first I thought it was #'byte-optimize-predicate, but because you
guys don't use that and you do have the same problem, it can't be that.
I think the real problem lies in lisp's boolean function not being truly
boolean.

(or list_of_stuff) is traversed left-to-right and first non-nil wins.
#'and is the same, left-to-right, first nil wins (lose?), otherwise last
cons-car wins.

Sorry, I don't have a solution, but I'll certainly let you know if and
when I do. :-)

-- 
|---<Steve Youngs>---------------<GnuPG KeyID: A94B3003>---|
|       SXEmacs - The only _______ you'll ever need.       |
|         Fill in the blank, yes, it's THAT good!          |
|------------------------------------<address@hidden>---|
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.3 (GNU/Linux)
Comment: The SXEmacs Project <http://www.sxemacs.org>
Comment: Eicq - The SXEmacs ICQ Client <http://www.eicq.org/>

iEYEARECAAYFAkbN0MQACgkQHSfbS6lLMAPRPwCg2o8ZRzKBdye0uE6gC8cvrtlV
rc8AoInzF9abCMpo5TovqRdFW2UnMn97
=+Ds3
-----END PGP SIGNATURE-----