With modules you get error messages (more often) when things won&#39;t work. In this case, I&#39;d say it is probably easier to use mzlib/trace instead, tho.<br><br>#lang scheme<br><br>(require mzlib/trace)<br><br><br>(define (f x)<br>
  (if (zero? x)<br>      x<br>      (+ (f (- x 1)) 1)))<br><br>(trace f)<br>(f 10)<br><br><div class="gmail_quote">On Tue, Dec 29, 2009 at 7:44 AM, michael rice <span dir="ltr">&lt;<a href="mailto:nowgate@yahoo.com">nowgate@yahoo.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><table cellpadding="0" cellspacing="0" border="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;" valign="top">
Yep, there it was, and somehow I missed it.<br><br>Also, I was using  (require eopl/eopl) for tracing. Is that now OK, or still verboten?<br><br>Michael<br><br>--- On <b>Tue, 12/29/09, Shriram Krishnamurthi <i>&lt;<a href="mailto:sk@cs.brown.edu" target="_blank">sk@cs.brown.edu</a>&gt;</i></b> wrote:<br>
<blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>From: Shriram Krishnamurthi &lt;<a href="mailto:sk@cs.brown.edu" target="_blank">sk@cs.brown.edu</a>&gt;<div class="im">
<br>Subject: Re: [plt-scheme] Not so hygienic macros?<br>To: &quot;michael rice&quot; &lt;<a href="mailto:nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>&gt;<br></div>Cc: &quot;Robby Findler&quot; &lt;<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;, <a href="mailto:plt-scheme@list.cs.brown.edu" target="_blank">plt-scheme@list.cs.brown.edu</a><br>
Date: Tuesday, December 29, 2009, 8:10 AM<div><div></div><div class="h5"><br><br><div>It&#39;s the topmost entry.  It looks like it&#39;s missing a heading.<br><br><div class="gmail_quote">On Tue, Dec 29, 2009 at 7:29 AM, michael rice <span dir="ltr">&lt;<a rel="nofollow" href="http://mc/compose?to=nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>&gt;</span> wrote:<br>


<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><table cellpadding="0" cellspacing="0" border="0"><tbody><tr><td style="font-family: inherit; font-style: inherit; font-variant: inherit; font-weight: inherit; font-size: inherit; line-height: inherit; font-size-adjust: inherit; font-stretch: inherit;" valign="top">


What is the &quot;Module&quot; language? Don&#39;t see it in any of the language selection menus.<br><br>Michael<div><br><br>--- On <b>Tue, 12/29/09, Robby Findler <i>&lt;<a rel="nofollow" href="http://mc/compose?to=robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;</i></b> wrote:<br>


</div><blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><div><br>From: Robby Findler &lt;<a rel="nofollow" href="http://mc/compose?to=robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>&gt;<br>


Subject: Re: [plt-scheme] Not so hygienic macros?<br>To: &quot;michael rice&quot; &lt;<a rel="nofollow" href="http://mc/compose?to=nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>&gt;<br>Cc: <a rel="nofollow" href="http://mc/compose?to=plt-scheme@list.cs.brown.edu" target="_blank">plt-scheme@list.cs.brown.edu</a><br>


</div>Date: Tuesday, December 29, 2009, 2:21 AM<div><div></div><div><br><br><div>On Mon, Dec 28, 2009 at 9:02 PM, michael rice &lt;<a rel="nofollow" href="http://mc/compose?to=nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>&gt; wrote:<br>


&gt; OK, here&#39;s some code (at bottom) to work with. Use of MATCH seems to cause a lot of<br>&gt; problems. Code is actually Scheme
 translation of some Logo code from an old TLC Logo<br>&gt; book (for the Mattel Aquarius no less) authored by John R. Allen.<br><br>I think you&#39;re running into what Matthew calls &quot;hopeless top-level<br>problems&quot;. Eli can probably say more about what is going on with the<br>


Swindle language that leads to these precise results.<br><br>In the meatime, I think that if you use the module language, I think<br>you&#39;ll find that the program behaves much more sanely. That is, get<br>rid of the eopl require, prefix the program with &quot;#lang scheme&quot;, and<br>


use the &quot;Module&quot; language to run the program in DrScheme. When I do<br>that, both versions of the program, the one you posted, and the one<br>below, behave identically on the example inputs you send, namely<br>

producing #f for both of these calls:<br>
<br>  (compare &#39;(likes desi lucy) db)<br>  (compare &#39;(likes romeo juliet) db)<br><br>hth,<br>Robby<br><br>#lang scheme<br><br>(define match<br>  (λ
 (pat1 pat2)<br>    (if (null? pat1)<br>        (null? pat2)<br>        (if (null? pat2)<br>            #f<br>            (if (match-first (car pat1) (car pat2))<br>                (match (cdr pat1) (cdr pat2))<br>                #f)))))<br>


<br>(define match-first<br>  (λ (pat1 pat2)<br>    (if (symbol? pat1)<br>        (if (symbol? pat2)<br>            (equal? pat1 pat2)<br>            #f)<br>        (cond ((symbol? pat2) #f)<br>              ((match-first pat1 (car pat2)) (match (cdr pat1) (cdr pat2)))<br>


              (else #f)))))<br><br>(define compare<br>  (λ (q
 db)<br>    (cond ((null? db) #f)<br>          (else (cond ((match q (car db)) #t)<br>                      (else (compare q (cdr db))))))))<br><br>(define db &#39;((likes minnie mickey) (likes jack jill) (likes daisy donald)))<br>


</div></div></div></blockquote></td></tr></tbody></table><br>

      <br>_________________________________________________<br>
  For list-related administrative tasks:<br>
  <a rel="nofollow" href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
<br></blockquote></div><br>
</div></div></div></blockquote></td></tr></tbody></table><br>

      </blockquote></div><br>