Matthias Krüger
56e4ea59d9
more clippy fixes:
...
clippy::match_like_matches_macro
clippy::to_string_in_format_args
clippy::single_char_add_str
clippy::filter_map_identity
clippy::clone_on_copy
clippy::useless_format
clippy::unused_unit
2022-03-12 16:50:49 +01:00
Matthias Krüger
62ed658311
fix clippy::useless_conversion
2022-03-12 16:50:49 +01:00
Moritz Vetter
96c16bc382
redirct: use iterators and knowledge about preordered arrays for more efficient merging
2022-02-28 05:56:51 +01:00
Moritz Vetter
ff59147d53
add two more unit tests for text_edit
2022-02-27 02:27:44 +01:00
Moritz Vetter
21d497b773
refact: edit text in place in TextEdit::apply
2022-02-26 15:50:09 +01:00
Moritz Vetter
c541f3396c
test: add unit test for TextEdit::apply()
2022-02-26 15:46:14 +01:00
Anatol Ulrich
e8416bb644
Update crates/text_edit/src/lib.rs
...
Co-authored-by: Lukas Wirth <lukastw97@gmail.com>
2021-11-03 15:44:46 +01:00
Lukas Wirth
9025f51118
Add disjoint check back in TextEdit::union
2021-11-03 14:42:15 +01:00
Anatol Ulrich
7581ba3f30
forgot a dbg
2021-11-03 14:21:29 +01:00
Anatol Ulrich
9bce4d6696
accept identical Indels when merging; add rename test case
2021-11-02 21:38:38 +01:00
Aramis Razzaghipour
eff195852d
Fix miscellaneous Clippy lints
2021-10-03 23:53:30 +11:00
Aramis Razzaghipour
55c0b86cde
Add semicolons for consistency
...
`clippy::semicolon_if_nothing_returned`
2021-10-03 23:39:43 +11:00
Lukas Wirth
5e533e5900
Handle all rename special cases for all record pattern fields
2021-08-16 22:48:38 +02:00
Aleksey Kladov
66960c095c
minor: as per code-styple, add invariant comment
2021-08-09 13:13:02 +03:00
Aleksey Kladov
9684daa029
Actually assert disjointness
2020-09-03 13:37:36 +02:00
Aleksey Kladov
7239d8ca95
Provide better stack trace for overlapping edits
...
Overlapping indels are a bug. Checking this *always* is tricky (needs
a sorted data structure to not suffer O(N^2) perf). But
opportunistically checking small indels should give provide 80% of the
benefits.
2020-08-25 17:59:37 +02:00
Aleksey Kladov
6dafc13f5f
Rename ra_text_edit -> text_edit
2020-08-12 17:03:06 +02:00
