rename map -> oldmap and mark it as deprecated
LinearMap is quite a bit faster, and is fully owned/sendable without requiring copies. The older std::map also doesn't use explicit self and relies on mutable fields.
This commit is contained in:
parent
df31373406
commit
319eeb1c79
96 changed files with 230 additions and 231 deletions
|
@ -87,7 +87,7 @@ use core::either;
|
|||
use core::result::Result;
|
||||
use core::vec::push;
|
||||
use core::vec;
|
||||
use std::map::HashMap;
|
||||
use std::oldmap::HashMap;
|
||||
|
||||
#[deriving_eq]
|
||||
enum restriction {
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue