@effect/language-service 0.45.1 → 0.47.0

package/index.js

@@ -1175,6 +1175,9 @@ var all = fn("all")(
 
 // src/core/LanguageServicePluginOptions.ts
 var LanguageServicePluginOptions = Tag("PluginOptions");
+function isValidSeverityLevel(value) {
+  return value === "off" || value === "error" || value === "warning" || value === "message" || value === "suggestion";
+}
 function parseDiagnosticSeverity(config) {
   if (!isRecord(config)) return {};
   return Object.fromEntries(
@@ -1182,9 +1185,7 @@ function parseDiagnosticSeverity(config) {
       Object.entries(config),
       filter(([key, value]) => isString(key) && isString(value)),
       map4(([key, value]) => [String(key).toLowerCase(), String(value).toLowerCase()]),
-      filter(
-        ([_, value]) => value === "off" || value === "error" || value === "warning" || value === "message" || value === "suggestion"
-      )
+      filter(([_, value]) => isValidSeverityLevel(value))
     )
   );
 }
@@ -1193,6 +1194,7 @@ var defaults = {
   diagnostics: true,
   diagnosticSeverity: {},
   diagnosticsName: true,
+  missingDiagnosticNextLine: "warning",
   quickinfo: true,
   quickinfoEffectParameters: "whentruncated",
   quickinfoMaximumLength: -1,
@@ -1235,6 +1237,7 @@ function parse(config) {
     diagnostics: isObject(config) && hasProperty(config, "diagnostics") && isBoolean(config.diagnostics) ? config.diagnostics : defaults.diagnostics,
     diagnosticSeverity: isObject(config) && hasProperty(config, "diagnosticSeverity") && isRecord(config.diagnosticSeverity) ? parseDiagnosticSeverity(config.diagnosticSeverity) : defaults.diagnosticSeverity,
     diagnosticsName: isObject(config) && hasProperty(config, "diagnosticsName") && isBoolean(config.diagnosticsName) ? config.diagnosticsName : defaults.diagnosticsName,
+    missingDiagnosticNextLine: isObject(config) && hasProperty(config, "missingDiagnosticNextLine") && isString(config.missingDiagnosticNextLine) && isValidSeverityLevel(config.missingDiagnosticNextLine) ? config.missingDiagnosticNextLine : defaults.missingDiagnosticNextLine,
     quickinfo: isObject(config) && hasProperty(config, "quickinfo") && isBoolean(config.quickinfo) ? config.quickinfo : defaults.quickinfo,
     quickinfoEffectParameters: isObject(config) && hasProperty(config, "quickinfoEffectParameters") && isString(config.quickinfoEffectParameters) && ["always", "never", "whentruncated"].includes(config.quickinfoEffectParameters.toLowerCase()) ? config.quickinfoEffectParameters.toLowerCase() : defaults.quickinfoEffectParameters,
     quickinfoMaximumLength: isObject(config) && hasProperty(config, "quickinfoMaximumLength") && isNumber(config.quickinfoMaximumLength) ? config.quickinfoMaximumLength : defaults.quickinfoMaximumLength,
@@ -1996,7 +1999,8 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
                   lineOverrides[ruleName].unshift({
                     pos: foundNode.node.pos,
                     end: foundNode.node.end,
-                    level: ruleLevel
+                    level: ruleLevel,
+                    commentRange: foundNode.commentRange
                   });
                 }
               } else {
@@ -2069,6 +2073,7 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
           fixes: entry.fixes.concat(node ? [fixByDisableNextLine(node)] : []).concat([fixByDisableEntireFile])
         });
       });
+      const unusedLineOverrides = new Set(lineOverrides[ruleNameLowered] || []);
       for (const emitted of applicableDiagnostics.slice(0)) {
         let newLevel = defaultLevel;
         const lineOverride = (lineOverrides[ruleNameLowered] || []).find(
@@ -2076,6 +2081,7 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
         );
         if (lineOverride) {
           newLevel = lineOverride.level;
+          unusedLineOverrides.delete(lineOverride);
         } else {
           const sectionOverride = (sectionOverrides[ruleNameLowered] || []).find((_) => _.pos < emitted.range.pos);
           if (sectionOverride) newLevel = sectionOverride.level;
@@ -2099,6 +2105,19 @@ var createDiagnosticExecutor = fn("LSP.createCommentDirectivesProcessor")(
           });
         }
       }
+      if (pluginOptions.missingDiagnosticNextLine !== "off" && unusedLineOverrides.size > 0) {
+        for (const unusedLineOverride of unusedLineOverrides) {
+          diagnostics2.push({
+            file: sourceFile,
+            start: unusedLineOverride.commentRange.pos,
+            length: unusedLineOverride.commentRange.end - unusedLineOverride.commentRange.pos,
+            messageText: `@effect-diagnostics-next-line ${rule.name}:${unusedLineOverride.level} has no effect, make sure you are suppressing the right rule.`,
+            category: levelToDiagnosticCategory[pluginOptions.missingDiagnosticNextLine],
+            code: -1,
+            source: "effect"
+          });
+        }
+      }
       return { diagnostics: diagnostics2, codeFixes };
     });
     return { execute };
@@ -4545,6 +4564,7 @@ var leakingRequirements = createDiagnostic({
     const typeChecker = yield* service(TypeCheckerApi);
     const typeCheckerUtils = yield* service(TypeCheckerUtils);
     const typeParser = yield* service(TypeParser);
+    const tsUtils = yield* service(TypeScriptUtils);
     const parseLeakedRequirements = cachedBy(
       fn("leakingServices.checkServiceLeaking")(
         function* (service2, atLocation) {
@@ -4602,7 +4622,21 @@ var leakingRequirements = createDiagnostic({
             }
           }
           if (sharedRequirementsKeys && sharedRequirementsKeys.length > 0 && effectMembers >= 2) {
-            return sharedRequirementsKeys.map((key) => memory.get(key));
+            return sharedRequirementsKeys.map((key) => memory.get(key)).filter(
+              (type) => {
+                let symbol3 = type.symbol;
+                if (symbol3 && symbol3.flags & ts.SymbolFlags.Alias) {
+                  symbol3 = typeChecker.getAliasedSymbol(symbol3);
+                }
+                return !(symbol3.declarations || []).some((declaration) => {
+                  const declarationSource = tsUtils.getSourceFileOfNode(declaration);
+                  if (!declarationSource) return false;
+                  return declarationSource.text.substring(declaration.pos, declaration.end).toLowerCase().indexOf(
+                    "@effect-leakable-service"
+                  ) > -1;
+                });
+              }
+            );
           }
           return [];
         }
@@ -4615,7 +4649,7 @@ var leakingRequirements = createDiagnostic({
       report({
         location: node,
         messageText: `This Service is leaking the ${requirements.map((_) => typeChecker.typeToString(_)).join(" | ")} requirement.
-If these requirements cannot be cached and are expected to be provided per method invocation (e.g. HttpServerRequest), you can safely disable this diagnostic for this line through quickfixes.
+If these requirements cannot be cached and are expected to be provided per method invocation (e.g. HttpServerRequest), you can either safely disable this diagnostic for this line through quickfixes or mark the service declaration with a JSDoc @effect-leakable-service.
 More info at https://effect.website/docs/requirements-management/layers/#avoiding-requirement-leakage`,
         fixes: []
       });
@@ -12331,7 +12365,7 @@ var layerMagic = createRefactor({
       return pipe(
         extractLayers(atLocation, false),
         flatMap2(
-          (extractedLayer) => extractedLayer.length < 1 ? TypeParserIssue.issue : succeed(extractedLayer)
+          (extractedLayer) => extractedLayer.length <= 1 ? TypeParserIssue.issue : succeed(extractedLayer)
         ),
         map5((extractedLayers) => ({
           kind: "refactor.rewrite.effect.layerMagicPrepare",
@@ -12417,7 +12451,7 @@ var layerMagic = createRefactor({
             extractArrayLiteral(_targetLayer.castedStructure),
             orElse2(() => extractLayers(_targetLayer.castedStructure, false)),
             flatMap2(
-              (extractedLayer) => extractedLayer.length < 1 ? TypeParserIssue.issue : succeed(extractedLayer)
+              (extractedLayer) => extractedLayer.length <= 1 ? TypeParserIssue.issue : succeed(extractedLayer)
             ),
             map5((extractedLayers) => ({
               kind: "refactor.rewrite.effect.layerMagicBuild",
@@ -12455,7 +12489,8 @@ var layerMagic = createRefactor({
                 const missingOutput = new Set(outputIndexes);
                 const missingInternal = /* @__PURE__ */ new Set();
                 const outputEntry = [];
-                for (const graphNode of sortedNodes) {
+                for (let i = 0; i < sortedNodes.length; i++) {
+                  const graphNode = sortedNodes[i];
                   const mergeOutput = graphNode.provides.filter((_) => missingOutput.has(_));
                   const provideInternal = graphNode.provides.filter((_) => missingInternal.has(_));
                   graphNode.requires.forEach((_) => missingInternal.add(_));
@@ -12483,7 +12518,15 @@ var layerMagic = createRefactor({
                     )
                   )
                 );
-                changeTracker.replaceNode(sourceFile, atLocation, newDeclaration, {
+                const newDeclarationWithComment = missingOutput.size > 0 ? ts.addSyntheticTrailingComment(
+                  newDeclaration,
+                  ts.SyntaxKind.MultiLineCommentTrivia,
+                  " Unable to find " + fromIterable(missingOutput).map((key) => memory.get(key)).map(
+                    (_) => typeChecker.typeToString(_, void 0, ts.TypeFormatFlags.NoTruncation)
+                  ).join(", ") + " in the provided layers. ",
+                  false
+                ) : newDeclaration;
+                changeTracker.replaceNode(sourceFile, atLocation, newDeclarationWithComment, {
                   leadingTriviaOption: ts.textChanges.LeadingTriviaOption.IncludeAll,
                   trailingTriviaOption: ts.textChanges.TrailingTriviaOption.Exclude
                 });