Skip to content

Express index via measureOff instead of going through fusion framework - #663

Merged
Lysxia merged 1 commit into
masterfrom
index-via-measureOff
Oct 18, 2025
Merged

Express index via measureOff instead of going through fusion framework#663
Lysxia merged 1 commit into
masterfrom
index-via-measureOff

Conversation

@Bodigrim

Copy link
Copy Markdown
Contributor

Closes #652.

@Bodigrim
Bodigrim requested a review from Lysxia October 15, 2025 22:43
Comment thread src/Data/Text/Lazy.hs Outdated
@Bodigrim
Bodigrim force-pushed the index-via-measureOff branch from f0ab098 to 2538884 Compare October 17, 2025 22:36
@Lysxia
Lysxia merged commit 6a98da6 into master Oct 18, 2025
48 of 49 checks passed
@Lysxia

Lysxia commented Oct 18, 2025

Copy link
Copy Markdown
Contributor

Thanks!

@Bodigrim
Bodigrim deleted the index-via-measureOff branch October 18, 2025 10:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

index should use measureOff

2 participants