fix playground hover

[tsnobip]

No description provided.

[cloudflare-workers-and-pages]

Deploying rescript-lang-org with    Cloudflare Pages

Latest commit:	1355a6b
Status:	✅  Deploy successful!
Preview URL:	https://75521093.rescript-lang.pages.dev
Branch Preview URL:	https://playground-hover.rescript-lang.pages.dev

View logs

[chatgpt-codex-connector]

💡 Codex Review

rescript-lang.org/src/components/CodeMirror.res

Line 638 in 2cd4dcb

let mousePos = {HoverHint.Position.line, col}

Fix invalid hover mousePos record literal

The new hoverTooltip handler builds mousePos using {HoverHint.Position.line, col}, but HoverHint.Position defines no value line; this attempts to read a nonexistent identifier instead of the local line variable, so the file will not compile and hover hints cannot build until the record literal is corrected (e.g., {line, col} or HoverHint.Position.{line, col}).

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".