diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-09-21 19:37:57 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-09-23 17:15:00 -0700 |
| commit | 4a78f9b16620489855da93c19be56f59431416f6 (patch) | |
| tree | 4b164738698203f474003682d5f0a5e23aa13377 /src/libstd/getopts.rs | |
| parent | 92752a462a055d6478bd96dab37a740514992106 (diff) | |
| download | rust-4a78f9b16620489855da93c19be56f59431416f6.tar.gz rust-4a78f9b16620489855da93c19be56f59431416f6.zip | |
core: Demode option
Diffstat (limited to 'src/libstd/getopts.rs')
| -rw-r--r-- | src/libstd/getopts.rs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/libstd/getopts.rs b/src/libstd/getopts.rs index 6f827be2b8a..c8d1c6026c7 100644 --- a/src/libstd/getopts.rs +++ b/src/libstd/getopts.rs @@ -303,8 +303,8 @@ fn getopts(args: &[~str], opts: &[Opt]) -> Result unsafe { Some(id) => last_valid_opt_id = option::Some(id), None => { let arg_follows = - option::is_some(last_valid_opt_id) && - match opts[option::get(last_valid_opt_id)] + last_valid_opt_id.is_some() && + match opts[last_valid_opt_id.get()] .hasarg { Yes | Maybe => true, @@ -331,23 +331,23 @@ fn getopts(args: &[~str], opts: &[Opt]) -> Result unsafe { }; match opts[optid].hasarg { No => { - if !option::is_none::<~str>(i_arg) { + if !i_arg.is_none() { return Err(UnexpectedArgument(name_str(nm))); } vec::push(vals[optid], Given); } Maybe => { - if !option::is_none::<~str>(i_arg) { - vec::push(vals[optid], Val(option::get(i_arg))); + if !i_arg.is_none() { + vec::push(vals[optid], Val(i_arg.get())); } else if name_pos < vec::len::<Name>(names) || i + 1u == l || is_arg(args[i + 1u]) { vec::push(vals[optid], Given); } else { i += 1u; vec::push(vals[optid], Val(args[i])); } } Yes => { - if !option::is_none::<~str>(i_arg) { + if !i_arg.is_none() { vec::push(vals[optid], - Val(option::get::<~str>(i_arg))); + Val(i_arg.get())); } else if i + 1u == l { return Err(ArgumentMissing(name_str(nm))); } else { i += 1u; vec::push(vals[optid], Val(args[i])); } |
