Re: reserved-keyword in macro

[Vijay Marupudi <vijaymarupudi@gatech.edu>]

Hi Damien,

I tried to run the code you provided. I ran

-----------------------------------------------------------------

(define-syntax <-
  (syntax-rules ($bracket-apply$)
    ((_ ($bracket-apply$ container index) expr)
     (let ((value expr)) ;; to avoid compute it twice
       (cond ((vector? container) (vector-set! container index value))
             ((hash-table? container) (hash-table-set! container index value))
             (else (array-set! container index value)));)
       value))
    ((_ ($bracket-apply$ array index1 index2 ...) expr)
     (let ((value expr))
       (if (vector? array)
           (array-n-dim-set! array value index1 index2 ...)
           (array-set! array index1 index2 ... value));)
       (newline)
       value))
    ((_ (var ...) expr)
     (begin
       (display expr) (newline)
       (let ((expr-list (call-with-values (lambda () expr) list)))
         (assign-var (var ...) expr-list)
         expr-list)))
    ((_ var expr)
     (begin
       (set! var expr)
       var))
    ((_ var var1 var2 ...)
     (<- var (<- var1 var2 ...)))))

(define T (make-vector 5))
(<- ($bracket-apply$ T 2) 1)

-----------------------------------------------------------------

After I ran that, T was

#(#<unspecified> #<unspecified> 1 #<unspecified> #<unspecified>)

Is that was you are looking for?

> "A literal matches an input expression if the input expression is an
> identifier with the same name as the literal, and both are unbound13
> <https://www.gnu.org/software/guile/manual/html_node/Syntax-Rules.html#FOOT13>.
> " as $bracket-apply$ is already bind to a definition the pattern will
> not be matched:

It's possible, as in my case, I did not have it bound, and it seems to
have worked the way you expected?

~ Vijay