stan-language-server-bin 0.4.6 → 0.4.7

package/bin/cli.js

@@ -30324,7 +30324,7 @@ var getTextUpToCursor = (text, position) => {
 };
 function handleCompletion(params, documents, supportsSnippets) {
   const document = documents.get(params.textDocument.uri);
-  if (!document) {
+  if (!document || !document.languageId.startsWith("stan")) {
     return [];
   }
   const textUpToCursor = getTextUpToCursor(document.getText(), params.position);
@@ -30880,32 +30880,32 @@ var readIncludedFileFromFileSystem = async (filename, dirs, fileSystemReader) =>
 // src/handlers/compilation/compilation.ts
 var defaultSettings = {
   maxLineLength: 78,
-  includePaths: []
+  includePaths: [],
+  warnPedantic: false
 };
-async function handleCompilation(document, documentManager, workspaceFolders, settings, logger, reader) {
+async function handleCompilation(document, documentManager, workspaceFolders, settings, purpose, logger, reader) {
   const filename = URI.parse(document.uri).fsPath;
   const code = document.getText();
   const includes = await handleIncludes(document, documentManager, workspaceFolders, settings.includePaths, logger, reader);
-  const stanc_args = [
-    "auto-format",
-    `filename-in-msg=${filename}`,
-    `max-line-length=${settings.maxLineLength}`,
-    "canonicalze=deprecations",
-    "allow-undefined"
-  ];
+  const stanc_args = [`filename-in-msg=${filename}`, "allow-undefined"];
   if (filename.endsWith(".stanfunctions")) {
     stanc_args.push("functions-only");
   }
+  if (purpose === "formatting") {
+    stanc_args.push("auto-format", `max-line-length=${settings.maxLineLength}`, "canonicalze=deprecations");
+  } else if (settings.warnPedantic) {
+    stanc_args.push("warn-pedantic");
+  }
   return Promise.resolve(stanc(filename, code, stanc_args, includes));
 }
 
 // src/handlers/diagnostics.ts
 async function handleDiagnostics(params, documents, workspaceFolders, settings, logger, reader) {
   const document = documents.get(params.textDocument.uri);
-  if (!document) {
+  if (!document || !document.languageId.startsWith("stan")) {
     return [];
   }
-  const compilerResult = await handleCompilation(document, documents, workspaceFolders, settings, logger, reader);
+  const compilerResult = await handleCompilation(document, documents, workspaceFolders, settings, "linting", logger, reader);
   const diagnostics = provideDiagnostics(compilerResult).map((diagnostic) => {
     if (diagnostic.severity === "error") {
       return {
@@ -30928,10 +30928,10 @@ async function handleDiagnostics(params, documents, workspaceFolders, settings,
 // src/handlers/formatting.ts
 async function handleFormatting(params, documents, workspaceFolders, settings, logger, reader) {
   const document = documents.get(params.textDocument.uri);
-  if (!document) {
+  if (!document || !document.languageId.startsWith("stan")) {
     return [];
   }
-  const result = await handleCompilation(document, documents, workspaceFolders, settings, logger, reader);
+  const result = await handleCompilation(document, documents, workspaceFolders, settings, "formatting", logger, reader);
   if (result.errors && result.errors.length > 0) {
     return { errors: result.errors };
   } else if (result.result) {
@@ -31061,7 +31061,7 @@ var startLanguageServer = (connection, reader) => {
   });
   connection.onHover((params) => {
     const document = documents.get(params.textDocument.uri);
-    if (!document) {
+    if (!document || !document.languageId.startsWith("stan")) {
       return null;
     }
     return hover_default(document, params);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "stan-language-server-bin",
-  "version": "0.4.6",
+  "version": "0.4.7",
   "description": "CLI distribution of the Stan language server",
   "bin": {
     "stan-language-server": "bin/cli.js"