Skip to content

Conversation

@razzmatazz
Copy link
Contributor

@razzmatazz razzmatazz commented May 6, 2024

This PR imports some of *RegistrationOptions types from LSP spec

@razzmatazz razzmatazz force-pushed the import-more-types-from-lsp branch from 83e4998 to 09ff020 Compare May 9, 2024 05:16
@razzmatazz razzmatazz changed the title src/Types.fs: import more types from LSP spec Types: import more *RegistrationOptions types from LSP spec May 9, 2024
@razzmatazz razzmatazz force-pushed the import-more-types-from-lsp branch 3 times, most recently from 87c62c3 to fdb5b42 Compare May 9, 2024 05:19
@razzmatazz razzmatazz marked this pull request as ready for review May 9, 2024 05:19
@razzmatazz
Copy link
Contributor Author

Ideally #49 would do this for us, but for now..

Co-authored-by: Adam Tao <tcx4c70@gmail.com>
@razzmatazz razzmatazz force-pushed the import-more-types-from-lsp branch from fdb5b42 to 275d198 Compare May 9, 2024 05:21
@razzmatazz
Copy link
Contributor Author

CC @baronfel

@TheAngryByrd
Copy link
Member

Ideally #49 would do this for us, but for now..

Yeah I need to get on that. one day...

CompletionItem: CompletionItemOptions option
}

type CompletionRegistrationOptions =
Copy link
Member

Choose a reason for hiding this comment

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

Copy link
Member

Choose a reason for hiding this comment

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

There's 28 types that seem to extend WorkDoneProgressOptions and none of our current types care about it.

I'm ok without having it for this PR.

RetriggerCharacters: char[] option
}

type SignatureHelpRegistrationOptions =
Copy link
Member

Choose a reason for hiding this comment

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

Same here about workDoneProgress

@TheAngryByrd TheAngryByrd merged commit 4eba1dc into ionide:main May 9, 2024
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