<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body>
<div style="font-family:sans-serif"><div style="white-space:normal"><p dir="auto">Thanks. In that case, I think it should be relatively easy to fix ITERATE to walk this form.</p>
<p dir="auto">Unfortunately, I don't know who is maintaining that package now -- the common-lisp.net page lists only a darcs repository, which is kind of like saying it's available on Betamax...</p>
<p dir="auto">On 16 Apr 2020, at 16:16, Ron Garret wrote:</p>
</div>
<blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><div id="42575D7D-2068-441B-9C4D-74AEE314F74F"><div 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></div></div></blockquote>
<div style="white-space:normal"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px">
</blockquote><br><br><p dir="auto">Robert P. Goldman<br>
Research Fellow<br>
Smart Information Flow Technologies (d/b/a SIFT, LLC)</p>
<p dir="auto">319 N. First Ave., Suite 400<br>
Minneapolis, MN 55401</p>
<p dir="auto">Voice: (612) 326-3934<br>
Email: rpgoldman@SIFT.net</p>
</div>
</div>
</body>
</html>