With modules you get error messages (more often) when things won't work. In this case, I'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"><<a href="mailto:nowgate@yahoo.com">nowgate@yahoo.com</a>></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><<a href="mailto:sk@cs.brown.edu" target="_blank">sk@cs.brown.edu</a>></i></b> wrote:<br> <blockquote style="border-left: 2px solid rgb(16, 16, 255); margin-left: 5px; padding-left: 5px;"><br>From: Shriram Krishnamurthi <<a href="mailto:sk@cs.brown.edu" target="_blank">sk@cs.brown.edu</a>><div class="im"> <br>Subject: Re: [plt-scheme] Not so hygienic macros?<br>To: "michael rice" <<a href="mailto:nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>><br></div>Cc: "Robby Findler" <<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>>, <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's the topmost entry. It looks like it's missing a heading.<br><br><div class="gmail_quote">On Tue, Dec 29, 2009 at 7:29 AM, michael rice <span dir="ltr"><<a rel="nofollow" href="http://mc/compose?to=nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>></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 "Module" language? Don'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><<a rel="nofollow" href="http://mc/compose?to=robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></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 <<a rel="nofollow" href="http://mc/compose?to=robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>><br> Subject: Re: [plt-scheme] Not so hygienic macros?<br>To: "michael rice" <<a rel="nofollow" href="http://mc/compose?to=nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>><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 <<a rel="nofollow" href="http://mc/compose?to=nowgate@yahoo.com" target="_blank">nowgate@yahoo.com</a>> wrote:<br> > OK, here's some code (at bottom) to work with. Use of MATCH seems to cause a lot of<br>> problems. Code is actually Scheme translation of some Logo code from an old TLC Logo<br>> book (for the Mattel Aquarius no less) authored by John R. Allen.<br><br>I think you're running into what Matthew calls "hopeless top-level<br>problems". 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'll find that the program behaves much more sanely. That is, get<br>rid of the eopl require, prefix the program with "#lang scheme", and<br> use the "Module" 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 '(likes desi lucy) db)<br> (compare '(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 '((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>