From 495809d86da4356b01b1a5c904d45e5a7679f2dd Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 25 Aug 2014 11:20:01 -0700 Subject: [PATCH] feat(emacs/lean-syntax): support multi-line comments /- ... -/ --- src/emacs/lean-syntax.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/emacs/lean-syntax.el b/src/emacs/lean-syntax.el index 5b146d55f..3815e8afa 100644 --- a/src/emacs/lean-syntax.el +++ b/src/emacs/lean-syntax.el @@ -25,9 +25,9 @@ (modify-syntax-entry ?\] ")[" st) (modify-syntax-entry ?\{ "(}" st) (modify-syntax-entry ?\} "){" st) - (modify-syntax-entry ?\( "() 1nb" st) - (modify-syntax-entry ?\) ")( 4nb" st) + ;; comment + (modify-syntax-entry ?/ "_ 14nb" st) (modify-syntax-entry ?- "_ 123" st) (modify-syntax-entry ?\n ">" st) @@ -37,7 +37,7 @@ ;; Lean operator chars (mapc #'(lambda (ch) (modify-syntax-entry ch "_" st)) - "!#$%&*+./<=>@^|~:") + "!#$%&*+.<=>@^|~:") ;; Whitespace is whitespace (modify-syntax-entry ?\ " " st)