diff --git a/src/libstd/ebml.rs b/src/libstd/ebml.rs index 5855add7975..331bede5b7a 100644 --- a/src/libstd/ebml.rs +++ b/src/libstd/ebml.rs @@ -411,13 +411,13 @@ pub mod reader { } #[cfg(stage0)] - fn read_option(&self, f: &fn() -> T) -> Option { + fn read_option(&self, f: &fn(bool) -> T) -> T { debug!("read_option()"); do self.read_enum("Option") || { do self.read_enum_variant |idx| { match idx { - 0 => None, - 1 => Some(f()), + 0 => f(false), + 1 => f(true), _ => fail!(), } } @@ -427,13 +427,13 @@ pub mod reader { #[cfg(stage1)] #[cfg(stage2)] #[cfg(stage3)] - fn read_option(&self, f: &fn() -> T) -> Option { + fn read_option(&self, f: &fn(bool) -> T) -> T { debug!("read_option()"); do self.read_enum("Option") || { do self.read_enum_variant(["None", "Some"]) |idx| { match idx { - 0 => None, - 1 => Some(f()), + 0 => f(false), + 1 => f(true), _ => fail!(), } } diff --git a/src/libstd/json.rs b/src/libstd/json.rs index c48b210dca2..4b0e313330d 100644 --- a/src/libstd/json.rs +++ b/src/libstd/json.rs @@ -980,10 +980,10 @@ impl<'self> serialize::Decoder for Decoder<'self> { } } - fn read_option(&self, f: &fn() -> T) -> Option { + fn read_option(&self, f: &fn(bool) -> T) -> T { match *self.peek() { - Null => { self.pop(); None } - _ => Some(f()), + Null => { self.pop(); f(false) } + _ => f(true), } } } diff --git a/src/libstd/serialize.rs b/src/libstd/serialize.rs index 02f4a934874..3c9ad0d77d1 100644 --- a/src/libstd/serialize.rs +++ b/src/libstd/serialize.rs @@ -118,7 +118,7 @@ pub trait Decoder { fn read_tup_elt(&self, idx: uint, f: &fn() -> T) -> T; // Specialized types: - fn read_option(&self, f: &fn() -> T) -> Option; + fn read_option(&self, f: &fn(bool) -> T) -> T; } pub trait Encodable { @@ -395,7 +395,13 @@ impl> Encodable for Option { impl> Decodable for Option { fn decode(d: &D) -> Option { - d.read_option(|| Decodable::decode(d)) + do d.read_option |b| { + if b { + Some(Decodable::decode(d)) + } else { + None + } + } } }