<div dir="ltr">On Tue, May 28, 2013 at 8:11 PM, Matthew Flatt <span dir="ltr">&lt;<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">At Tue, 28 May 2013 19:36:14 -0500, Robby Findler wrote:<br>
&gt; I don&#39;t have a good sense of what level of granularity is the right one,<br>
&gt; but I naturally would have gone even finer grained with drracket: the<br>
&gt; macro-debugger, pkg/gui, and maybe even the gui-debugger I would have<br>
&gt; separated out. (Probably you were focused on lower-level things first,<br>
&gt; tho.)<br>
<br>
</div>Sounds good.<br>
<div class="im"><br>
&gt; Also for the macro-debugger: I think it is useful by itself, without<br>
&gt; drracket (I would like to use it for files that in drracket&#39;s<br>
&gt; implementation, for example). So I think there should be two packages<br>
&gt; there: macro-debugger-standalone with the &quot;give me a file and show the<br>
&gt; macro debugger&#39;s result on it&quot; interface and macro-debugger-plugin pkg that<br>
&gt; fits into drracket.<br>
<br>
</div>I think it&#39;s close to that in the current experiment, actually. The<br>
&quot;macro-debugger&quot; collection is spread across &quot;macro-debugger-text-lib&quot;<br>
(which is used by &quot;xrepl-lib&quot;), &quot;macro-debugger&quot; (probably close to a<br>
stand-alone application, if not there already), and &quot;drracket&quot; (which<br>
just has &quot;tool.rkt&quot;).<br><br></blockquote><div><br></div><div style>Oh! I see that now. Sorry.</div><div style><br></div><div style>Robby </div></div><br></div></div>