puzzling things

puzzling things

[Andy Wingo]

Hey gang,

Why doesn't the following code work?

(define second-arg
  (procedure->syntax
   (lambda (x y) (cadr x))))

((lambda () (second-arg a b c d)))

I get some kind of error like this:

  18: 2* [cadr (#@second-arg a b c d)]
 
<unnamed port>:18:18: In procedure cadr in expression (cadr x):
<unnamed port>:18:18: Wrong type argument in position 1: (#@second-arg a b c d)

What's that all about? I poked around in the source but got lost in a
bunch of ilocs and glocs. What's an iloc anyway? Well. The first
question is the important one. Any insights?

regards,

wingo.


_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel

Re: puzzling things

[Paul Jarc]

Andy Wingo <wingo@pobox.com> wrote:
> (define second-arg
>   (procedure->syntax
>    (lambda (x y) (cadr x))))
>
> ((lambda () (second-arg a b c d)))
>
> I get some kind of error like this:
>
>   18: 2* [cadr (#@second-arg a b c d)]
>  
> <unnamed port>:18:18: In procedure cadr in expression (cadr x):
> <unnamed port>:18:18: Wrong type argument in position 1: (#@second-arg a b c d)

 - Scheme Procedure: procedure->syntax code
 - C Function: scm_makacro (code)
     Return a macro which, when a symbol defined to this value appears
     as the first symbol in an expression, returns the result of
     applying CODE to the expression and the environment.

So when your macro is called, the first argument is the whole macro
expression, and the second is the local environment.
guile> (define foo
...      (procedure->syntax
...       (lambda args
...         (format #t "~S\n" args)
...         #f)))
guile> (foo a b c)
((foo a b c) (#<eval-closure 40255ea0>))
#f
guile> (define foo (procedure->syntax (lambda (expr env) (caddr expr))))
guile> (foo a b c)
b
guile> (define foo (procedure->macro (lambda (expr env) (caddr expr))))
guile> (foo a b c)

Backtrace:
In current input:
  10: 0* (foo a b c)
   ?: 1  b

<unnamed port>: In expression b:
<unnamed port>: Unbound variable: b
ABORT: (unbound-variable)
guile> (define b 3)
guile> (foo a b c)
3
guile> (define-macro (foo . args) (cadr args))
guile> (foo a b c)
3


paul


_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://mail.gnu.org/mailman/listinfo/guile-devel