Add wait and post

compiler/oxidate/src/compiler.rs

@@ -326,8 +326,17 @@ impl Compiler {
                 // push RESET
                 arr.push(ByteCode::RESET(bytecode::FrameType::CallFrame))
             }
-            Decl::WaitStmt(_) => {}
-            Decl::PostStmt(_) => {}
+            // These don't return anything, so push unit after as well
+            Decl::WaitStmt(sem) => {
+                arr.push(ByteCode::ld(sem));
+                arr.push(ByteCode::WAIT);
+                arr.push(ByteCode::ldc(Value::Unit));
+            }
+            Decl::PostStmt(sem) => {
+                arr.push(ByteCode::ld(sem));
+                arr.push(ByteCode::POST);
+                arr.push(ByteCode::ldc(Value::Unit));
+            }
         };
 
         Ok(())

compiler/oxidate/src/tests.rs

@@ -1162,4 +1162,14 @@ mod tests {
             ],
         );
     }
+
+    #[test]
+    fn test_compile_wait_post() {
+        let t = r"
+        wait sem;
+        2;
+        post sem;
+        ";
+        // test_comp(t, vec![]);
+    }
 }

example/concurrency-03.rst

@@ -1,3 +1,5 @@
+// Expected: inconsistent count on each run due to race on count
+
 let count = 0;
 
 fn increment(times: int) {

example/concurrency-04.rst

@@ -1,3 +1,5 @@
+// Expected: count = 3000 on each run
+
 let count = 0;
 let sem = sem_create();