librustdoc: Rename std to extra.

This commit is contained in:
Patrick Walton 2013-05-19 11:17:49 -07:00
parent b8be7e8329
commit 14be4c23e4
4 changed files with 6 additions and 6 deletions

View file

@ -14,7 +14,7 @@ use core::cell::Cell;
use core::run;
use core::run::ProgramOutput;
use core::result::Result;
use std::getopts;
use extra::getopts;
/// The type of document to output
#[deriving(Eq)]

View file

@ -17,7 +17,7 @@ use doc;
use core::libc;
use core::run;
use core::comm::*;
use std::future;
use extra::future;
pub enum WriteInstr {
Write(~str),

View file

@ -24,7 +24,7 @@
#[no_std];
extern mod core(name = "std");
extern mod std(name = "extra");
extern mod extra(name = "extra");
extern mod rustc;
extern mod syntax;
@ -145,9 +145,9 @@ fn run(config: Config) {
}
pub fn time<T>(what: ~str, f: &fn() -> T) -> T {
let start = std::time::precise_time_s();
let start = extra::time::precise_time_s();
let rv = f();
let end = std::time::precise_time_s();
let end = extra::time::precise_time_s();
info!("time: %3.3f s %s", end - start, what);
rv
}

View file

@ -19,7 +19,7 @@ use util::NominalOp;
#[cfg(test)] use extract;
use std::sort;
use extra::sort;
pub type ItemLtEqOp = @fn(v1: &doc::ItemTag, v2: &doc::ItemTag) -> bool;