Unquoting in Nested Macros in Racket

Question

Context

The language is #lang web-server/insta and this code will be generated inside a quasiquoted argument passed to response/xexpr

The Call

-> (define home 'home-page)
-> (make-navigation home "home-page")

Current Output

Note the ` backquote before ((href , (embed/url ...

'(p ((id "home-page")) (a `((href ,(embed/url home-page))) "home-page"))

Desired Output

Note that the ` is gone.

'(p ((id "home-page")) (a ((href ,(embed/url home-page))) "home-page"))

Current Code

(define (make-navigation uri label)

  (define (make-id uri)
    `((id ,(symbol->string uri))))

  (define-syntax-rule (embed uri)
    ``((href ,(embed/url ,uri))))

  `(p ,(make-id uri)
      (a ,(embed uri)
     ,label)))

Problem Locus

The issue is probably with embed .

Answer 1

#lang racket
(define (make-navigation uri label)

  (define (make-id uri)
    `((id ,(symbol->string uri))))

  (define-syntax-rule (embed uri)
    '((href ,(embed/url uri))))

  `(p ,(make-id uri)
      (a ,(embed uri)
     ,label)))

(define home 'home-page)
(make-navigation home "home-page")

Output:

'(p ((id "home-page")) (a ((href ,(embed/url uri))) "home-page"))

UPDATE

(define (make-navigation uri label)

  (define (make-id uri)
    `((id ,(symbol->string uri))))

  (define-syntax-rule (embed uri)
    `((href ,(list 'unquote (list 'embed/url uri)))))

  `(p ,(make-id uri)
      (a ,(embed uri)
     ,label)))

(define home 'home-page)
(make-navigation home "home-page")

Output:

'(p ((id "home-page")) (a ((href ,(embed/url home-page))) "home-page"))