about summary refs log tree commit diff
path: root/src/libcore/task.rs
diff options
context:
space:
mode:
authorTim Chevalier <chevalier@alum.wellesley.edu>2012-04-02 15:34:49 -0700
committerTim Chevalier <chevalier@alum.wellesley.edu>2012-04-02 16:12:49 -0700
commit21be1379d561b6679a8a2ea47dce88f948c5acca (patch)
tree25b911b9e5071d1512a3e5ff5d66b91716645c75 /src/libcore/task.rs
parent987bc2362926d0672a01e8d5964940743df48cb6 (diff)
downloadrust-21be1379d561b6679a8a2ea47dce88f948c5acca.tar.gz
rust-21be1379d561b6679a8a2ea47dce88f948c5acca.zip
Rename some core::option functions
from_maybe => get_with_default
maybe => with_option
may => with_option_do

I know these names are kind of ridiculous, but it's the best I could think of.
Feel free to bikeshed. Closes #2081
Diffstat (limited to 'src/libcore/task.rs')
-rw-r--r--src/libcore/task.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libcore/task.rs b/src/libcore/task.rs
index dcd784fb2a3..dc2dd5d179e 100644
--- a/src/libcore/task.rs
+++ b/src/libcore/task.rs
@@ -498,7 +498,7 @@ fn spawn_raw(opts: task_opts, +f: fn~()) unsafe {
       }
     };
 
-    option::may(opts.notify_chan) {|c|
+    option::with_option_do(opts.notify_chan) {|c|
         // FIXME (1087): Would like to do notification in Rust
         rustrt::rust_task_config_notify(new_task, c);
     }