Re: [racket] feeding input to Scribble and source location info

2011-08-29 Thread Neil Van Dyke
Matthew Flatt wrote at 08/29/2011 08:56 AM: #lang scribble/manual @(require (planet neil/toscribble/doc)) @(extract-docs "sourecfile.rkt") Excellent. I think I will do this next. Thanks. -- http://www.neilvandyke.org/ _ For list-related

Re: [racket] feeding input to Scribble and source location info

2011-08-29 Thread Matthew Flatt
At Sun, 28 Aug 2011 15:58:02 -0400, Neil Van Dyke wrote: > Matthew Flatt wrote at 08/28/2011 08:40 AM: > > At Sun, 28 Aug 2011 02:46:18 -0400, Neil Van Dyke wrote: > > > >> Oh, another option to get rid of the two modes: write out a file that > >> specifies a custom reader (coming from a PLaneT

Re: [racket] feeding input to Scribble and source location info

2011-08-28 Thread Neil Van Dyke
Matthew Flatt wrote at 08/28/2011 08:40 AM: At Sun, 28 Aug 2011 02:46:18 -0400, Neil Van Dyke wrote: Oh, another option to get rid of the two modes: write out a file that specifies a custom reader (coming from a PLaneT package), and that reader can read syntax objects and return those rather

Re: [racket] feeding input to Scribble and source location info

2011-08-28 Thread Matthew Flatt
At Sun, 28 Aug 2011 02:46:18 -0400, Neil Van Dyke wrote: > Oh, another option to get rid of the two modes: write out a file that > specifies a custom reader (coming from a PLaneT package), and that > reader can read syntax objects and return those rather than making > syntax objects from reading

[racket] feeding input to Scribble and source location info

2011-08-27 Thread Neil Van Dyke
Question about different ways of feeding input to Scribble, and whether Scribble insists on reading input from files itself for some purposes I want to write some code that takes a source document that's not in Scribble language, and produces a document that can be used with the Scribble t