The names are consistent with the position tracking for ports:

http://docs.racket-lang.org/reference/linecol.html?q=Syntax%20objects

> Den 8. dec. 2016 kl. 19.44 skrev Matthew Butterick <[email protected]>:
> 
> Forgive the possibly noobish question. 
> 
> Racket's name for a precise place in a source file is called a source 
> location [1] — sometimes abbreviated `srcloc` — and has four possible fields: 
> line, column, position, and span.
> 
> The `parser-tools/lex` library also dabbles in source locations, but IIUC 
> calls them "positions" rather than "locations" [2]. Moreover, what is known 
> as the "position" field in a Racket source location is called an "offset" in 
> `parser-tools/lex`. [also 2]
> 
> So is it fair to say that `parser-tools/lex` is using names that are 
> inconsistent with Racket (and, in the case of "position", contradictory)?
> 
> 
> [1] 
> http://docs.racket-lang.org/reference/exns.html?q=srcloc#%28def._%28%28lib._racket%2Fprivate%2Fbase..rkt%29._srcloc%29%29
> 
> [2] 
> http://docs.racket-lang.org/parser-tools/Lexers.html#%28def._%28%28lib._parser-tools%2Flex..rkt%29._position%29%29
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to [email protected].
> To post to this group, send email to [email protected].
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/B26F0406-4DA6-42F9-83DE-9C2D4BE9C90A%40mbtype.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/FDB94ACA-69F3-4AE6-8999-3915AC129872%40gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to