Skip to content

docs(editor-setup): document LSP diagnostics and driver docs on hover - #86

Merged
raphaelvigee merged 1 commit into
mainfrom
claude/eager-galileo-hbyzrb
Jul 31, 2026
Merged

docs(editor-setup): document LSP diagnostics and driver docs on hover#86
raphaelvigee merged 1 commit into
mainfrom
claude/eager-galileo-hbyzrb

Conversation

@raphaelvigee

Copy link
Copy Markdown
Member

Summary

  • Document the new LSP diagnostics that flag a target()/provider_state() call missing a required field (base field or, once driver/provider is resolved, a driver/provider-required field).
  • Document that hover on a target() call now also shows the resolved driver's config-field docs, alongside the existing addresses-produced info.

Triggered by hephbuild/heph@85b556b (hephbuild/heph#296), which added these behaviors to the BUILD-file language server. The completion-precedence change in that PR (heph's own completions replacing the stock LSP server's at exact syntactic positions) is an internal behavioral detail with no user-facing surface change, so it's intentionally left undocumented here.

Test plan

  • Doc-only change; not built locally per routine instructions. Existing ## What it provides table format preserved — a new row added, one row extended.

🤖 Generated with Claude Code

https://claude.ai/code/session_01JT52j7Xj26SsQAkreF4tFd


Generated by Claude Code

heph#296 added missing-required-field diagnostics for target()/
provider_state() calls and driver config-field docs on hover once a
target's driver is resolved. Document both in the editor setup guide.

Refs hephbuild/heph@85b556b (#296)

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01JT52j7Xj26SsQAkreF4tFd
@github-actions

Copy link
Copy Markdown

⚡ Cloudflare Pages preview

Preview https://3cbb55b0.hephbuild.pages.dev
Commit 498dec5

@raphaelvigee
raphaelvigee merged commit 5c8c0f6 into main Jul 31, 2026
3 checks passed
@raphaelvigee
raphaelvigee deleted the claude/eager-galileo-hbyzrb branch July 31, 2026 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants