Skip to content

Commit d31134c

Browse files
committed
purescript-mode.el: remove warning about purescript-font-lock-symbols
It's been there since 2019 and the variable has been no-op since then as well. I think it's fair to assume anyone who were still using the variable either moved on, or if they didn't notice anything, they will probably keep not noticing anything, because the variable has been no-op for so long.
1 parent a4434b5 commit d31134c

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

purescript-mode.el

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -325,10 +325,7 @@ see documentation for that variable for more details."
325325
(setq-local beginning-of-defun-function 'purescript-beginning-of-defun)
326326
(setq prettify-symbols-alist purescript-font-lock-prettify-symbols-alist
327327
;; make (ff-find-other-file) find .js FFI file, given .purs
328-
ff-other-file-alist '((".purs\\'" (".js"))))
329-
(when (bound-and-true-p purescript-font-lock-symbols)
330-
(warn "`purescript-font-lock-symbols' is obsolete: please enable `prettify-symbols-mode' locally or globally instead."))
331-
)
328+
ff-other-file-alist '((".purs\\'" (".js")))))
332329

333330
(defun purescript-fill-paragraph (justify)
334331
(save-excursion

0 commit comments

Comments
 (0)