build(deps-dev): bump @effect/language-service from 0.69.1 to 0.71.0

[dependabot]

Bumps @effect/language-service from 0.69.1 to 0.71.0.

Release notes

Sourced from @​effect/language-service's releases.

v0.71.0

Minor Changes

• #619 f171350 Thanks @​mattiamanzati! - Add effectSucceedWithVoid diagnostic to suggest using Effect.void instead of Effect.succeed(undefined) or Effect.succeed(void 0).

  The diagnostic detects calls to Effect.succeed where the argument is exactly undefined or void 0 (including parenthesized variants) and suggests replacing them with the more idiomatic Effect.void. A quick fix is provided to automatically apply the replacement.

  Before:

  Effect.succeed(undefined);
  Effect.succeed(void 0);

  After:

  Effect.void;

Patch Changes

• #621 74ef937 Thanks @​mattiamanzati! - Improve diagnostic messages for globalErrorInEffectFailure and globalErrorInEffectCatch to be more concise and actionable.

  Before:

  The global Error type is used in an Effect failure channel. It's not recommended to use the global Error type in Effect failures as they can get merged together. Instead, use tagged errors or custom errors with a discriminator property to get properly type-checked errors.
  

  After:

  Global 'Error' loses type safety as untagged errors merge together in the Effect failure channel. Consider using a tagged error and optionally wrapping the original in a 'cause' property.
  

v0.70.0

Minor Changes

• #618 ed689f8 Thanks @​mattiamanzati! - Improve globalErrorInEffectFailure diagnostic to detect global Error type in any Effect failure channel.

  The diagnostic now works by finding new Error() expressions and checking if they end up in an Effect's failure channel, rather than only checking Effect.fail calls. This means it will now detect global Error usage in:

  • Effect.fail(new Error(...))
  • Effect.gen functions that fail with global Error
  • Effect.mapError converting to global Error
  • Effect.flatMap chains that include global Error

  The diagnostic now reports at the new Error() location for better precision.

Patch Changes

• #616 b32da44 Thanks @​mattiamanzati! - Improve missedPipeableOpportunity diagnostic message to show the suggested subject for .pipe(...).

... (truncated)

Changelog

Sourced from @​effect/language-service's changelog.

0.71.0

Minor Changes

• #619 f171350 Thanks @​mattiamanzati! - Add effectSucceedWithVoid diagnostic to suggest using Effect.void instead of Effect.succeed(undefined) or Effect.succeed(void 0).

  The diagnostic detects calls to Effect.succeed where the argument is exactly undefined or void 0 (including parenthesized variants) and suggests replacing them with the more idiomatic Effect.void. A quick fix is provided to automatically apply the replacement.

  Before:

  Effect.succeed(undefined);
  Effect.succeed(void 0);

  After:

  Effect.void;

Patch Changes

• #621 74ef937 Thanks @​mattiamanzati! - Improve diagnostic messages for globalErrorInEffectFailure and globalErrorInEffectCatch to be more concise and actionable.

  Before:

  The global Error type is used in an Effect failure channel. It's not recommended to use the global Error type in Effect failures as they can get merged together. Instead, use tagged errors or custom errors with a discriminator property to get properly type-checked errors.
  

  After:

  Global 'Error' loses type safety as untagged errors merge together in the Effect failure channel. Consider using a tagged error and optionally wrapping the original in a 'cause' property.
  

0.70.0

Minor Changes

• #618 ed689f8 Thanks @​mattiamanzati! - Improve globalErrorInEffectFailure diagnostic to detect global Error type in any Effect failure channel.

  The diagnostic now works by finding new Error() expressions and checking if they end up in an Effect's failure channel, rather than only checking Effect.fail calls. This means it will now detect global Error usage in:

  • Effect.fail(new Error(...))
  • Effect.gen functions that fail with global Error
  • Effect.mapError converting to global Error
  • Effect.flatMap chains that include global Error

... (truncated)

Commits

• 71585f5 Version Packages (#620)
• 74ef937 Improve global Error diagnostic messages (#621)
• f171350 Add effectSucceedWithVoid diagnostic (#619)
• e09b563 Version Packages (#617)
• ed689f8 Improve globalErrorInEffectFailure diagnostic to detect global Error in any E...
• b32da44 Improve missedPipeableOpportunity diagnostic message to show subject (#616)
• 4ec3535 Version Packages (#613)
• ae4f054 Improve effectFnOpportunity diagnostic with configurable fixes and specific m...
• 2b49181 improve effectFnIife diagnostic to suggest withSpan when trace name exists (#...
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[socket-security]

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff	Package	Supply Chain Security	Vulnerability	Quality	Maintenance	License
	@​effect/​language-service@​0.69.1 ⏵ 0.71.0	+1		+1	+1

View full report