[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Sharp--quote [was: url-retrieve fails on most HTTPS sites]
From: |
Stefan Monnier |
Subject: |
Re: Sharp--quote [was: url-retrieve fails on most HTTPS sites] |
Date: |
Tue, 29 Sep 2020 10:56:56 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
>> > Plus lots of other optimizations the compiler can do if it knows
>> > that it's the function value you are talking about.
>> Yeah, you have an example of this?
> I think Stefan is in a far better position to answer that.
AFAIK there is no optimization that applies specifically to #'foo :-(
There's really not much opportunity for optimization there, since all it
says is "use the function found in the `symbol-function` slot *at the time
we actually call it*". But whatever we know about the content of
`symbol-value` during compilation may not hold anymore by the time the
code is executed.
So the differences w.r.t 'foo are limited to:
- Tell the *human reader* that the intention here is to refer to
a function of that name.
- Get a warning from the compiler if the function doesn't seem to exist.
- Plus the special case of `cl-flet` and `cl-labels` where the #' is
needed to refer to the locally-defined function.
Stefan
- Re: url-retrieve fails on most HTTPS sites, (continued)
- Re: url-retrieve fails on most HTTPS sites, Emanuel Berg, 2020/09/28
- Re: url-retrieve fails on most HTTPS sites, 2QdxY4RzWzUUiLuE, 2020/09/28
- Re: url-retrieve fails on most HTTPS sites, Emanuel Berg, 2020/09/28
- Re: url-retrieve fails on most HTTPS sites, Stefan Monnier, 2020/09/28
- Re: url-retrieve fails on most HTTPS sites, Emanuel Berg, 2020/09/28
- Re: url-retrieve fails on most HTTPS sites, tomas, 2020/09/29
- Re: url-retrieve fails on most HTTPS sites, Emanuel Berg, 2020/09/29
- Re: url-retrieve fails on most HTTPS sites, tomas, 2020/09/29
- Re: url-retrieve fails on most HTTPS sites, Emanuel Berg, 2020/09/29
- Sharp--quote [was: url-retrieve fails on most HTTPS sites], tomas, 2020/09/29
- Re: Sharp--quote [was: url-retrieve fails on most HTTPS sites],
Stefan Monnier <=
- Re: Sharp--quote [was: url-retrieve fails on most HTTPS sites], tomas, 2020/09/29
- Re: Sharp--quote [was: url-retrieve fails on most HTTPS sites], Emanuel Berg, 2020/09/29
- Re: Sharp--quote [was: url-retrieve fails on most HTTPS sites], Emanuel Berg, 2020/09/29
- Re: Sharp--quote [was: url-retrieve fails on most HTTPS sites], Emanuel Berg, 2020/09/29
- Re: url-retrieve fails on most HTTPS sites, 황병희, 2020/09/28
- Re: url-retrieve fails on most HTTPS sites, 2QdxY4RzWzUUiLuE, 2020/09/28
- Re: url-retrieve fails on most HTTPS sites, Colin Baxter, 2020/09/29
- Re: url-retrieve fails on most HTTPS sites, 2QdxY4RzWzUUiLuE, 2020/09/29
- Re: url-retrieve fails on most HTTPS sites, Colin Baxter, 2020/09/29
- HTTPS fails (was: url-retrieve fails on most HTTPS sites), Nicolas Graner, 2020/09/29