(define lsp-server-log-level (make-parameter 'debug)) (define lsp-server-state 'off) (define lsp-server-version "0.1.1") (define listening-threads '()) (define listening-threads-mutex (make-mutex)) (define (shutting-down?) (eqv? lsp-server-state 'shutdown)) (define-syntax define-handler (syntax-rules () ((define-handler (handler params #:exit? exit?) body ...) (define (handler params) (when (and (shutting-down?) (not exit?)) (raise (make-json-rpc-invalid-request-error "Only exit request allowed after shutdown."))) (write-log 'debug (format "Handler ~a called with params ~s" 'handler (truncate-string (format "~a" params)))) body ...)) ((define-handler (handler params) body ...) (define-handler (handler params #:exit? #f) body ...)))) ;; all implementations should implement at least following ;; capabilities. (define mandatory-capabilities '((textDocumentSync . ((save . #t) (openClose . #t) (change . 2))) (hoverProvider . #t) (completionProvider . ((resolveProvider . #t))) (signatureHelpProvider . ()))) (define-handler (initialize-handler params) (define root-path (get-root-path params)) (when ($initialize-lsp-server! root-path) (write-log 'info "LSP server initialized")) (set! lsp-server-state 'on) `((capabilities . ,(append mandatory-capabilities $server-capabilities)) (serverInfo . ((name . ,$server-name) (version . ,lsp-server-version))))) (define-handler (initialized-handler params) (write-log 'info "Server initialized") 'null) (define-handler (shutdown-handler params) (write-log 'info "shutting down") 'null) (define-handler (lsp-exit-handler params #:exit? #t) (write-log 'info "exiting") (json-rpc-exit) #f) (define-handler (ignore-request params) (write-log 'debug (format "ignoring request. Params: ~a" params)) #f) (define-handler (text-document/definition params) (define editor-word (get-word-under-cursor params)) (define file-path (get-uri-path params)) (define mod-name (and file-path (parse-library-name-from-file file-path))) (if editor-word (let* ((word-text (editor-word-text editor-word)) (def-locs ($get-definition-locations mod-name (string->symbol word-text)))) (cond ((not (null? def-locs)) (let ((v (list->vector def-locs))) (write-log 'debug (format "$get-definition-locations resulted in ~a" v)) v)) (else (write-log 'debug (format "no definitions found for ~a" (editor-word-text editor-word))) 'null))) 'null)) (define-handler (text-document/did-change params) (define file-path (get-uri-path params)) (define changes ($string-split (alist-ref 'text (vector-ref (alist-ref 'contentChanges params) 0)) "\r\n" 'infix)) (cond ((and file-path (not (hash-table-ref/default (file-table) file-path #f))) ;;(generate-meta-data! file-path) (read-file! file-path) (update-file! file-path (alist-ref 'contentChanges params)) (write-log 'debug (format "file contents read: ~a" file-path))) (file-path (update-file! file-path (alist-ref 'contentChanges params)) (write-log 'debug (format "file contents updated: ~a" file-path))) (else (write-log 'debug (format "file-path not found: ~a" file-path)))) #f) (define-handler (text-document/did-close params) (define file-path (get-uri-path params)) (when (free-file! file-path) (write-log 'info "file closed" file-path)) #f) (define-handler (text-document/did-open params) (define file-path (get-uri-path params)) (if file-path (begin ($open-file! file-path) ;;(generate-meta-data! file-path) (read-file! file-path) ;; TODO first make this portable (i.e. not relying on /tmp), then ;; uncomment it. ;; We leave it in, since it's helpful when debugging problems ;; regarding the internal document representation (out-of-index etc). ;; (when (satisfies-log-level? 'debug) ;; (let ((tmp-file (string-append "/tmp/" (remove-slashes file-path)))) ;; (write-log 'debug ;; (format "dumping content read into ~a" tmp-file)) ;; (mutex-lock! file-table-mutex) ;; (with-output-to-file tmp-file ;; (lambda () ;; (display (hash-table-ref file-table file-path)))) ;; (mutex-unlock! file-table-mutex))) (write-log 'debug (format "file contents read: ~a" file-path))) (write-log 'debug (format "file-path not found: ~a" file-path))) #f) (define-handler (text-document/did-save params) (define file-path (get-uri-path params)) (write-log 'info "file saved.") ($save-file! file-path) #f) (define-handler (text-document/completion params) (define cur-char-number (alist-ref* '(position character) params)) (define editor-word (get-word-under-cursor params)) (define file-path (get-uri-path params)) (define mod-name (and file-path (parse-library-name-from-file file-path))) (write-log 'debug (format "editor-word: ~a, start-char: ~a, end-char: ~a~%" (editor-word-text editor-word) (editor-word-start-char editor-word) (editor-word-end-char editor-word))) (if (or (not editor-word) (< (string-length (editor-word-text editor-word)) 3)) 'null (let* ((word (editor-word-text editor-word)) (suggestions ($apropos-list mod-name word))) (write-log 'debug "getting completion suggestions for word " word) (write-log 'debug (format "suggestions list: ~a" suggestions)) `((isIncomplete . #t) (items . ,(list->vector (map (lambda (suggestion) (let* ((id-name (car suggestion)) (mod-name-str (stringify (cdr suggestion))) (start-line (alist-ref* '(position line) params)) (start-char (editor-word-start-char editor-word)) (end-char (editor-word-end-char editor-word)) (text-edit `((range . ((start . ((line . ,start-line) (character . ,start-char))) (end . ((line . ,start-line) (character . ,cur-char-number))))) (newText . ,id-name)))) `((label . ,id-name) (insertText . ,id-name) (sortText . ,id-name) (textEdit . ,text-edit) (data . ((identifier . ,id-name) (module . ,mod-name-str)))))) suggestions))))))) (define-handler (completion-item/resolve params) (define id (string->symbol (alist-ref* '(data identifier) params))) (define file-path (get-uri-path params)) (define mod-name (and file-path (parse-library-name-from-file file-path))) (define mod (let ((m (alist-ref* '(data module) params))) (if m (split-module-name m) mod-name))) (write-log 'debug (format "params: ~a" params)) (guard (condition (#t (begin (write-log 'warning "error resolving " mod id) (if (satisfies-log-level? 'info) (raise (make-json-rpc-internal-error (format "Error resolving ~a ~a" mod id))) 'null)))) (begin (let ((doc (or ($fetch-documentation mod id) ""))) (cons `(documentation . ,doc) params))))) (define (fetch-signature-under-cursor params) (define editor-word (get-word-under-cursor params)) (define file-path (get-uri-path params)) (define mod-name (and file-path (parse-library-name-from-file file-path))) (if (and editor-word (not (string=? (editor-word-text editor-word) ""))) (begin (let* ((cur-word (editor-word-text editor-word)) (signature ($fetch-signature mod-name (string->symbol cur-word)))) (if (not signature) (begin (write-log 'warning (format "no signature found for: ~a" cur-word)) 'null) signature))) #f)) (define-handler (text-document/signature-help params) (let ((signature (fetch-signature-under-cursor params))) `((signatures . ,(vector `((label . ,signature))))))) (define-handler (text-document/hover params) (write-log 'debug (format "hover with params: ~a" params)) (let ((signature (fetch-signature-under-cursor params))) (if (and signature (not (equal? signature "")) (not (equal? signature 'null))) `((contents . ((kind . "plaintext") (value . ,signature)))) 'null))) (define-handler (custom/load-file params) (define file-path (get-uri-path params)) (write-log 'debug "loading file: " file-path) (guard (condition (#t (write-log 'warning "error loading file"))) (load file-path)) #f) (define (parameterize-and-run thunk) (parameterize ((json-rpc-log-file (lsp-server-log-file)) (json-rpc-log-level (lsp-server-log-level)) (log-level (lsp-server-log-level)) (custom-error-codes '((definition-not-found-error . -32000) (load-error . -32001))) (json-rpc-handler-table `(("initialize" . ,initialize-handler) ("initialized" . ,initialized-handler) ("textDocument/definition" . ,text-document/definition) ("textDocument/didChange" . ,text-document/did-change) ("textDocument/didClose" . ,text-document/did-close) ("textDocument/didOpen" . ,text-document/did-open) ("textDocument/didSave" . ,text-document/did-save) ("textDocument/completion" . ,text-document/completion) ("textDocument/hover" . ,text-document/hover) ("completionItem/resolve" . ,completion-item/resolve) ("textDocument/signatureHelp" . ,text-document/signature-help) ("$/cancelRequest" . ,ignore-request) ("exit" . ,lsp-exit-handler) ("shutdown" . ,shutdown-handler) ;; custom commands ("custom/loadFile" . ,custom/load-file)))) (thunk))) (define lsp-server-start/stdio (case-lambda (() (lsp-server-start/stdio (current-input-port) (current-output-port))) ((input-port output-port) (parameterize-and-run (lambda () (json-rpc-loop input-port output-port)))))) (define (lsp-server-start/tcp port-num) (parameterize-and-run (lambda () (json-rpc-start-server/tcp port-num)))) (define (parameterize-log-levels thunk) (parameterize ((log-level (lsp-server-log-level)) (json-rpc-log-level (lsp-server-log-level))) (thunk))) (define (lsp-spawner-loop command-port-num) (write-log 'debug (format "lsp-spawner-loop: ~a [log level: ~a]" command-port-num (lsp-server-log-level))) (parameterize (($tcp-read-timeout #f)) (let ((listener ($tcp-listen command-port-num))) (let loop () (let-values (((in-port out-port) (guard (condition (#t (begin (write-log 'error (string-append (format "Unable to open command listener of LSP server on port ~a.~%" command-port-num) "Is the server already running?" "If not, try changing the LSP's command port of your LSP client.")) (exit 1)))) ($tcp-accept listener)))) (thread-start! (make-thread (lambda () (lsp-server-start/stdio in-port out-port)))) (loop)))))) (define (lsp-spawner-start port-num) (parameterize-log-levels (lambda () (write-log 'info (format "LSP command server started on port ~a" port-num)) (thread-start! (make-thread (lambda () (lsp-spawner-loop port-num))))))) (define (remove-slashes path) (define new-path (make-string (string-length path))) (string-fold (lambda (c i) (if (char=? c #\/) (string-set! new-path i #\.) (string-set! new-path i c)) (+ i 1)) 0 path) new-path) (define (truncate-string str) (define max-length 40) (if (< (string-length str) max-length) str (string-append (string-take str max-length) " ...")))