Wait. It seems that you're right. I'm running version 371. So I'll update now. :) Thanks. I'll update you in how things go. <div class="gmail_quote">On Jan 19, 2008 3:57 PM, Gregory Cooper < <a href="mailto:greg@cs.brown.edu">greg@cs.brown.edu</a>> wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">What version of DrScheme are you running?  There was a bug in the v371 debugger that would produce error messages like that, but it should have been fixed in v372 (and in svn as of r7169 I think). <div><div></div><div class="Wj3C7c"> On Jan 19, 2008 10:28 AM, Ran Gutin <<a href="mailto:manicmessiah@gmail.com"> manicmessiah@gmail.com</a>> wrote: > (define (doublequoted-symbol? sym) >   (and (pair? sym) (eqv? (car sym) 'quote))) > > (define-syntax match >   (syntax-rules () >     ((match vars [pfirst prest ...] body ...) > >      (cond > >         ((and (not (doublequoted-symbol? (quote pfirst))) >              (symbol? (quote pfirst))) >         (let ((pfirst (car vars))) >           (match (cdr vars) [prest ...] body ...))) > >        ((eqv? pfirst (car vars)) >         (match (cdr vars) [prest ...] body ...)) > >        (else #f))) > >     ((match vars [] body ...) (begin body ...)))) > > (match '(1 2 3) (one 2 three) >   (display three)) > > > > Sorry for not commenting on the code, but here's a basic idea of what it > SHOULD do: > (match '(1 2 3) (1 2 3) (display 3)) should match perfectly and display 3 on > the terminal (it doesn't). > (match '(1 2 3) (one two three) (display 3)) works perfectly, and prints 3. > (match '(1 2 3) ('one 'two 'three) (display 'one)) - This should fail to > match the pattern altogether, as symbols which are already quoted are > matched for equality, rather than used as identifiers as above. This dies > miserably without returning #f. > (match '(1 2 3) (one 2 three) (display three)) - This should immediately > create an alias for the values 1 and 3 ('one' and 'three) and match the > second values for equality. Unfortunately, this is not the case. > > >  (match '(1 2 3) (one 2 three) >    (display three)) > ... gives the following error: > "let: bad syntax (not an identifier) in: 2" > > It seems to be completely ignoring the conditional. > So I performed a test: > (and (not (doublequoted-symbol? (quote 2))) >              (symbol? (quote 2))) > ... actually returns FALSE. So then why is the conditional statement > branching off completely wrong? > > And then, here's the real kill. I can't debug the damn thing. >  Doing so sends an alert window flying in my face, and a larger one behind > it. > > "rest: expected argument of type <non-empty list>; given () > >  === context === > C:\Program Files\PLT\collects\mzlib\list.ss:295:2: rest > C:\Program Files\PLT\collects\mztake\debug-tool.ss:804:10: can-step-out? > > rest: expected argument of type <non-empty list>; given () > >  === context === > C:\Program Files\PLT\collects\mzlib\list.ss:295:2: rest > C:\Program Files\PLT\collects\mztake\debug-tool.ss:804:10: can-step-out? > > rest: expected argument of type <non-empty list>; given () > >  === context === > C:\Program Files\PLT\collects\mzlib\list.ss:295:2: rest > C:\Program Files\PLT\collects\mztake\debug-tool.ss:804:10: can-step-out? > > rest: expected argument of type <non-empty list>; given () > >  === context === > C:\Program Files\PLT\collects\mzlib\list.ss:295:2: rest > C:\Program Files\PLT\collects\mztake\debug-tool.ss:804:10: can-step-out? > > rest: expected argument of type <non-empty list>; given () > >  === context === > C:\Program Files\PLT\collects\mzlib\list.ss:295:2: rest > C:\Program Files\PLT\collects\mztake\debug-tool.ss:804:10: can-step-out? > > rest: expected argument of type <non-empty list>; given () > >  === context === > C:\Program Files\PLT\collects\mzlib\list.ss:295:2: rest > C:\Program Files\PLT\collects\mztake\debug-tool.ss:804:10: can-step-out? > > rest: expected argument of type <non-empty list>; given () > >  === context === > C:\Program Files\PLT\collects\mzlib\list.ss:295:2: rest > C:\Program Files\PLT\collects\mztake\debug-tool.ss:804:10: can-step-out?" > > ^ Can someone tell me what the hell is going on? > </div></div>> _________________________________________________ >   For list-related administrative tasks: >   <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme </a> > > </blockquote></div>