@@ -24,9 +24,9 @@ def get_tokens_unprocessed(self, text):
24
24
(r'#lang|#set-option|#unset-option|#check|#compute-whnf|#compute-nf|#compute' , Name .Decorator ),
25
25
(r'(#section|#end)(\s+[^\t\n\r !"#\(\),-\.;:<>\?\[\\\]\{\|\}][^\t\n\r !"#\(\),\.;:<>\?\[\\\]\{\|\}]*)' ,
26
26
bygroups (Name .Decorator , Name .Entity )),
27
- (r'(\(\s+)( [^\t\n\r !"#\(\),-\.;:<>\?\[\\\]\{\|\}][^!"#\(\),\.;:<>\?\[\\\]\{\|\}]*)(:)' ,
28
- bygroups (Punctuation , Name .Variable , Punctuation )),
29
- (r'(\\\s*)((([^\t\n\r !"#\(\),-\.;:<>\?\[\\\]\{\|\}][^\t\n\r !"#\(\),\.;:<>\?\[\\\]\{\|\}]*)\s*)* )' ,
27
+ (r'(\(\s*)((( [^\t\n\r !"#\(\),-\.;:<>\?\[\\\]\{\|\}][^\t\n\r !"#\(\),\.;:<>\?\[\\\]\{\|\}]*)\s*)+ )(:)' ,
28
+ bygroups (Punctuation , Name .Variable , None , None , Punctuation )),
29
+ (r'(\\\s*)((([^\t\n\r !"#\(\),-\.;:<>\?\[\\\]\{\|\}][^\t\n\r !"#\(\),\.;:<>\?\[\\\]\{\|\}]*)\s*)+ )' ,
30
30
bygroups (Punctuation , Name .Variable )),
31
31
(r';|:|:=|\(|\)|_|,|\{|\||\}|\|\[|\]|<|>|\\|->' , Punctuation ),
32
32
(r' = | \* | === | <= | /\\ | \\/ ' , Operator ),
0 commit comments