From 01e99e72aacce3cd833cd2c484dd86e9b8e9223d Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Sat, 6 Jul 2013 20:15:20 +0000 Subject: Fixing #474. & is now an declared operator. I need something better to capture any operator and give it a (configurable?) precedence. --- coq/coq-smie-lexer.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/coq/coq-smie-lexer.el b/coq/coq-smie-lexer.el index 769ecce7..cf9c9878 100644 --- a/coq/coq-smie-lexer.el +++ b/coq/coq-smie-lexer.el @@ -608,7 +608,8 @@ Lemma foo: forall n, (exp "; tactic" exp) (exp "in tactic" exp) (exp "as" exp) (exp "by" exp) (exp "with" exp) (exp "|-" exp) (exp ":" exp) (exp ":<" exp) (exp "," exp) - (exp "->" exp) (exp "<->" exp) (exp "/\\" exp) (exp "\\/" exp) + (exp "->" exp) (exp "<->" exp) (exp "&" exp) + (exp "/\\" exp) (exp "\\/" exp) (exp "==" exp) (exp "=" exp) (exp "<>" exp) (exp "<=" exp) (exp "<" exp) (exp ">=" exp) (exp ">" exp) (exp "=?" exp) (exp "<=?" exp) (exp "") (assoc "<->") - (assoc "/\\") (assoc "\\/") + (assoc "&") (assoc "/\\") (assoc "\\/") (assoc "==") (assoc "=") (assoc "<" ">" "<=" ">=" "<>") (assoc "=?") (assoc "<=?") (assoc "