Re: [racket-users] How to insert @ character into scribble-generated output?

2016-10-13 Thread Vincent St-Amour
FWIW, that's confused me too in the past, so I've added this as an extra example in the docs. Vincent On Thu, 13 Oct 2016 08:42:13 -0500, Robby Findler wrote: > > You can do @"@" (i.e. escape to Racket with the first @ and then make > a string that has an @ in it as the result of the escape). >

Re: [racket-users] How to insert @ character into scribble-generated output?

2016-10-13 Thread Matthew Flatt
I recommend using |{ ... }|: @verbatim|{ @Test public void checkHBLen() { assertEquals(HapBD.lenInSeconds, 25); } }| More details: http://docs.racket-lang.org/scribble/reader.html#%28part._alt-body-syntax%29 At Thu, 13 Oct 2016 08:42:13 -0500, Robby Findler wrote: > You

Re: [racket-users] How to insert @ character into scribble-generated output?

2016-10-13 Thread Robby Findler
You can do @"@" (i.e. escape to Racket with the first @ and then make a string that has an @ in it as the result of the escape). Or you can change the @ character to another one, perhaps using pollen (it uses a diamond lozenge thingy). Robby On Thu, Oct 13, 2016 at 8:20 AM, Kathi Fisler wrote:

[racket-users] How to insert @ character into scribble-generated output?

2016-10-13 Thread Kathi Fisler
I need to put a sample of a JUnit test case in a sribble document, along the lines of @verbatim{ @Test public void checkHBLen() { assertEquals(HapBD.lenInSeconds, 25); } } What's the escape sequence for treating the @ on Test literally, rather than as a scribble command. Co