stan-language-server 0.4.6 → 0.4.7

package/dist/handlers/compilation/compilation.d.ts

@@ -5,6 +5,8 @@ import { type StancReturn } from "stanc3";
 export interface Settings {
     maxLineLength: number;
     includePaths: string[];
+    warnPedantic: boolean;
 }
 export declare const defaultSettings: Settings;
-export declare function handleCompilation(document: TextDocument, documentManager: TextDocuments<TextDocument>, workspaceFolders: WorkspaceFolder[], settings: Settings, logger: RemoteConsole, reader?: FileSystemReader): Promise<StancReturn>;
+export type Purpose = "formatting" | "linting";
+export declare function handleCompilation(document: TextDocument, documentManager: TextDocuments<TextDocument>, workspaceFolders: WorkspaceFolder[], settings: Settings, purpose: Purpose, logger: RemoteConsole, reader?: FileSystemReader): Promise<StancReturn>;

package/dist/server/index.js

@@ -525,7 +525,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);
@@ -708,32 +708,32 @@ import { URI as URI2 } from "vscode-uri";
 import { stanc } from "stanc3";
 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 = URI2.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 {
@@ -756,10 +756,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) {
@@ -889,7 +889,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",
-  "version": "0.4.6",
+  "version": "0.4.7",
   "description": "Language Server Protocol implementation for the Stan probabilistic programming language",
   "main": "dist/server/index.js",
   "module": "src/server/index.ts",
@@ -68,14 +68,14 @@
   },
   "devDependencies": {
     "@types/bun": "latest",
-    "@types/node": "25.5.0",
-    "@typescript-eslint/eslint-plugin": "8.57.1",
-    "@typescript-eslint/parser": "8.57.1",
-    "eslint": "10.0.3",
+    "@types/node": "25.6.0",
+    "@typescript-eslint/eslint-plugin": "8.59.1",
+    "@typescript-eslint/parser": "8.59.1",
+    "eslint": "10.3.0",
     "globals": "^17.3.0",
     "@eslint/js": "^10.0.1",
     "typescript-eslint": "^8.57.0",
-    "typescript": "5.9.3"
+    "typescript": "6.0.3"
   },
   "dependencies": {
     "stanc3": "2.38.0",