Racket Language Server

Implementation of the Language Server Protocol for Racket.

Custom extensions

Colorize Notification (:arrow_left:)

Colorize notifications are sent from the server to the client to enable semantic syntax highlighting.

When a file changes it is the server's responsibility to re-compute syntax highlighting and push them to the client. Newly pushed tokens always replace previously pushed tokens. There is no merging that happens on the client side.

Notification:

method: 'racket/colorize'
params: RacketColorizeParams defined as follows:

interface RacketColorizeParams {
	/**
	 * The URI for which colorization is reported.
	 */
	uri: DocumentUri;

	/**
	 * An array of diagnostic information items.
	 */
	tokens: RacketToken[];
}

interface RacketToken {
    /**
     * The kind of token.
     */
     kind: RacketTokenKind;

     /**
      * The lexer mode used.
      */
     mode: RacketLexerMode;

     /**
      * Range of the token.
      */
     range: Range;
}

enum RacketLexerMode {
    Racket = "racket",
    Scribble = "scribble",
    Other = "other"
}

enum RacketTokenKind {
    // Generic token kinds
    Symbol = "symbol",
    Keyword = "keyword",
    Comment = "comment",
    String = "string",
    Constant = "constant",
    Parenthesis = "parenthesis",
    Error = "error",
    NoColor = "no-color",
    Other = "other",
    // Racket token kinds
    HashColonKeyword = "hash-colon-keyword",
    SexpComment = "sexp-comment",
    // Racket semantic token kinds
    Imported = "imported",
    LexicallyBound = "lexically-bound",
    Free = "free",
    Set!d = "set!d",
    // Scribble token kinds
    Text = "text"
}

Indent Request (:arrow_left:)

Indent requests are sent from the client to the server to compute the indentation for a line number.

Request:

method: 'racket/indent'
params: RacketIndentParams defined as follows:

interface RacketIndentParams {
	/**
	 * The TextDocument for which indentation is requested.
	 */
	textDocument: TextDocumentIdentifier;

	/**
	 * The line to indent.
	 */
	line: number;
}

Response:

result: number
error: code and message set in case an exception happens during the definition request.

References

License

Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice and this permission notice appear in all copies.