Rust stdin splitting and conversion to int

split_and_to_i.rs

// Compiles on rustc 0.11-pre-nightly (540c2a2 2014-04-04 01:01:51 -0700)

use std::io::BufferedReader;
use std::io::stdin;

fn main(){
  let mut stdin = BufferedReader::new(stdin());
  let l = stdin.read_line();
  match l {
    Ok(ll) => {
      let ss: ~[Option<int>] = ll.trim().split(' ').map(|a|from_str(a)).collect();
      println!("{}",ss);
    },
    Err(_) => ()
  }
}