---

yaml
---
r: 3891
b: refs/heads/master
c: 336a4df
h: refs/heads/master
i:
  3889: 861c295
  3887: 3e36109
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 733fbf47139402c2c56552ae1480bae0b77d1242
+refs/heads/master: 336a4df778129f906714830f429ad9c009434083

trunk/mk/rt.mk

@@ -13,7 +13,6 @@ RUNTIME_CS := rt/sync/timer.cpp \
               rt/rust_scheduler.cpp \
               rt/rust_task.cpp \
               rt/rust_task_list.cpp \
-              rt/rust_proxy.cpp \
               rt/rust_chan.cpp \
               rt/rust_port.cpp \
               rt/rust_upcall.cpp \

trunk/src/rt/memory_region.cpp

@@ -16,7 +16,6 @@ memory_region::memory_region(memory_region *parent) :
     _srv(parent->_srv), _parent(parent), _live_allocations(0),
     _detailed_leaks(parent->_detailed_leaks),
     _synchronized(parent->_synchronized) {
-    // Nop.
 }
 
 void memory_region::add_alloc() {

trunk/src/rt/rust_message.cpp

@@ -8,15 +8,12 @@ rust_message(memory_region *region, const char* label,
 }
 
 rust_message::~rust_message() {
-    // Nop.
 }
 
 void rust_message::process() {
-    // Nop.
 }
 
 void rust_message::kernel_process() {
-    // Nop.
 }
 
 notify_message::
@@ -113,7 +110,6 @@ rust_message_queue::rust_message_queue(rust_srv *srv, rust_kernel *kernel)
     : region(srv, true),
       kernel(kernel),
       sched_handle(NULL) {
-    // Nop.
 }
 
 //

trunk/src/rt/rust_proxy.cpp

@@ -17,7 +17,6 @@ maybe_proxy : public rc_base<T>, public rust_cond {
     T *_referent;
 public:
     maybe_proxy(T *referent) : _referent(referent) {
-        // Nop.
     }
 
     T *referent() {
@@ -50,12 +49,10 @@ rust_proxy : public maybe_proxy<T> {
 public:
     rust_proxy(rust_handle<T> *handle) :
         maybe_proxy<T> (NULL), _strong(FALSE), _handle(handle) {
-        // Nop.
     }
 
     rust_proxy(T *referent) :
         maybe_proxy<T> (referent), _strong(FALSE), _handle(NULL) {
-        // Nop.
     }
 
     rust_handle<T> *handle() {

trunk/src/rt/rust_proxy.h

@@ -1,13 +1,8 @@
-/*
- *
- */
-
 #include "rust_internal.h"
 #include "rust_srv.h"
 
 rust_srv::rust_srv() :
     local_region(this, false) {
-    // Nop.
 }
 
 rust_srv::~rust_srv() {}
@@ -79,3 +74,14 @@ rust_srv *
 rust_srv::clone() {
     return new rust_srv();
 }
+
+//
+// Local Variables:
+// mode: C++
+// fill-column: 78;
+// indent-tabs-mode: nil
+// c-basic-offset: 4
+// buffer-file-coding-system: utf-8-unix
+// compile-command: "make -k -C $RBUILD 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
+// End:
+//

trunk/src/rt/rust_srv.cpp

@@ -2,7 +2,6 @@
 
 rust_task_list::rust_task_list (rust_scheduler *sched, const char* name) :
     sched(sched), name(name) {
-    // Nop;
 }
 
 void

trunk/src/rt/rust_task_list.cpp

@@ -130,7 +130,6 @@ upcall_new_chan(rust_task *task, rust_port *port) {
 extern "C" CDECL void
 upcall_flush_chan(rust_task *task, rust_chan *chan) {
     LOG_UPCALL_ENTRY(task);
-    // Nop.
 }
 
 /**

trunk/src/rt/rust_upcall.cpp

@@ -50,7 +50,6 @@ class lock_free_queue {
         node_t *node;
         uint32_t count;
         pointer_t() : node(NULL), count(0) {
-            // Nop.
         }
         pointer_t(node_t *node, uint32_t count) {
             this->node = node;

trunk/src/rt/sync/lock_free_queue.h

@@ -20,7 +20,6 @@ void sync::sleep(size_t timeout_in_ms) {
 }
 
 rust_thread::rust_thread() : _is_running(false), thread(0) {
-    // Nop.
 }
 
 #if defined(__WIN32__)

trunk/src/rt/sync/sync.cpp

@@ -72,5 +72,4 @@ timer::time_us() {
 }
 
 timer::~timer() {
-    // Nop.
 }

trunk/src/rt/sync/timer.cpp

@@ -16,7 +16,6 @@ class rust_domain_test : public rust_test {
         public:
         rust_kernel *kernel;
         worker(rust_kernel *kernel) : kernel(kernel) {
-            // Nop.
         }
         void run();
     };
@@ -30,15 +29,13 @@ class rust_task_test : public rust_test {
 public:
     rust_test_suite *suite;
     rust_task_test(rust_test_suite *suite) : suite(suite) {
-        // Nop.
     }
     class worker : public rust_thread {
         public:
         rust_kernel *kernel;
         rust_task_test *parent;
         worker(rust_kernel *kernel, rust_task_test *parent) :
             kernel(kernel), parent(parent) {
-            // Nop.
         }
         void run();
     };

trunk/src/rt/test/rust_test_runtime.h

@@ -21,14 +21,12 @@ class rust_synchronized_indexed_list_test : public rust_test {
     synchronized_indexed_list<indexed_list_element<int> > list;
 
     rust_synchronized_indexed_list_test() {
-        // Nop.
     }
 
     class worker : public rust_thread {
     public:
         rust_synchronized_indexed_list_test *parent;
         worker(rust_synchronized_indexed_list_test *parent) : parent(parent) {
-            // Nop.
         }
         void run();
     };

trunk/src/rt/test/rust_test_util.h

@@ -15,7 +15,6 @@ class indexed_list_element : public indexed_list_object {
 public:
     T value;
     indexed_list_element(T value) : value(value) {
-        // Nop;
     }
 };
 

trunk/src/rt/util/indexed_list.h

@@ -10,7 +10,6 @@ template<typename T> class synchronized_indexed_list :
 
 public:
     synchronized_indexed_list() {
-        // Nop.
     }
 
     int32_t append(T *value) {