nadesiko3 3.6.3 → 3.6.4

package/core/deno/README.md

@@ -0,0 +1,16 @@
+# 日本語プログラミング言語「なでしこ3」言語エンジン (Deno版)
+
+本リポジトリのこのディレクトリには、なでしこ3の言語エンジンのみを取り出し、JavaScriptの実行エンジンDenoを使って簡単なコマンドを実行できるようにしたものです。最小限の構成となっています。
+
+## 簡単な使い方
+
+```sh
+deno run --allow-all deno/snako.ts (なでしこのプログラム).nako3
+```
+
+## 参考リポジトリ
+
+このディレクトリにあるDenoは最小構成になっているため、Denoの機能をもっと利用したい場合には、次のリポジトリを確認してください。
+
+- [なでしこ3(Deno版)](https://github.com/kujirahand/nadesiko3deno/)
+

package/core/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nadesiko3core",
-  "version": "3.6.3",
+  "version": "3.6.4",
   "description": "Japanese Programming Language Nadesiko v3 core",
   "main": "index.mjs",
   "type": "module",

package/core/src/nako_gen.mjs

@@ -745,7 +745,8 @@ export class NakoGen {
         }
         let variableDeclarations = '';
         const indent = '    ';
-        const popStack = '';
+        let pushStack = '';
+        let popStack = '';
         const initialNames = new Set();
         if (this.speedMode.invalidSore === 0) {
             initialNames.add('それ');
@@ -755,8 +756,18 @@ export class NakoGen {
         this.varslistSet.push(this.varsSet);
         // JSの引数と引数をバインド
         variableDeclarations += indent + 'const 引数 = arguments;\n';
-        // ローカル変数を生成
-        variableDeclarations += indent + 'const __vars = new Map();\n';
+        // ローカル変数を生成 (再帰関数呼び出しで引数の値が壊れる問題がある #1663)
+        // 暫定変数__localVarsに現在のローカル変数の値をPUSHし、変数を抜ける時にPOPする)
+        // 関数として宣言しているが、JS関数となでしこ関数では変数管理の方法が異なるため、完全なローカル変数としては使えない
+        // 必ず、pushStack/popStack する必要がある
+        pushStack += '\n// PUSH STACK\n';
+        pushStack += 'const __localvars = __self.__vars;\n';
+        pushStack += '__self.__vars = new Map();\n';
+        pushStack += 'try {\n';
+        popStack += '} finally {\n';
+        popStack += indent + '// POP STACK\n';
+        popStack += indent + 'self.__vars = __localvars;\n';
+        popStack += '}\n';
         // 宣言済みの名前を保存
         const varsDeclared = Array.from(this.varsSet.names.values());
         let code = '';
@@ -836,7 +847,7 @@ export class NakoGen {
         const tof = (this.usedAsyncFn) ? topOfFunctionAsync : topOfFunction;
         // 関数コード全体を構築
         const lineInfo = '  ' + this.convLineno(node, true, 1) + '\n';
-        code = tof + performanceMonitorInjectAtStart + variableDeclarations + lineInfo + code + popStack;
+        code = tof + performanceMonitorInjectAtStart + pushStack + variableDeclarations + lineInfo + code + popStack;
         code += endOfFunction;
         // 名前があれば、関数を登録する
         if (name) {

package/core/src/nako_gen.mts

@@ -807,7 +807,8 @@ export class NakoGen {
     }
     let variableDeclarations = ''
     const indent = '    '
-    const popStack = ''
+    let pushStack = ''
+    let popStack = ''
     const initialNames: Set<string> = new Set()
     if (this.speedMode.invalidSore === 0) {
       initialNames.add('それ')
@@ -817,8 +818,18 @@ export class NakoGen {
     this.varslistSet.push(this.varsSet)
     // JSの引数と引数をバインド
     variableDeclarations += indent + 'const 引数 = arguments;\n'
-    // ローカル変数を生成
-    variableDeclarations += indent + 'const __vars = new Map();\n'
+    // ローカル変数を生成 (再帰関数呼び出しで引数の値が壊れる問題がある #1663)
+    // 暫定変数__localVarsに現在のローカル変数の値をPUSHし、変数を抜ける時にPOPする)
+    // 関数として宣言しているが、JS関数となでしこ関数では変数管理の方法が異なるため、完全なローカル変数としては使えない
+    // 必ず、pushStack/popStack する必要がある
+    pushStack += '\n// PUSH STACK\n'
+    pushStack += 'const __localvars = __self.__vars;\n'
+    pushStack += '__self.__vars = new Map();\n'
+    pushStack += 'try {\n'
+    popStack += '} finally {\n'
+    popStack += indent + '// POP STACK\n'
+    popStack += indent + 'self.__vars = __localvars;\n'
+    popStack += '}\n'
     // 宣言済みの名前を保存
     const varsDeclared = Array.from(this.varsSet.names.values())
     let code = ''
@@ -895,7 +906,7 @@ export class NakoGen {
     const tof = (this.usedAsyncFn) ? topOfFunctionAsync : topOfFunction
     // 関数コード全体を構築
     const lineInfo = '  ' + this.convLineno(node, true, 1) + '\n'
-    code = tof + performanceMonitorInjectAtStart + variableDeclarations + lineInfo + code + popStack
+    code = tof + performanceMonitorInjectAtStart + pushStack + variableDeclarations + lineInfo + code + popStack
     code += endOfFunction
 
     // 名前があれば、関数を登録する

package/core/test/func_call.mjs

@@ -160,4 +160,19 @@ describe('関数呼び出しテスト', async () => {
       'TMPを表示。\n'
     await cmp(code, '<<あいうえお>>')
   })
+  it('再帰呼び出しでローカル関数の引数が壊れる #1663', async () => {
+    const code = '' +
+      'CHECK=0\n' +
+      '●(AとBで)AAAとは\n' +
+      '　　もし、A<0ならば、0で戻る。\n' +
+      '　　REC1=A\n' +
+      '　　(A-1)と0でAAA\n' +
+      '　　REC2=A\n' +
+      '　　もし、REC1=REC2ならば、CHECK=1\n' + // 再帰呼び出ししても、引数Aの値は変わらないはず
+      '　　(A+B)を戻す\n' +
+      'ここまで\n' +
+      '4と0でAAA;\n' +
+      'CHECKを表示\n'
+    await cmp(code, '1')
+  })
 })

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "nadesiko3",
-  "version": "3.6.3",
+  "version": "3.6.4",
   "description": "Japanese Programming Language",
   "type": "module",
   "main": "src/index.mjs",