diff --git a/aful/reader.rkt b/aful/reader.rkt index 202f9f2..f966b9e 100644 --- a/aful/reader.rkt +++ b/aful/reader.rkt @@ -165,7 +165,7 @@ (lambda args (define-syntax % (make-rename-transformer #'%1)) body)) - 'scribble-render + 'scribble-render-as aful-scribble-render) )) stx))) diff --git a/aful/scribble-enhanced.rkt b/aful/scribble-enhanced.rkt index 34b221f..0ba8ab5 100644 --- a/aful/scribble-enhanced.rkt +++ b/aful/scribble-enhanced.rkt @@ -1,11 +1,19 @@ #lang racket (provide aful-scribble-render) -(define (aful-scribble-render self) +(require scribble/manual + phc-toolkit/stx) + +(define (aful-scribble-render self id code typeset-code uncode d->s stx-prop) (syntax-case self () [(_ _ _ body) - #`(let () - (local-require scribble-enhanced/with-manual) - (elem (list (seclink "_lang_aful" #:doc '(lib "aful/docs/aful.scrbl") - (tt "#λ")) - (racket body))))])) \ No newline at end of file + ; #λ(body) reads as: + ; (lambda args + ; (define-syntax % (make-rename-transformer #'%1)) + ; body) + (with-syntax ([uncode (datum->syntax uncode (syntax-e uncode) self)]) + (syntax/top-loc self + ((uncode(seclink "_lang_aful" + #:doc '(lib "aful/docs/aful.scrbl") + (tt "#λ"))) + body)))])) \ No newline at end of file