Skip to content
This repository was archived by the owner on Aug 30, 2025. It is now read-only.

Added fragment capabilities to document#170

Merged
scohen merged 1 commit into
mainfrom
document_fragment
May 21, 2023
Merged

Added fragment capabilities to document#170
scohen merged 1 commit into
mainfrom
document_fragment

Conversation

@scohen

@scohen scohen commented May 18, 2023

Copy link
Copy Markdown
Collaborator

While talking with Jose Valim about how he could help lexical, we discussed giving a document fragment to a function in Code.Fragment. It seemed to me at the time that one of the functions already there might fit the bill, so I coded up the ability to request a fragment of a document using positions.

Unfortunately, the function in question won't work for us, but I felt that document fragments might be helpful in the future, so here's a PR.

While talking with Jose Valim about how he could help lexical, we
discussed giving a document fragment to a function in
Code.Fragment. It seemed to me at the time that one of the functions
already there might fit the bill, so I coded up the ability to request
a fragment of a document using positions.

Unfortunately, the function in question won't work for us, but I felt
that document fragments might be helpful in the future, so here's a PR.
@scohen scohen requested review from Sleepful, Tuxified and scottming May 18, 2023 22:10
Comment thread apps/server/test/document_test.exs
@scohen scohen merged commit faedd10 into main May 21, 2023
@scohen scohen deleted the document_fragment branch May 21, 2023 23:16
scottming pushed a commit to scottming/lexical that referenced this pull request May 23, 2023
While talking with Jose Valim about how he could help lexical, we
discussed giving a document fragment to a function in
Code.Fragment. It seemed to me at the time that one of the functions
already there might fit the bill, so I coded up the ability to request
a fragment of a document using positions.

Unfortunately, the function in question won't work for us, but I felt
that document fragments might be helpful in the future, so here's a PR.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants