Minor fix for textDocument/definition.

jeapostrophe · May 23, 2018 · 3b4d67e · 3b4d67e
1 parent 7d94023
commit 3b4d67e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/text-document.rkt b/text-document.rkt
@@ -162,7 +162,9 @@
           (Location #:uri uri
                     #:range (Range #:start (abs-pos->Pos doc-text start)
                                    #:end   (abs-pos->Pos doc-text end)))]))
-     (success-response id result)]))
+     (success-response id result)]
+    [_
+     (error-response id INVALID-PARAMS "textDocument/definition failed")]))
 
 ;; Reference request
 (define (references id params)