I'm trying to build a toy language. Below, "sample.rkt" uses #lang s-exp
"toy.rkt", where "toy.rkt" provides #%top and #%app. What's the right way to
get macro expansion to work in "sample.rkt"?
The following example, as-is, prints:
(ast 'def (list (ast 'fun (list (ast 'a '(b)) (ast 'foo '(a b))))))
However, commenting out the first (provide...) and uncommenting the second
(provide ...) causes a failure with
defun: use does not match pattern: (defun name args body0 body ...) in: (defun
add (a b) (foo a b))
What's the bare-minimum I should be providing from "toy.rkt"?
--- toy.rkt ---
#lang racket
;; This works.
(provide (except-out (all-from-out racket)
#%top #%app)
(rename-out [top #%top]
[app #%app]))
;; This fails.
;(provide #%module-begin
; #%top-interaction
; (rename-out [top #%top]
; [app #%app]))
(provide define-syntax-rule)
(struct ast (symbol args) #:transparent)
(define-syntax-rule (top . symbol)
'symbol)
(define-syntax-rule (app f arg ...)
(ast f (list arg ...)))
--- sample.rkt ----
#lang s-exp "toy.rkt"
(define-syntax-rule (defun name args body0 body ...)
(def (fun args body0 body ...)))
(defun add (a b) (foo a b))
--
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.
