Commit: a9e700fb69b748aa9a63658884b16dd0efa65aa8 - star (git)

Commit MetaInfo

• Revision: a9e700fb69b748aa9a63658884b16dd0efa65aa8 (tree)
• Time: 2018-12-27 23:01:55
• Author: dhrname <dhrname@user...>
• Commiter: dhrname

Log Message

Modify the replace_node inline function

Change Summary

• modified: source_code/shadowstar.c

Incremental Difference

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -546,10 +546,10 @@ static inline void replace_node(ST_Node first, ST_Node applied, ST_Node freelist
         }
         else if(node->nodeType == ST_VARIABLE_NODE)
         {
-            /*現在ノードのキャッシュ*/
-            ST_Node cache;
             if ( ST_first(ST_getNodeValue(node)) == value )
             {
+                /*現在ノードのキャッシュ*/
+                ST_Node cache;
                 /*nodeが解放されるため、キャッシュしておく*/
                 cache = node;
                 /*束縛変数の値が等しいならばノードをappliedのコピーノードと置き換えていく
@@ -595,18 +595,8 @@ static inline ST_Node beta_reduce(ST_Node blist)
     /*ベータ簡約の結果、新たに生成されたノード*/
     ST_Node result = ST_EMPTY_NODE;
         
-    /*関数適用のパターンは以下の通り
-     * (1) 変数に関数抽象を適用
-     * (2) 変数に変数を適用
-     * (3) 関数抽象に変数を適用
-     * (4) 関数抽象に関数抽象を適用
-     * (5) 計算実体に変数か関数抽象を適用
-     * (6) 変数に計算実体を適用
-     * (7) 関数抽象に計算実体を適用
-     * パターンに応じて、以下では処理を変えていく
-     * 
-     * 現在のノードが計算実体化するのは、現在ノードが関数抽象以外のとき
-     * よって、(1),(2),(5),(6)のパターンのみである*/
+    /*現在のノードが計算実体化するのは、
+     * 現在ノードが関数抽象以外のとき*/
     
     ST_Node first = blist;
     
@@ -627,7 +617,7 @@ static inline ST_Node beta_reduce(ST_Node blist)
     {
                 
         /*firstが変数ノードであれば、計算実体ノードへ変わる*/
-        if(first->nodeType == ST_VARIABLE_NODE)
+        if(ST_VARIABLE_NODE == first->nodeType)
         {
             first->nodeType = ST_Thunk_NODE;
             
@@ -644,8 +634,7 @@ static inline ST_Node beta_reduce(ST_Node blist)
             
             break;
         }
-        
-        if (ST_LAMBDA_ABSTRACTION_NODE == first->nodeType)
+        else if (ST_LAMBDA_ABSTRACTION_NODE == first->nodeType)
         {
             /*appliedはfirstが関数抽象のときのみ、適用対象となる
              * 関数適用はノード値が一致したnodeをappliedのコピーノードに置き換えることとなる*/