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

Version defined as UInteger when it should be an Integer #37

Open
rcjsuen opened this issue Nov 12, 2024 · 0 comments
Open

Version defined as UInteger when it should be an Integer #37

rcjsuen opened this issue Nov 12, 2024 · 0 comments

Comments

@rcjsuen
Copy link

rcjsuen commented Nov 12, 2024

The definition in diagnostics.go is not the same as what is defined in the specification.

type PublishDiagnosticsParams struct {
/**
* The URI for which diagnostic information is reported.
*/
URI DocumentUri `json:"uri"`
/**
* Optional the version number of the document the diagnostics are published
* for.
*
* @since 3.15.0
*/
Version *UInteger `json:"version,omitempty"`

interface PublishDiagnosticsParams {
	/**
	 * The URI for which diagnostic information is reported.
	 */
	uri: DocumentUri;

	/**
	 * Optional the version number of the document the diagnostics are published
	 * for.
	 *
	 * @since 3.15.0
	 */
	version?: integer;

	/**
	 * An array of diagnostic information items.
	 */
	diagnostics: Diagnostic[];
}
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

No branches or pull requests

1 participant