Do you mean turn off? I didn't but I will try it. Would it affect some programs but not others though? <div class="gmail_quote">On Jun 11, 2012 8:01 PM, "Robby Findler" <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Did you turn out port-count-lines! on the port? Robby On Mon, Jun 11, 2012 at 6:57 PM, Stephen Chang <<a href="mailto:stchang@ccs.neu.edu">stchang@ccs.neu.edu</a>> wrote: > I have a drracket plugin that reads the contents of the definitions > window as syntax and then traverses that syntax object so that for > each subexpression e it prints > 1) (syntax->datum e), and > 2) the contents of the definitions window at starting at position > (syntax-position e) and ending at (syntax-position e) + (syntax-span > e) > > I would expect each subexpression in the program to be printed twice > and the plugin generally works as expected, except when I use the > unicode lambda character. > > > For example, if I have the program: > > #lang racket (add1 10) > > the (add1 10) syntax object correctly has position 14 and span 9 and > the add1 syntax object correctly has position 15 and span 4. > > > But for the program: > > #lang racket (ë (x) x) > > the (ë (x) x) syntax object has position 14 but span 11 (2 more than > expected) and the ë syntax object has position 17 (again, 2 more than > expected) > > > Has anyone seen this behavior before? > > > I'll try to distill my plugin to get something reproducible if it's > not obvious what's going on. > > (I think that syntax positions start at 0 and editor positions start > at 1 but I account for that so that's not the cause of the problem.) > > (I'm also aware that evaluating (syntax-span #'(ë (x) x)) in the repl > correctly produces 9 so I don't know what's going on.) > > _________________________ > Racket Developers list: > <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/dev</a> </blockquote></div>