auto merge of #7629 : thestinger/rust/rope, r=graydon
It's broken/unmaintained and needs to be rewritten to avoid managed pointers and needless copies. A full rewrite is necessary and the API will need to be redone so it's not worth keeping this around (#7628). Closes #2236, #2744
This commit is contained in:
commit
ddf8247d7f
|
@ -72,7 +72,6 @@ pub mod deque;
|
|||
pub mod fun_treemap;
|
||||
pub mod list;
|
||||
pub mod priority_queue;
|
||||
pub mod rope;
|
||||
pub mod smallintmap;
|
||||
|
||||
pub mod sort;
|
||||
|
|
1442
src/libextra/rope.rs
1442
src/libextra/rope.rs
File diff suppressed because it is too large
Load Diff
|
@ -13,8 +13,7 @@
|
|||
*
|
||||
* Strings are a packed UTF-8 representation of text, stored as null
|
||||
* terminated buffers of u8 bytes. Strings should be indexed in bytes,
|
||||
* for efficiency, but UTF-8 unsafe operations should be avoided. For
|
||||
* some heavy-duty uses, try extra::rope.
|
||||
* for efficiency, but UTF-8 unsafe operations should be avoided.
|
||||
*/
|
||||
|
||||
use at_vec;
|
||||
|
|
Loading…
Reference in New Issue