Skip to content

generalize line ranges #22

Open
Open

Description

@wrongu

option 1: move to char ranges

option 2: move to 'diff' semantics rather than selection ranges

...

option N: see discussion below

Activity

  1. changed the title [-]move from line ranges to character ranges[/-] [+]generalize line ranges[/+] on Jun 12, 2023
  2. wrongu commented on Jun 12, 2023

    @wrongu
    ContributorAuthor

    on the one hand, would be nice for there to be a "document location" protocol, but then we can't put them into pydantic models.

    still need to think more about the "right" way to have one data structure that can speak the languages of character offsets, parsed document trees, line ranges, etc. And think about how far we can get with quick and dirty hacks (like pretending everything is a character range)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions