@effect/language-service 0.58.1 → 0.58.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/language-service",
-  "version": "0.58.1",
+  "version": "0.58.3",
   "description": "A Language-Service Plugin to Refactor and Diagnostic effect-ts projects",
   "main": "index.cjs",
   "bin": {

package/transform.js

@@ -1798,6 +1798,9 @@ function makeTypeScriptUtils(ts) {
     }
     return node;
   }
+  function isDeclarationKind(kind) {
+    return kind === ts.SyntaxKind.ArrowFunction || kind === ts.SyntaxKind.BindingElement || kind === ts.SyntaxKind.ClassDeclaration || kind === ts.SyntaxKind.ClassExpression || kind === ts.SyntaxKind.ClassStaticBlockDeclaration || kind === ts.SyntaxKind.Constructor || kind === ts.SyntaxKind.EnumDeclaration || kind === ts.SyntaxKind.EnumMember || kind === ts.SyntaxKind.ExportSpecifier || kind === ts.SyntaxKind.FunctionDeclaration || kind === ts.SyntaxKind.FunctionExpression || kind === ts.SyntaxKind.GetAccessor || kind === ts.SyntaxKind.ImportClause || kind === ts.SyntaxKind.ImportEqualsDeclaration || kind === ts.SyntaxKind.ImportSpecifier || kind === ts.SyntaxKind.InterfaceDeclaration || kind === ts.SyntaxKind.JsxAttribute || kind === ts.SyntaxKind.MethodDeclaration || kind === ts.SyntaxKind.MethodSignature || kind === ts.SyntaxKind.ModuleDeclaration || kind === ts.SyntaxKind.NamespaceExportDeclaration || kind === ts.SyntaxKind.NamespaceImport || kind === ts.SyntaxKind.NamespaceExport || kind === ts.SyntaxKind.Parameter || kind === ts.SyntaxKind.PropertyAssignment || kind === ts.SyntaxKind.PropertyDeclaration || kind === ts.SyntaxKind.PropertySignature || kind === ts.SyntaxKind.SetAccessor || kind === ts.SyntaxKind.ShorthandPropertyAssignment || kind === ts.SyntaxKind.TypeAliasDeclaration || kind === ts.SyntaxKind.TypeParameter || kind === ts.SyntaxKind.VariableDeclaration || kind === ts.SyntaxKind.JSDocTypedefTag || kind === ts.SyntaxKind.JSDocCallbackTag || kind === ts.SyntaxKind.JSDocPropertyTag || kind === ts.SyntaxKind.NamedTupleMember;
+  }
   return {
     findNodeAtPositionIncludingTrivia,
     parsePackageContentNameAndVersionFromScope,
@@ -1820,7 +1823,8 @@ function makeTypeScriptUtils(ts) {
     parseAccessedExpressionForCompletion,
     getSourceFileOfNode,
     isOuterExpression,
-    skipOuterExpressions
+    skipOuterExpressions,
+    isDeclarationKind
   };
 }
 
@@ -3681,9 +3685,11 @@ var anyUnknownInErrorContext = createDiagnostic({
       }
       if (ts.isParameter(node) || ts.isPropertyDeclaration(node) || ts.isVariableDeclaration(node)) {
         if (node.type) {
+          const typeNode = node.type;
           const type2 = typeChecker.getTypeAtLocation(node.type);
           const expectedEffect = yield* pipe(
             typeParser.strictEffectType(type2, node.type),
+            orElse2(() => typeParser.layerType(type2, typeNode)),
             orElse2(() => void_)
           );
           if (expectedEffect) continue;
@@ -3705,8 +3711,9 @@ var anyUnknownInErrorContext = createDiagnostic({
       if (!type) continue;
       yield* pipe(
         typeParser.strictEffectType(type, node),
-        map4((effect) => {
-          const { E, R } = effect;
+        orElse2(() => pipe(typeParser.layerType(type, node), map4(({ E, RIn }) => ({ E, R: RIn })))),
+        map4((effectOrLayer) => {
+          const { E, R } = effectOrLayer;
           const hasAnyUnknownR = isAnyOrUnknown(R);
           const hasAnyUnknownE = isAnyOrUnknown(E);
           if (hasAnyUnknownR || hasAnyUnknownE) {
@@ -3729,7 +3736,7 @@ var anyUnknownInErrorContext = createDiagnostic({
                 matchingNodes.splice(i, 1);
               }
             }
-            const suggestions = [`This Effect has ${channels.join(" and ")} which is not recommended.`];
+            const suggestions = [`This has ${channels.join(" and ")} which is not recommended.`];
             if (hasAnyUnknownR) {
               suggestions.push(`Only service identifiers should appear in the requirements channel.`);
             }
@@ -5582,18 +5589,12 @@ var annotate = createCodegen({
       for (const variableDeclaration of variableDeclarations) {
         if (!variableDeclaration.initializer) continue;
         const initializerType = typeChecker.getTypeAtLocation(variableDeclaration.initializer);
+        const enclosingNode = ts.findAncestor(variableDeclaration, (_) => tsUtils.isDeclarationKind(_.kind)) || sourceFile;
         const initializerTypeNode = fromNullable(typeCheckerUtils.typeToSimplifiedTypeNode(
           initializerType,
-          node,
+          enclosingNode,
           ts.NodeBuilderFlags.NoTruncation
         )).pipe(
-          orElse(
-            () => fromNullable(typeCheckerUtils.typeToSimplifiedTypeNode(
-              initializerType,
-              void 0,
-              ts.NodeBuilderFlags.NoTruncation
-            ))
-          ),
           getOrUndefined
         );
         if (!initializerTypeNode) continue;