remove something and test something about parsing

diff --git a/README.md b/README.md
index 22c2f83fc140b3238aee801e789bcf720b466650..b0e35aa1c4b71b8f869ad57b20673c8507990042 100644 (file)
--- a/README.md
+++ b/README.md
@@ -13,3 +13,4 @@ License: MIT
  - 20230914-15: 追加一寡 tokenizer ê 功能。
  - 20230918: 重新tuì下kàu頂起做parser. add rule
  - 20230921-22:add rule, report issue
+ - 20230925-26: 試驗án-tsuánn解決[issue1](https://kianting.info/pipermail/clo_kianting.info/2023-September/000004.html), iáu-buē成功。
\ No newline at end of file

diff --git a/src/index.js b/src/index.js
index 6f16b6743de1cc5f8267de4267f00d5e12f3bf78..c4e40d8144645f38df2c4906e706d9d60fbec161 100644 (file)
--- a/src/index.js
+++ b/src/index.js
@@ -225,7 +225,7 @@ let midfix = (f, signal) => (x) => {
         let ast_tail = slice(a.value.ast, a.value.ast.length - 3);
         let new_ast = [ast_tail];
         a.value.ast = new_ast;
-        console.log("+" + signal + "+" + repr(a));
+        // console.log("+"+signal+"+"+repr(a));
     }
     return a;
 };
@@ -256,14 +256,12 @@ let single = orDo(single1, single2);
 let fac1Appliee = circumfix((x) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "fac1");
 let fac1 = (x) => {
     let raw = thenDo(thenDo(toSome(x), single), OnceOrMoreDo(fac1Appliee));
-    console.log("+" + "火鳥" + "+" + repr(raw));
     if (raw._tag == "Some") {
         var result = raw.value.ast[0];
         let applyToken = { text: '%apply', ln: 0, col: 0 };
         for (var i = 1; i < raw.value.ast.length; i++) {
             result = [applyToken, result, raw.value.ast[i]];
         }
-        console.log("+" + "hitori" + "+" + repr(result));
         if (!Array.isArray(result)) {
             raw.value.ast = [result];
         }
@@ -303,17 +301,15 @@ let expr2 = term;
  */
 let expr = orDo(expr1, expr2);
 let tokens = tk.tokenize("1");
+let tokens2 = tk.tokenize("1(2)");
+let tokens3 = tk.tokenize("1(2)(3)");
+let tokens4 = tk.tokenize("(3(2))*2+1");
 //let tokens = tk.tokenize("(4-(3/4))");
 //tk.tokenize(argv[2]);
-let tokensFiltered = tokens.filter((x) => {
+let tokensFiltered = tokens4.filter((x) => {
     return (x.type != tk.TokenType.NL
         && x.type != tk.TokenType.SP);
 });
-let wrappedTokens = tk.toSome({
-    matched: [],
-    remained: tokensFiltered,
-    ast: []
-});
 let beta = expr({
     matched: [],
     remained: tokensFiltered,

diff --git a/src/index.ts b/src/index.ts
index 988e266d774a3ae4350a95544ea6fc47a631f1a8..599d32a9040ef78c4127eff01698f54b0aa95ab1 100644 (file)
--- a/src/index.ts
+++ b/src/index.ts
@@ -198,6 +198,7 @@ export function matchAny(m: TokenMatcheePair): tk.Maybe<TokenMatcheePair> {
 }
 
 /**
+ * Danger : Maybe it's not enough to work.
 * @description repeating matching function `f` 
 * zero or more times, like the asterisk `*` in regex `f*` . 
 * @param f : the function to be repeated 0+ times.
@@ -277,7 +278,9 @@ let single = orDo(single1, single2);
 */
 
 
-/** fac = single ["(" single ")"]?  | single */
+/** fac = single ["(" single ")"]?  | single
+ * Issue1 to be fixed.
+ */
 let fac1Appliee = circumfix((x  : TokenMatcheePair) => thenDo(thenDo(thenDo(tk.toSome(x), tLParen), tInt), tRParen), "fac1");
 let fac1 = (x : TokenMatcheePair) => 
     {
@@ -351,19 +354,18 @@ let expr = orDo(expr1, expr2);
 
 
 let tokens = tk.tokenize("1");
+let tokens2 = tk.tokenize("1(2)");
+let tokens3 = tk.tokenize("1(2)(3)");
+let tokens4 = tk.tokenize("(3(2))*2+1");
 
 //let tokens = tk.tokenize("(4-(3/4))");
 //tk.tokenize(argv[2]);
 
-let tokensFiltered = tokens.filter(
+let tokensFiltered = tokens4.filter(
     (x)=>{return (x.type != tk.TokenType.NL
             && x.type != tk.TokenType.SP)});
 
-let wrappedTokens : tk.Maybe<TokenMatcheePair> = 
-    tk.toSome({
-        matched : [] ,
-        remained : tokensFiltered,
-        ast : []});
+
 
 let beta = expr({
         matched : [] ,