Closes #52 (#93)

Closes #52
anoma · May 31, 2023 · 522925b · 522925b
1 parent d8e781f
commit 522925b
Showing 1 changed file with 1 addition and 50 deletions.
diff --git a/src/formatter.ts b/src/formatter.ts
@@ -23,10 +23,8 @@ export function activate(_context: vscode.ExtensionContext) {
         config.getJuvixExec(),
         config.getGlobalFlags(),
         '--stdin',
-        'dev',
-        'scope',
+        'format',
         filePath,
-        '--with-comments',
       ].join(' ');
 
       debugChannel.info(`Formatting ${filePath}`);
@@ -49,53 +47,6 @@ export function activate(_context: vscode.ExtensionContext) {
     },
   });
 
-  // JuvixCore
-
-  // FIXME: one anoma/juvix/issue/#1841 is fixed.
-  // vscode.languages.registerDocumentFormattingEditProvider('JuvixCore', {
-  //   provideDocumentFormattingEdits(
-  //     document: vscode.TextDocument
-  //   ): vscode.TextEdit[] {
-  //     const range = new vscode.Range(
-  //       document.positionAt(0),
-  //       document.positionAt(document.getText().length)
-  //     );
-
-  //     const filePath = document.uri.fsPath;
-  //     debugChannel.appendLine(`Formatting ${filePath}`);
-  //     const formatterCall = [
-  //       config.getJuvixExec(),
-  //       config.getGlobalFlags(),
-  //       '--stdin',
-  //       'dev',
-  //       'core',
-  //       'read',
-  //       filePath,
-  //     ].join(' ');
-
-  //     debugChannel.appendLine(formatterCall);
-
-  //     const { spawnSync } = require('child_process');
-  //     const ls = spawnSync(formatterCall, {
-  //       shell: true,
-  //       input: document.getText(),
-  //       encoding: 'utf8',
-  //     });
-
-  //     debugChannel.appendLine(ls.stdout);
-
-  //     if (ls.status == 0) {
-  //       const stdout = ls.stdout;
-  //       return [vscode.TextEdit.replace(range, stdout)];
-  //     } else {
-  //       const errMsg: string = ls.stderr.toString();
-  //       throw new Error(errMsg);
-  //     }
-  //   },
-  // });
-
-  // JuvixGeb
-
   vscode.languages.registerDocumentFormattingEditProvider('JuvixGeb', {
     provideDocumentFormattingEdits(
       document: vscode.TextDocument