]> git.kianting.info Git - uann/commitdiff
remove unnessary `console.log`
authorTan Kian-ting <chenjt30@gmail.com>
Mon, 25 Sep 2023 16:16:18 +0000 (00:16 +0800)
committerTan Kian-ting <chenjt30@gmail.com>
Mon, 25 Sep 2023 16:16:18 +0000 (00:16 +0800)
src/index.ts

index 3b2b3d15af9be13f1d207bdf90198eddd973959b..988e266d774a3ae4350a95544ea6fc47a631f1a8 100644 (file)
@@ -242,7 +242,7 @@ let midfix = (f : Function, signal? : string) => (x : TokenMatcheePair)=>{
         let new_ast = [ast_tail];
         a.value.ast = new_ast;
 
-        console.log("+"+signal+"+"+repr(a));
+        // console.log("+"+signal+"+"+repr(a));
 
         
     }
@@ -282,7 +282,6 @@ let fac1Appliee = circumfix((x  : TokenMatcheePair) => thenDo(thenDo(thenDo(tk.t
 let fac1 = (x : TokenMatcheePair) => 
     {
         let raw = thenDo(thenDo(toSome(x), single), OnceOrMoreDo(fac1Appliee));
-        console.log("+"+"火鳥"+"+"+repr(raw));
 
         
         
@@ -295,8 +294,6 @@ let fac1 = (x : TokenMatcheePair) =>
                 result = [applyToken, result, raw.value.ast[i]];
             }
 
-            console.log("+"+"hitori"+"+"+repr(result));
-
             if (!Array.isArray(result)){
                 raw.value.ast = [result];
             }else{