<html><head><meta http-equiv="Content-Type" content="text/html charset=windows-1252"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">I’m running v1.12-dev.5-23-gb25693fa on Catalina and AFAICT the code for ASSERT has not changed, and still invokes COMPILER-LET.<div><br></div><div>COMPILER-LET is an undocumented CCL extension, but AFAICT from looking at the source it is safe to simply treat it as if it expanded as follows:</div><div><br></div><div>(defmacro compiler-let (bindings &body body)</div><div> (declare (ignore bindings))</div><div> `(progn ,@body))</div><div><br></div><div>rg</div><div><br><div><div>On Apr 16, 2020, at 12:53 PM, Robert Goldman <<a href="mailto:rpgoldman@sift.info">rpgoldman@sift.info</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
<div>
<div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">In the SHOP3 planner, I use the ITERATE package for looping. When I compile SHOP3 on my Linux test machine with 1.11, I get compiler warnings, because ITERATE can't successfully code walk CCL's code.</p><p dir="auto">When I look at the warning messages, it looks to me as if <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">ASSERT</code> calls are being translated into a complex s-expression wrapped in <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">ccl:compiler-let</code>, which ITERATE doesn't know how to walk.</p><p dir="auto">However, on my laptop, which runs macOS Catalina, and CCL 1.12, I do <strong>not</strong> get these compiler warnings.</p><p dir="auto">So I was wondering: going forward can I rely on this being OK? Has the compiler-let rewrite been removed from CCL? Or is this something that is related to the OS, so that it will continue to appear on Linux?</p><p dir="auto">I would like to know because if this is something that will continue to appear, I can try to add support for <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">ccl:compiler-let</code> to ITERATE. But this might be quite difficult, and I would prefer not to, unless it's absolutely necessary.</p><p dir="auto">Thanks,<br>
R</p>
</div>
</div>
</div>
_______________________________________________<br>Openmcl-devel mailing list<br><a href="mailto:Openmcl-devel@clozure.com">Openmcl-devel@clozure.com</a><br>https://lists.clozure.com/mailman/listinfo/openmcl-devel<br></blockquote></div><br></div></body></html>