<div dir="ltr">Thanks! Regarding the interaction-eval example, is there any way of wrapping this up in a macro so it doesn't have to be repeated for each use of examples in the file? I know that it's possible to get the module name via the 'enclosing-module-name syntax property, but I've got no idea how to rewrite the examples calls in the desc-expr that proc-doc/names passes to defproc*. (Presumably this needs to be done at run-time rather than documentation-time since the syntax inside the desc-expr can't access anything that isn't part of racket/base until it has called interaction-eval.)<div> </div><div>Thanks again,</div><div>Uri</div><div> <div class="gmail_quote">On 20 May 2012 14:42, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">At Fri, 18 May 2012 13:47:54 +0100, Uri Zarfaty wrote: > I've been trying to use scribble/srcdoc for in-source documentation, and > have a couple of hopefully straightforward questions. > > 1) Is it possible to use scribble/eval examples in proc-doc/names? Trying > this naively results in an undefined identifier error, presumably since the > function binding was not introduced to the source file that defines it > using a require. </div>When you use `scribble/eval', the default sandboxed evaluator has only `racket/base' bindings. Use `interaction-eval' to require other modules --- even if it's the enclosing module. Matthias's code does that in `define-module-local-eval'. See "ex.rkt" below for a more primitive example. <div class="im"> > 2) Is it possible to use include-previously-extracted without requiring an > additional file for provide-extracted (e.g. by having the provide-extracted > in either the source or documentation file)? </div>You can use a submodule for this, but only with the repair that I've just pushed to the `scribble' languages to recognize `module' and `module*' submodule forms and not treat them as a expressions (i.e., treat the them same as `require's or `define's). See "ex.scrbl" below for an example. ---------------------------------------- ex.rkt: ---------------------------------------- #lang at-exp racket/base (require scribble/srcdoc racket/contract (for-doc racket/base scribble/manual scribble/eval (for-label racket/base))) (define (negate x) (- x)) (provide (proc-doc/names negate (-> number? number?) (x) @{Negates @racket[x]. @(let ([e (make-base-eval)]) (interaction-eval #:eval e (require "ex.rkt")) @examples[ #:eval e (negate 7) ])})) ---------------------------------------- ex.scrbl: ---------------------------------------- #lang scribble/manual @(require scribble/extract) @(module extracted racket/base (require scribble/extract) (provide-extracted "ex.rkt")) @(include-previously-extracted (submod "." extracted) #rx"negate") </blockquote></div> </div></div>