Eli Barzilay <e...@barzilay.org> writes: > 25 minutes ago, Michael Sperber wrote: >> For the record, I fully agree with Guillaume. I was puzzling over >> the exact same issue when I was doing the docs for the DMdA teaching >> languages, came out with the exact same reasoning as Guillaume, and >> ran against the exact same problem (as Eli may remember). > > (I don't...) > > >> Generally, redundancy is often a useful and appropriate tool in >> documentation. So it would be great if Scribble would provide more >> direct support for it. > > It's just code, so you do have direct support.
Yeah, well, except you run into trouble almost immediately because that code contains references, and Scribble is sensitive to all kinds of side conditions involving references. At the time, you proposed a complicated macro to work around the ensuing problems. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev