ThirdParty/Pygments/pygments/lexers/ml.py

changeset 6651
e8f3b5568b21
parent 5713
6762afd9f963
equal deleted inserted replaced
6650:1dd52aa8897c 6651:e8f3b5568b21
41 'struct', 'structure', 'where', 41 'struct', 'structure', 'where',
42 )) 42 ))
43 43
44 symbolicid_reserved = set(( 44 symbolicid_reserved = set((
45 # Core 45 # Core
46 ':', '\|', '=', '=>', '->', '#', 46 ':', r'\|', '=', '=>', '->', '#',
47 # Modules 47 # Modules
48 ':>', 48 ':>',
49 )) 49 ))
50 50
51 nonid_reserved = set(('(', ')', '[', ']', '{', '}', ',', ';', '...', '_')) 51 nonid_reserved = set(('(', ')', '[', ']', '{', '}', ',', ';', '...', '_'))

eric ide

mercurial