racket-langserver wrap identifier with `|` to get valid renaming

wrap identifier with `|` to get valid renaming

Open dannypsnl opened this issue 3 years ago • 2 comments

(define foo 1)
foo

If rename foo to foo bar, the new text should be |foo bar|, for convenience.

Sep 09 '22 15:09 dannypsnl

If one is in a different #lang than #lang racket, is adding |s what you want? (Is it what you get?)

Sep 10 '22 16:09 rfindler

Can syncheck-annotation know the language?

From my view this is “racket lang server”, so I will consider rare case less.

Sep 11 '22 00:09 dannypsnl