diff options
Diffstat (limited to 'src/libstd/prettyprint.rs')
| -rw-r--r-- | src/libstd/prettyprint.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/libstd/prettyprint.rs b/src/libstd/prettyprint.rs index f823d73cf0b..ed4f3e957c0 100644 --- a/src/libstd/prettyprint.rs +++ b/src/libstd/prettyprint.rs @@ -182,4 +182,18 @@ impl serialize::Encoder for Serializer { if idx > 0u { self.wr.write_str(~", "); } f(); } + + fn emit_option(&self, f: &fn()) { + f(); + } + + fn emit_option_none(&self) { + self.wr.write_str("None"); + } + + fn emit_option_some(&self, f: &fn()) { + self.wr.write_str("Some("); + f(); + self.wr.write_char(')'); + } } |
