Hi all,
I am trying to follow the incremental approach to compiler construction at
http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf
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))))))
#'(begin
(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?
Regards,
Kashyap
--
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.
