# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1485588555 -32400
# Node ID cd6ea4c7f6a50d78dad277ffdde15e935a22d7a6
# Parent  18b43cdc8ee56dab3267af86ee5d5290aa573bed
add Todo

diff -r 18b43cdc8ee5 -r cd6ea4c7f6a5 src/parallel_execution/Todo
--- a/src/parallel_execution/Todo	Sat Jan 28 16:18:03 2017 +0900
+++ b/src/parallel_execution/Todo	Sat Jan 28 16:29:15 2017 +0900
@@ -6,6 +6,14 @@
     Stackのnext(やisEmpty)に代入された時点でわかる。なので、あまり自明な見つける方法がない。 
     引数の異なるnextは異なる名前を持つべきか? 持たなくてもできるが...
 
+         goto next(data, ...);                                       引数で渡された continuation に移動
+         goto nodeStack->push(newNode, replaceNode1);                Interface の呼び出し。(ここで replaceNode1 が stack の戻り値を受けることがわかる。
+         goto replaceNode(traverse, traverse->current, newNode);     普通のgoto
+         goto rotateTree->next(...);                                 DataGearに格納された continuation
+
+    などをチェックする必要がある。これらの型チェックは CbC level では行われない。(CbCはmeta levelだから)
+
+
 Sun Jan 22 20:11:28 JST 2017
 
     TaskManagerから必要なCPUWorkerを生成する