auto merge of #14314 : alexcrichton/rust/deriving-hash, r=brson

One of the long-term goals of the libstd facade is to move the collections
library underneath the standard library. This would imply that libcollections
today would invert its dependency with libstd.

One of the primary blockers for doing this is the HashMap collection. Of its two
major dependencies, hashing and randomness, this commit is the first step in
dealing with hashing.

When moving the hash module beneath libstd, it must break its primary dependence
on the io::Writer trait (used as the hashing state). The proposed strategy for
breaking this dependence is taking a similar path as core::fmt, which is to have
the hash module define its own "writer trait". This trait would be similar to
std::io::Writer, except that it would not return errors and it would have fewer
convenience methods.

The Hash trait today has its type parameter behind a feature gate (default type
parameters), so this pending change will likely break no code which hasn't opted
in to the feature gate. The SipState struct will lose its implementation of
io::Writer, but it will regain similar methods for dealing with writing data.

This change specifically prepares for the hash migration by modifying
deriving(Hash) to use the std:#️⃣:Writer bound instead of the std::io::Writer
bound. This bound is currently wired to std::io::Writer, but after a snapshot it
will have no need to be wired to the io writer trait.
This commit is contained in:
bors 2014-05-22 18:36:22 -07:00
commit ec0258a381
2 changed files with 4 additions and 2 deletions

View File

@ -65,7 +65,6 @@
use container::Container; use container::Container;
use intrinsics::TypeId; use intrinsics::TypeId;
use io::Writer;
use iter::Iterator; use iter::Iterator;
use option::{Option, Some, None}; use option::{Option, Some, None};
use owned::Box; use owned::Box;
@ -78,6 +77,8 @@ use vec::Vec;
/// Reexport the `sip::hash` function as our default hasher. /// Reexport the `sip::hash` function as our default hasher.
pub use hash = self::sip::hash; pub use hash = self::sip::hash;
pub use Writer = io::Writer;
pub mod sip; pub mod sip;
/// A trait that represents a hashable type. The `S` type parameter is an /// A trait that represents a hashable type. The `S` type parameter is an

View File

@ -27,7 +27,8 @@ pub fn expand_deriving_hash(cx: &mut ExtCtxt,
vec!(box Literal(Path::new_local("__S"))), true), vec!(box Literal(Path::new_local("__S"))), true),
LifetimeBounds { LifetimeBounds {
lifetimes: Vec::new(), lifetimes: Vec::new(),
bounds: vec!(("__S", ast::StaticSize, vec!(Path::new(vec!("std", "io", "Writer"))))), bounds: vec!(("__S", ast::StaticSize,
vec!(Path::new(vec!("std", "hash", "Writer"))))),
}, },
Path::new_local("__S")) Path::new_local("__S"))
} else { } else {