<div dir="ltr">Hi, we have some continuous build tests that compile everything in safety 1 and safety 0.<div>(Yeah, living on the edge, I know.)</div><div>The latter fails the self-test for <span style="font-variant-ligatures:no-common-ligatures;color:rgb(0,0,0);font-family:Menlo;font-size:11px">proper-list-length.2</span></div>





<div>If proper-list-length is called with an improper list of at least 1 cons, it signals an error. This is due to the explicit safety declaration in SAFE-ENDP.</div><div>But if called on an atom, then memory corruption happens because SLOW is initialized sans type checks by <span style="font-variant-ligatures:no-common-ligatures;color:rgb(0,0,0);font-family:Menlo;font-size:11px">(cons (car list) (cdr list)) </span></div><div><div>What would be the intent in that case? To say to the user: "You're holding it wrong"?<span style="font-variant-ligatures:no-common-ligatures;color:rgb(0,0,0);font-family:Menlo;font-size:11px"></span></div><div>Thanks,</div><div>Doug</div>





<div></div></div>





</div>