Commit: 5e960ae0d48030721dec541dabeb10b862c9f606 - star (git)

Commit MetaInfo

• Revision: 5e960ae0d48030721dec541dabeb10b862c9f606 (tree)
• Time: 2018-04-01 23:08:57
• Author: dhrname <dhrname@user...>
• Commiter: dhrname

Log Message

Modify the ST_eval function

Change Summary

• modified: source_code/shadowstar.c
• modified: source_code/shadowstar.o
• modified: source_code/startest.c
• modified: source_code/startest.o

Incremental Difference

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -464,8 +464,8 @@ ST_Binary_Tree  ST_parse(ST_Token_Mode *array, size_t length, ST_Ordered_Pair *l
 /*ST_eval 関数
  *  ベータ簡約を用いて、解析リストの評価を行う
  * 返り値は左の枝が変数リストで、右の枝が関数抽象の隣接リストである二分木
- * この際、その変数リストも関数抽象の隣接リストも、
- * 引数で指定されたリスト（listとblist)とは異なり、新たに作成されたオブジェクトである*/
+ * この際、返り値である変数リストも関数抽象の隣接リストも、
+ * 新たに作成されたオブジェクトである*/
 ST_Binary_Tree ST_eval(ST_Ordered_Pair *list, ST_Binary_Tree blist)
 {
     /*エラーを明確にするため、listやblistのNULLチェックは
@@ -477,8 +477,24 @@ ST_Binary_Tree ST_eval(ST_Ordered_Pair *list, ST_Binary_Tree blist)
         return ST_EMPTY;
     }
     
+    /*blistから関数抽象を取り出す*/
+    ST_Binary_Tree abstract = ST_getListItem(blist, 0);
     
-    return ST_pairTree(list, blist);
+    /*返り値（変数か、関数抽象）*/
+    ST_Ordered_Pair *resultlist = list;
+    
+    if ( !ST_isEmpty(ST_second(ST_getSecondTree(abstract))) )
+    {
+        /*「甲」（乙）「丙」（丙）のように、abstrctが関数適用の対象であれば、
+         * ベータ変換を試みる*/
+        resultlist = ST_second(ST_getFirstTree(abstract));
+    }
+    else
+    {
+        resultlist = list;
+    }
+      
+    return ST_pairTree(resultlist, blist);
 }
 
 /*以下の連結リスト構造については数学の集合とラムダ計算と意味論を参照のこと

Binary files a/source_code/shadowstar.o and b/source_code/shadowstar.o differ

--- a/source_code/startest.c
+++ b/source_code/startest.c
@@ -454,14 +454,17 @@ int main(int argc, char **argv)
     init_token_length(tokens6, length);
     varlist = ST_tokenize(u8"「海」(愛)とは、「涙」（謎）", tokens6);
     btr = ST_parse(tokens6, length, varlist);
-    evalresult = ST_eval(varlist, btr);
-    //assert(ST_getFirstTree(evalresult) != varlist);
+    rebtr = ST_reverse(btr);
+    evalresult = ST_eval(varlist, rebtr);
+    assert(ST_getFirstTree(evalresult) != varlist);
+    assert(ST_first(ST_getFirstTree(evalresult)) == ST_getItem(varlist, 1));
     /*assert(ST_getFirstTree(evalresult) != ST_setChurchNumber(3, ST_second, varlist));
     be = ST_getSecondTree(evalresult);
     assert(ST_isEmpty(be));*/
     
 
     ST_freetree(btr);
+    ST_freetree(rebtr);
     ST_freelist(varlist);
     
     ST_Token_Mode tresult[1] = {0};

Binary files a/source_code/startest.o and b/source_code/startest.o differ