<div dir="ltr">Hmmm, I notice the ANS says this about the VALUES type specifier:<div><br></div><div><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium">  This </span><a rel="DEFINITION" href="http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_t.htm#type_specifier" style="font-family:'Times New Roman';font-size:medium"><i>type specifier</i></a><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"> can be used only as the </span><i style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium">value-type</i><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"> in a </span><a rel="DEFINITION" href="http://www.lispworks.com/documentation/HyperSpec/Body/t_fn.htm#function" style="font-family:'Times New Roman';font-size:medium"><b>function</b></a><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"> </span><a rel="DEFINITION" href="http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_t.htm#type_specifier" style="font-family:'Times New Roman';font-size:medium"><i>type specifier</i></a><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"> or a </span><a rel="DEFINITION" href="http://www.lispworks.com/documentation/HyperSpec/Body/s_the.htm#the" style="font-family:'Times New Roman';font-size:medium"><b>the</b></a><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"> </span><a rel="DEFINITION" href="http://www.lispworks.com/documentation/HyperSpec/Body/26_glo_s.htm#special_form" style="font-family:'Times New Roman';font-size:medium"><i>special form</i></a><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium">. </span><br>
</div><div><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"><br></span></div><div><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium">I consider this to be a flaw in the ANS.  The CHECK-TYPE macro takes a _place_ as its first subform, and _place_ is defined in the glossary in terms of _generalized reference_ which in 5.1.1 contains text mentioning values plural in a couple places, e.g.</span></div>
<div><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"><br></span></div><div><span style="color:rgb(0,0,0);font-family:ARIAL,GENEVA,HELVETICA;font-size:medium">  the ultimate result of evaluating </span><a href="http://www.franz.com/support/documentation/current/ansicl/dictentr/setfpset.htm" style="font-family:ARIAL,GENEVA,HELVETICA;font-size:medium"><b>setf</b></a><span style="color:rgb(0,0,0);font-family:ARIAL,GENEVA,HELVETICA;font-size:medium"> is the value or values being stored.</span><span style="color:rgb(0,0,0);font-family:'Times New Roman';font-size:medium"><br>
</span></div><div><span style="color:rgb(0,0,0);font-family:ARIAL,GENEVA,HELVETICA;font-size:medium"><br></span></div><div><font color="#000000" face="ARIAL, GENEVA, HELVETICA" size="3">I think during the proofreading of the many ANS drafts no one except me ever checked this issue for consistency, and I did it 21 years too late.</font></div>
<div><span style="color:rgb(0,0,0);font-family:ARIAL,GENEVA,HELVETICA;font-size:medium"><br></span></div><div><span style="color:rgb(0,0,0);font-family:ARIAL,GENEVA,HELVETICA;font-size:medium">If god had intended standards to be such precious things, he wouldn't have made so many of them.</span><br>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sun, Sep 22, 2013 at 5:45 PM, Steve Haflich <span dir="ltr"><<a href="mailto:shaflich@gmail.com" target="_blank">shaflich@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="im">On Sun, Sep 22, 2013 at 1:18 PM, Scott McKay <span dir="ltr"><<a href="mailto:swmckay@gmail.com" target="_blank">swmckay@gmail.com</a>></span> wrote:<br>
</div><div class="gmail_extra"><div class="gmail_quote"><div class="im">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">It's sad that this conses...</div></blockquote><div><br></div></div><div>A challenge exercise for students: </div>

<div><br></div><div>If an implementation can stack-cons a &rest list, no heap consing is necessary.</div><div><br></div><div>Hint: multiple-value-call</div><div><br></div></div></div></div>
</blockquote></div><br></div>