Re: [racket] Module runs fine, but won't scribble

2012-01-12 Thread Erik Dominikus
It didn't work right away, but it eventually worked. #lang at-exp s-exp THING doesn't work, but #lang at-exp THANG does work, with one level of indirection by making THANG uses THING, or something like that; I don't know how to say it so I just attach the whole thing to this message. But that mea

Re: [racket] Module runs fine, but won't scribble

2012-01-12 Thread Matthew Flatt
At Thu, 12 Jan 2012 23:56:18 +0700, Erik Dominikus wrote: > I think the problem is "Scribble In-source Documentation fails if the > documented module shadows a symbol from its #lang". (Did I say it > correctly?) Unfortunately, while an improved `scribble/srcdoc' is on the drawing board, but I don'

Re: [racket] Module runs fine, but won't scribble

2012-01-12 Thread Erik Dominikus
I tried it just now (changed the #lang of the scrbl file), and nope, scribble still gave the same error message. The call trace blames include-exported. My module begins with #lang at-exp racket/base which is copied (along with many other stuffs) from the module file/gif as suggested by the 'In-s

Re: [racket] Module runs fine, but won't scribble

2012-01-11 Thread Matthias Felleisen
Have you tried #lang scribble/manual @(require (except-in (for-label racket/base) time)) Sorry for your lost sleep. -- Matthias On Jan 11, 2012, at 4:47 PM, Erik Dominikus wrote: > I need to define 'time', but it is already defined in scheme/base. My > module runs just fine. The problem

[racket] Module runs fine, but won't scribble

2012-01-11 Thread Erik Dominikus
I need to define 'time', but it is already defined in scheme/base. My module runs just fine. The problem is when I want to generate documentation, scribble refuses to cooperate (in label phase level), with 'module: identifier already imported for label' as the reason (details at the end of this tex