Implement suggested performance improvements for `text.find` / `grep`

unisonweb / unison

A friendly programming language from the future

https://unison-lang.org

Other

5.81k stars 271 forks source link

Implement suggested performance improvements for `text.find` / `grep` #5378

Open pchiusano opened 1 month ago

pchiusano commented 1 month ago

See comments from @ChrisPenner on this PR https://github.com/unisonweb/unison/pull/5362 which I saw after it had already been merged. They all sound good to me but I'm swamped at the moment. Someone else want to take this?

mitchellwrosen commented 1 month ago

Sure, I can pick it up

pchiusano commented 1 month ago

Thank you!!