Mercurial > hg > Gears > GearsAgda

changeset 264:cd6ea4c7f6a5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Todo
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sat, 28 Jan 2017 16:29:15 +0900
parents 18b43cdc8ee5
children 4ccf776db994
files src/parallel_execution/Todo
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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を生成する