🌐 US-Proxy
class="logged-out env-production page-responsive" style="word-wrap: break-word;" >
Skip to content

LSP - Fix prefixing on type sig hints - #6188

Merged
ChrisPenner merged 15 commits into
trunkfrom
cp/prefixed-type-sigs
Apr 10, 2026
Merged

LSP - Fix prefixing on type sig hints#6188
ChrisPenner merged 15 commits into
trunkfrom
cp/prefixed-type-sigs

Conversation

@ChrisPenner

Copy link
Copy Markdown
Member

Overview

On trunk, type signature hints didn't understand the top-level namespace directive, now they do.

On trunk:

image

This branch:

image

Implementation approach and notes

  • Include the top-level namespace prefix in the Unison File and typechecked Unison File values themselves (in the parser)
  • Use this to strip the namespace prefix when generating suggestions.

Testing

Tested manually

@ChrisPenner

ChrisPenner commented Mar 17, 2026

Copy link
Copy Markdown
Member Author

Note @aryairani I also changed the attestation scripts to run in Verbose mode as part of this.

I take it back, can't leave it in verbose mode because the CI script currently matches directly on the stdout message rather than exit code; so the verbose output breaks the result.

@ChrisPenner
ChrisPenner marked this pull request as ready for review March 17, 2026 21:40
@ChrisPenner
ChrisPenner requested a review from a team as a code owner March 17, 2026 21:40
@ChrisPenner
ChrisPenner force-pushed the cp/prefixed-type-sigs branch from b9976d2 to ddb05bb Compare March 19, 2026 20:33
@ChrisPenner
ChrisPenner requested a review from aryairani March 19, 2026 21:28
@aryairani

Copy link
Copy Markdown
Contributor

@ChrisPenner I made a few fixes (hopefully improvements) to the CI stuff, but I want to know if it works now from your machine. Can you re-pull and re-run checks.sh

@ChrisPenner
ChrisPenner force-pushed the cp/prefixed-type-sigs branch from 4388a27 to a752df2 Compare April 10, 2026 17:38
@ChrisPenner
ChrisPenner added this pull request to the merge queue Apr 10, 2026
Merged via the queue into trunk with commit 5f134e6 Apr 10, 2026
11 checks passed
@ChrisPenner
ChrisPenner deleted the cp/prefixed-type-sigs branch April 10, 2026 18:33
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