michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-syntax): support multi-line comments /- ... -/

Browse source
This commit is contained in:
Soonho Kong 2014-08-25 11:20:01 -07:00
parent c0762333bd
commit 495809d86d
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/emacs/lean-syntax.el
View file

@ -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)