Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

render optional args as ?name: type instead of name: option<type> #1297

Merged
merged 3 commits into from
May 21, 2024

Conversation

dawedawe
Copy link
Contributor

before:
Screenshot from 2024-05-17 21-42-57
after:
Screenshot from 2024-05-17 21-48-09

We already do this in the status bar of VsCode/Ionide.
The line lens is still wrong, but one thing at a time :)

@dawedawe dawedawe changed the title render optional args as ?name: type instead of name: option<type> render optional args as ?name: type instead of name: option<type> May 17, 2024
Copy link
Contributor

@baronfel baronfel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, but I had a nit and I'd love to see a test to ensure we don't regress this.

@baronfel
Copy link
Contributor

Looks like we do have a test: FSAC.lsp.Ionide WorkspaceLoader.BackgroundCompiler.tooltip evaluation.tests.tooltip for line 48 character 28 should be 'static member Start: body : (MailboxProcessor<string> -> Async<unit>) * cancellationToken: option<System.Threading.CancellationToken> -> MailboxProcessor<string>' - should be easy to update and then we're good to go!

@dawedawe
Copy link
Contributor Author

LGTM, but I had a nit and I'd love to see a test to ensure we don't regress this.

Yes, sorry. I tried to come up with a test but expecto and me, man, we are no friends.

@dawedawe
Copy link
Contributor Author

Hey @baronfel , is there anything still missing here?

@baronfel baronfel merged commit b43fe3a into ionide:main May 21, 2024
25 of 26 checks passed
@baronfel
Copy link
Contributor

Nope, lovely change! Thank you for sending it!

@dawedawe
Copy link
Contributor Author

Sure, FSAC is absolutely rocking it!

@dawedawe dawedawe deleted the optional_args_signature branch May 21, 2024 17:30
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