<div class="gmail_quote">2012/7/3 Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Another possibility is that the identifiers that your reader produces<br>
are not syntax-original?. You have to use 'read-syntax' to actually<br>
produce the identifiers to get that mark on them.<br></blockquote><div><br></div><div>That's definitely it. But since I am not using read-syntax,</div><div>how do I get the right mark? The docs for syntax-original?</div>
<div>says </div><div><br></div><div><span style="font-family:serif;font-size:medium;text-align:left;background-color:rgb(255,255,255)"> Returns </span><span class="RktVal" style="font-family:monospace;color:rgb(34,139,34);text-align:left;background-color:rgb(255,255,255)">#t</span><span style="font-family:serif;font-size:medium;text-align:left;background-color:rgb(255,255,255)"> if </span><span class="RktVar" style="font-family:monospace;color:rgb(38,38,128);font-style:italic;text-align:left;background-color:rgb(255,255,255)">stx</span><span style="font-family:serif;font-size:medium;text-align:left;background-color:rgb(255,255,255)"> has the property that </span><span class="RktSym" style="font-family:monospace;color:rgb(38,38,128);text-align:left;background-color:rgb(255,255,255)"><a href="file:///Applications/Racket%20Full%20v5.3.0.13/doc/reference/Reading.html?q=syntax-original%3F&q=strip-context#(def._((quote._~23~25kernel)._read-syntax))" class="RktValLink" style="text-decoration:none;color:blue">read-syntax</a></span><span style="font-family:serif;font-size:medium;text-align:left;background-color:rgb(255,255,255)"> attaches to the</span><a href="file:///Applications/Racket%20Full%20v5.3.0.13/doc/reference/syntax-model.html?q=syntax-original%3F&q=strip-context#(tech._syntax._object)" class="techoutside" style="color:rgb(176,176,176);font-family:serif;font-size:medium;text-align:left;background-color:rgb(255,255,255)"><span class="techinside" style="color:black">syntax object</span></a><span style="font-family:serif;font-size:medium;text-align:left;background-color:rgb(255,255,255)">s</span></div>
<div><span style="font-family:serif;font-size:medium;text-align:left;background-color:rgb(255,255,255)"> that they generate ...</span></div><div><br></div><div>So it is not clear what property I should set in my own read-syntax.</div>
<div><br></div><div>I have specified my own read-syntax in lang/reader.rkt.</div><div>The reader uses the source location lexer/parser from the</div><div>parser location and then wraps result in a module.</div><div><br></div>
<div><a href="https://github.com/soegaard/bracket/blob/master/bracket/lang/reader.rkt">https://github.com/soegaard/bracket/blob/master/bracket/lang/reader.rkt</a></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
There are some unreleased changes to datalog that improve this aspect of it:<br>
<br>
<a href="http://git.racket-lang.org/plt/commit/bf95ee10523daabea4925073ff035bf57ecad59f" target="_blank">http://git.racket-lang.org/plt/commit/bf95ee10523daabea4925073ff035bf57ecad59f</a><br>
<br>
there are few followup commits that clean up that one but not, I<br>
think, relating to this issue.<br></blockquote><div><br></div><div>I see a few changes in order to store the source location in the tokens,</div><div>but I am already doing that - and error messages find the proper places</div>
<div>so it seems that part works.</div><div><br></div><div><a href="https://github.com/soegaard/bracket/blob/master/bracket/lang/parser.rkt">https://github.com/soegaard/bracket/blob/master/bracket/lang/parser.rkt</a></div>
<div><br></div><div>/Jens Axel</div><div><br></div></div>