Update index.html

rozek · Aug 6, 2024 · 2ee67d5 · 2ee67d5
1 parent c402332
commit 2ee67d5
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/LiveDemo/index.html b/LiveDemo/index.html
@@ -636,7 +636,6 @@
 }
 /**** clearConsole ****/
 function clearConsole() {
-    removeFromUI('Console');
     setInContext('Console', '');
     //  rerenderPlayground()
 }
@@ -888,7 +887,6 @@
         while (Findings.length > 0) {
             Result = await SolutionMergedFromTexts(Result, Findings.shift() || '', Objective);
         }
-        console.log('merged result', quoted(Result));
         return JSON.stringify((await SolutionEncodedFrom(Result, Objective)) || '');
     }
 }
@@ -1004,6 +1002,7 @@
     const ParameterList = await ParameterListFor(Objective);
     console.log('ParameterList', ParameterList);
     let FunctionSource = await FunctionFor(Objective, ParameterList);
+    console.log('FunctionSource', FunctionSource);
     let BlockCommentMatch = FunctionSource.match(/^\s*\/\*[\s\S]*\*\/\s*/);
     let afterBlockComment = (BlockCommentMatch == null ? 0 : BlockCommentMatch[0].length);
     if (FunctionSource.slice(afterBlockComment).startsWith('function')) {
@@ -1015,7 +1014,6 @@
         throwError('FunctionGenerationError: could not generate executable function ' +
             '(unexpected source format)');
     }
-    console.log('FunctionSource', FunctionSource);
     let compiledFunction;
     try {
         logAction('(compiling JavaScript function)');
@@ -1077,7 +1075,6 @@
         ParameterList = [];
     }
     else {
-        console.log('ParameterList', ParameterList);
         ParameterList.forEach((Parameter) => {
             expectIntegerInRange('parameter fact index', Parameter.Index, 0, Knowledge.length - 1);
             expectIdentifier('parameter name', Parameter.Name);
@@ -1541,7 +1538,6 @@
 //------------------------------------------------------------------------------
 /**** rerenderPlayground ****/
 function rerenderPlayground() {
-    console.log('rerenderPlayground', Playground.InterpreterState);
     if (Playground.View != null) {
         Playground.View.rerender();
     }
@@ -2124,8 +2120,6 @@
         return;
     }
     let Code = javascriptGenerator.workspaceToCode(Playground.Workspace);
-    console.log('Code', Code);
-    console.log('Playground', Playground);
     try {
         Playground.Interpreter = new Interpreter(Code, externalAPI);
     }
@@ -5915,7 +5909,6 @@
     }
 }
 function SetFromKeyValueList(List) {
-    console.log('List', List);
     expectListSatisfying('key value list', List, ValueIsKeyValuePair);
     const Result = {};
     List.forEach((Pair) => Result[Pair[0]] = Pair[1]);