Hi all,
I am trying to follow the incremental approach to compiler construction at

I am trying to define a macro that will do the following -

(define-primitive (add a b) ....

-> create a hashtable called add-property-table and put in information such
as number of arguments
-> create another macro called add that will expand any occurrence of (add
...) to (list add ...)

As I understand, I would need to define a macro inside the macro. Here's
what I tried -

(define-syntax (define-primitive stx)
  (syntax-case stx ()
    ((_ (primitive-name arg* ...) b b* ...)
     (let ((DS datum->syntax) (SS string->symbol) (SD syntax->datum))
       (with-syntax ((table-name (DS stx (SS (format "~a-property-table"
(SD #'primitive-name))))))
             (define table-name (make-hash))
             (hash-set! table-name 'is-prime #t)
             (hash-set! table-name 'arg-count (length '(arg* ...)))
             (hash-set! table-name 'emitter (lambda (arg* ...) b b* ...))

             (define-syntax primitive-name
               (syntax-rules ()
                 ((primitive-name a) (list 'primitive-name a))
                 ((primitive-name a b) (list 'primitive-name a b)))) ; I
cant seem to use ... here

To test this, I defined
(define-primitive (add a b c d) (print (+ a b c d)))

(add 1) works fine an returns '(add 1) . However, (add 1 2) does not work
-> bad syntax.

Could someone please tell me how I could get this to work?


You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to