-
Notifications
You must be signed in to change notification settings - Fork 809
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Make PositionEncodingKind a type #1442
Make PositionEncodingKind a type #1442
Conversation
As discussed here: microsoft@f9c85d5#r70968669
58a21b9
to
c4be5e6
Compare
Maybe I'm overthinking this, but explaining the original |
I think so long as we're referring to clearly understood ways of dealing with text, we can assume that programmers will go elsewhere to understand what e.g. "indexing in UTF-8 code units" means. |
@michaelpj are you willing to provide this as a PR as well? |
I meant that I think the current text is clear enough, since it uses standard terminology. Perhaps @nemethf disagrees? |
@michaelpj sorry misunderstood. |
I don't. |
As discussed here:
f9c85d5#r70968669
I made a change that reflected the existing state, but looking at it, it still reads somewhat ambiguously to me.
We are talking about an overall "position encoding", but in fact it only has quite a specific meaning: what is counted by character offsets.
If we were open to a slightly bigger change, we could consider something like: