From f4867e876184651a09c02676d229d98e66261437 Mon Sep 17 00:00:00 2001 From: Ryan Kavanagh Date: Fri, 14 Jun 2024 09:52:23 -0400 Subject: Support literal beluga --- dot_emacs.d/lisp/beluga/beluga-mode.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'dot_emacs.d') 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 -- cgit v1.2.3