From 6f8ade23551add38a07a62033993f85f4efe3872 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Wed, 7 Nov 2007 10:59:30 +0000 Subject: Debugging font-lock regexp. --- coq/coq-syntax.el | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 86b00f24..8e84b18d 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -813,9 +813,6 @@ Used by `coq-goal-command-p'" (defvar coq-ids (proof-ids coq-id " ")) -(defun coq-first-abstr-regexp (paren) - (concat paren "\\s-*\\(" coq-ids "\\)\\s-*:[^:]")) ; [^: to avoid color on (x::l)] - (defun coq-first-abstr-regexp (paren end) (concat paren "\\s-*\\(" coq-ids "\\)\\s-*" end)) @@ -827,9 +824,9 @@ Used by `coq-goal-command-p'" (defvar coq-font-lock-terms (list ;; lambda binders - (list (coq-first-abstr-regexp "fun\>" "\\(?:=>\\|:\\)") 1 'font-lock-variable-name-face) + (list (coq-first-abstr-regexp "\\" "\\(?:=>\\|:\\)") 1 'font-lock-variable-name-face) ;; forall binder - (list (coq-first-abstr-regexp "forall\>" "\\(?:,\\|:\\)") 1 'font-lock-variable-name-face) + (list (coq-first-abstr-regexp "\\" "\\(?:,\\|:\\)") 1 'font-lock-variable-name-face) ;; Pi binders (list (coq-first-abstr-regexp "(" ":[^:=]") 1 'font-lock-variable-name-face) ;; second, third, etc. abstraction for Lambda of Pi binders -- cgit v1.2.3