<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Sun, Mar 24, 2013 at 7:19 PM, Rudolf Schlatte <span dir="ltr"><<a href="mailto:rudi@constantly.at" target="_blank">rudi@constantly.at</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><div class="h5"><br><div><div>On Mar 24, 2013, at 13:55, Erik Huelsmann <<a href="mailto:ehuels@gmail.com" target="_blank">ehuels@gmail.com</a>> wrote:</div>
<br><blockquote type="cite"><div dir="ltr">Hi all,<div class="gmail_extra"><br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">What is the current status of this problem?<br>


(I think the ticket #230 might be relevant to this problem.)<br>
My current workaround is to make truly-the a macro.<br>
<br>
CL-USER> (defmacro truly-the (type value)<br>
           `(the ,type ,value))<br>
TRULY-THE<br>
CL-USER> (ql:quickload 'screamer)<br>
To load "screamer":<br>
  Load 1 ASDF system:<br>
    screamer<br>
; Loading "screamer"<br>
[package screamer]................................<br>
[package screamer-user].............<br>
(SCREAMER)<br>
CL-USER> (lisp-implementation-type)<br>
"Armed Bear Common Lisp"<br>
CL-USER> (lisp-implementation-version)<br>
"1.0.1-svn-13750-13751"<br>
CL-USER><br><br></blockquote><div><br></div><div>To cut a long story short: the problem hasn't progressed.</div><div><br></div><div>However, your analysis is entirely correct: defining a macro for the TRULY-THE form would indeed by the short term solution. My thoughts would be to remove the special form longer term. Even though we have special-purpose compilation support for it, I don't see benefits in keeping it around. It's supposed to allow increased performance for compiled programs. So, upon removal, we probably need to verify that the performance degradation is small enough.</div>

</div></div></div></blockquote><br></div></div></div><div>Supplying a macro for a non-standard special form is the right solution, regardless of whether we keep TRULY-THE; sbcl does the same, and they won't ever eliminate TRULY-THE, I think.</div>
<div></div></div></blockquote></div><br></div><div class="gmail_extra"><br></div><div class="gmail_extra" style>Added a macro expansion to macros.lisp for TRULY-THE in r14447. Now thinking where to do the same for THREADS:SYNCHRONIZED-ON and JVM:WITH-INLINE-CODE... (since macros.lisp only contains macros in the CL and SYS packages).</div>
<div class="gmail_extra" style><br></div><div class="gmail_extra" style>Bye,</div><div class="gmail_extra" style><br></div><div class="gmail_extra" style>Erik.</div></div>