<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Dec 4, 2013 at 11:47 PM, Harry Spier <span dir="ltr"><<a href="mailto:vasishtha.spier@gmail.com" target="_blank">vasishtha.spier@gmail.com</a>></span> wrote: <br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div></div><div>2)<br></div><div>What am I doing wrong here.  -- everything :-)</div>

<div>I'm trying to change the command character from @ to #  so that I can have raw strings containing both \ and @ </div><div>looking at the racket documentation here:</div>
<div><a href="http://docs.racket-lang.org/scribble/reader-internals.html?q=at-exp#%28def._%28%28lib._scribble%2Freader..rkt%29._make-at-readtable%29%29" target="_blank">http://docs.racket-lang.org/scribble/reader-internals.html?q=at-exp#%28def._%28%28lib._scribble%2Freader..rkt%29._make-at-readtable%29%29</a></div>


<div><br></div><div>I've done this:</div><div><br></div><div>#lang at-exp racket<br>(require scribble/reader)<br>(use-at-readtable #:command-char #\#)<br>(define RAW string-append)<br>(display #RAW{C:\Users\Harry\SANSKRIT\GRETIL ALL\adyappu.htm})<br>


(display #<a href="mailto:RAW%7Bharryspier@hotmail.com" target="_blank">RAW{harryspier@hotmail.com</a>})<br></div></div></blockquote><div><br></div><div>I don't know enough about readtables to help you here, but it seems  that `use-at-readtable' is only for the REPL:<br>

<a href="http://docs.racket-lang.org/scribble/reader-internals.html?q=use-read-table#%28def._%28%28lib._scribble%2Freader..rkt%29._use-at-readtable%29%29">http://docs.racket-lang.org/scribble/reader-internals.html?q=use-read-table#%28def._%28%28lib._scribble%2Freader..rkt%29._use-at-readtable%29%29</a><br>

<br></div><div>Someone ought to build the `at-any-exp' language Matthew was talking about a few days ago, so that one can write <br></div><div>#lang at-any-exp $ racket<br></div><div>$~a{Yay, dollar-exp syntax!}<br><br>

</div><div>Laurent<br></div></div><br></div></div>