comparison MoinMoin/support/pygments/lexers/functional.py @ 5564:74fa6f714526

upgraded pygments to 1.2.2
author Thomas Waldmann <tw AT waldmann-edv DOT de>
date Sun, 21 Feb 2010 23:52:54 +0100
parents 0970ed47d2cd
children f76914e77229
comparison
equal deleted inserted replaced
5563:69ffae200796 5564:74fa6f714526
3 pygments.lexers.functional 3 pygments.lexers.functional
4 ~~~~~~~~~~~~~~~~~~~~~~~~~~ 4 ~~~~~~~~~~~~~~~~~~~~~~~~~~
5 5
6 Lexers for functional languages. 6 Lexers for functional languages.
7 7
8 :copyright: Copyright 2006-2009 by the Pygments team, see AUTHORS. 8 :copyright: Copyright 2006-2010 by the Pygments team, see AUTHORS.
9 :license: BSD, see LICENSE for details. 9 :license: BSD, see LICENSE for details.
10 """ 10 """
11 11
12 import re 12 import re
13 try: 13 try:
243 243
244 # encoding comment (?) 244 # encoding comment (?)
245 (r'#\d*Y.*$', Comment.Special), 245 (r'#\d*Y.*$', Comment.Special),
246 246
247 # strings and characters 247 # strings and characters
248 (r'"(\\.|[^"])*"', String), 248 (r'"(\\.|[^"\\])*"', String),
249 # quoting 249 # quoting
250 (r":" + symbol, String.Symbol), 250 (r":" + symbol, String.Symbol),
251 (r"'" + symbol, String.Symbol), 251 (r"'" + symbol, String.Symbol),
252 (r"'", Operator), 252 (r"'", Operator),
253 (r"`", Operator), 253 (r"`", Operator),
441 (r'\^[][A-Z@\^_]', String.Escape, '#pop'), 441 (r'\^[][A-Z@\^_]', String.Escape, '#pop'),
442 ('|'.join(ascii), String.Escape, '#pop'), 442 ('|'.join(ascii), String.Escape, '#pop'),
443 (r'o[0-7]+', String.Escape, '#pop'), 443 (r'o[0-7]+', String.Escape, '#pop'),
444 (r'x[\da-fA-F]+', String.Escape, '#pop'), 444 (r'x[\da-fA-F]+', String.Escape, '#pop'),
445 (r'\d+', String.Escape, '#pop'), 445 (r'\d+', String.Escape, '#pop'),
446 (r'\n\s+\\', String.Escape, '#pop'), 446 (r'\s+\\', String.Escape, '#pop'),
447 ], 447 ],
448 } 448 }
449 449
450 450
451 line_re = re.compile('.*?\n') 451 line_re = re.compile('.*?\n')