www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

scribble-enhanced.rkt (671B)

      1 #lang racket
      2 (provide aful-scribble-render)
      3 
      4 (require phc-toolkit/stx)
      5 
      6 (define (aful-scribble-render self id code typeset-code uncode d->s stx-prop)
      7   (syntax-case self ()
      8     [(_ _ _ body)
      9      ; #λ(body) reads as:
     10      ; (lambda args
     11      ;   (define-syntax % (make-rename-transformer #'%1))
     12      ;   body)
     13      (with-syntax ([uncode (datum->syntax uncode (syntax-e uncode) self)])
     14        (syntax/top-loc self
     15          ((uncode(let ()
     16                    (local-require scribble-enhanced/with-manual)
     17                    (seclink "_lang_aful"
     18                             #:doc '(lib "aful/docs/aful.scrbl")
     19                             (tt "#λ"))))
     20           body)))]))