diff options
| author | Ryan Kavanagh <rak@rak.ac> | 2024-06-14 09:52:23 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@rak.ac> | 2024-06-14 09:52:23 -0400 |
| commit | f4867e876184651a09c02676d229d98e66261437 (patch) | |
| tree | 85b6ecc42d83d1a480bc9f1f92590cfa2423e8c3 | |
| parent | rak-meta (diff) | |
Support literal beluga
| -rw-r--r-- | dot_emacs.d/lisp/beluga/beluga-mode.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dot_emacs.d/lisp/beluga/beluga-mode.el b/dot_emacs.d/lisp/beluga/beluga-mode.el index 8c04209..ef33b8b 100644 --- a/dot_emacs.d/lisp/beluga/beluga-mode.el +++ b/dot_emacs.d/lisp/beluga/beluga-mode.el @@ -153,7 +153,8 @@ in unicode using Font Lock mode." (modify-syntax-entry ?\{ "(}2 b" st) (modify-syntax-entry ?\} "){3 b" st) (modify-syntax-entry ?\n ">" st) - (modify-syntax-entry ?/ "$/" st) + ;; the following line breaks using / in identifiers + ;; (modify-syntax-entry ?/ "$/" st) ;; For application of dependent arguments "exp A < ctx . term >", we'd want ;; <..> to match, but that breaks ->, <-, and other things. ;; (modify-syntax-entry ?< "(>" st) @@ -224,7 +225,7 @@ Regexp match data 0 points to the chars." keep))))))) (defconst beluga-syntax-id-re - "[[:alpha:]_][[:alnum:]_']*" + "[[:alpha:]_][[:alnum:]!'-@~$*/^&+=_]*" "A regexp for matching a Beluga identifier.") (defconst beluga-syntax-fundec-re |