# Leo colorizer control file for ml mode.
# This file is in the public domain.
# Properties for ml mode.
properties = {
"commentEnd": "*)",
"commentStart": "(*",
}
# Attributes dict for ml_main ruleset.
ml_main_attributes_dict = {
"default": "null",
"digit_re": "",
"escape": "\\",
"highlight_digits": "true",
"ignore_case": "false",
"no_word_sep": "",
}
# Dictionary of attributes dictionaries for ml mode.
attributesDictDict = {
"ml_main": ml_main_attributes_dict,
}
# Keywords dict for ml_main ruleset.
ml_main_keywords_dict = {
"ANTIQUOTE": "literal2",
"Bind": "keyword2",
"Chr": "keyword2",
"Div": "keyword2",
"Domain": "keyword2",
"EQUAL": "literal2",
"Fail": "keyword2",
"GREATER": "literal2",
"Graphic": "keyword2",
"Interrupt": "keyword2",
"Io": "keyword2",
"LESS": "literal2",
"Match": "keyword2",
"NONE": "literal2",
"Option": "keyword2",
"Ord": "keyword2",
"Overflow": "keyword2",
"QUOTE": "literal2",
"SOME": "literal2",
"Size": "keyword2",
"Subscript": "keyword2",
"SysErr": "keyword2",
"abstype": "keyword1",
"and": "keyword1",
"andalso": "keyword1",
"array": "keyword3",
"as": "keyword1",
"before": "operator",
"bool": "keyword3",
"case": "keyword1",
"char": "keyword3",
"datatype": "keyword1",
"div": "operator",
"do": "keyword1",
"else": "keyword1",
"end": "keyword1",
"eqtype": "keyword1",
"exception": "keyword1",
"exn": "keyword3",
"false": "literal2",
"fn": "keyword1",
"frag": "keyword3",
"fun": "keyword1",
"functor": "keyword1",
"handle": "keyword1",
"if": "keyword1",
"in": "keyword1",
"include": "keyword1",
"infix": "keyword1",
"infixr": "keyword1",
"int": "keyword3",
"let": "keyword1",
"list": "keyword3",
"local": "keyword1",
"mod": "operator",
"nil": "literal2",
"nonfix": "keyword1",
"o": "operator",
"of": "keyword1",
"op": "keyword1",
"open": "keyword1",
"option": "keyword3",
"order": "keyword3",
"orelse": "keyword1",
"raise": "keyword1",
"real": "keyword3",
"rec": "keyword1",
"ref": "keyword3",
"sharing": "keyword1",
"sig": "keyword1",
"signature": "keyword1",
"string": "keyword3",
"struct": "keyword1",
"structure": "keyword1",
"substring": "keyword3",
"then": "keyword1",
"true": "literal2",
"type": "keyword1",
"unit": "keyword3",
"val": "keyword1",
"vector": "keyword3",
"where": "keyword1",
"while": "keyword1",
"with": "keyword1",
"withtype": "keyword1",
"word": "keyword3",
"word8": "keyword3",
}
# Dictionary of keywords dictionaries for ml mode.
keywordsDictDict = {
"ml_main": ml_main_keywords_dict,
}
# Rules for ml_main ruleset.
def ml_rule0(colorer, s, i):
return colorer.match_span(s, i, kind="comment1", begin="(*", end="*)",
at_line_start=False, at_whitespace_end=False, at_word_start=False,
delegate="",exclude_match=False,
no_escape=False, no_line_break=False, no_word_break=False)
def ml_rule1(colorer, s, i):
return colorer.match_span(s, i, kind="literal1", begin="#\"", end="\"",
at_line_start=False, at_whitespace_end=False, at_word_start=False,
delegate="",exclude_match=False,
no_escape=False, no_line_break=True, no_word_break=False)
def ml_rule2(colorer, s, i):
return colorer.match_span(s, i, kind="literal1", begin="\"", end="\"",
at_line_start=False, at_whitespace_end=False, at_word_start=False,
delegate="",exclude_match=False,
no_escape=False, no_line_break=True, no_word_break=False)
def ml_rule3(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="/",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule4(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="*",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule5(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="+",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule6(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="-",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule7(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="^",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule8(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="::",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule9(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="@",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule10(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="=",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule11(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="<>",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule12(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="<=",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule13(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq="<",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule14(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq=">=",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule15(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq=">",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule16(colorer, s, i):
return colorer.match_seq(s, i, kind="operator", seq=":=",
at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")
def ml_rule17(colorer, s, i):
return colorer.match_keywords(s, i)
# Rules dict for ml_main ruleset.
rulesDict1 = {
"\"": [ml_rule2,],
"#": [ml_rule1,],
"(": [ml_rule0,],
"*": [ml_rule4,],
"+": [ml_rule5,],
"-": [ml_rule6,],
"/": [ml_rule3,],
"0": [ml_rule17,],
"1": [ml_rule17,],
"2": [ml_rule17,],
"3": [ml_rule17,],
"4": [ml_rule17,],
"5": [ml_rule17,],
"6": [ml_rule17,],
"7": [ml_rule17,],
"8": [ml_rule17,],
"9": [ml_rule17,],
":": [ml_rule8,ml_rule16,],
"<": [ml_rule11,ml_rule12,ml_rule13,],
"=": [ml_rule10,],
">": [ml_rule14,ml_rule15,],
"@": [ml_rule9,ml_rule17,],
"A": [ml_rule17,],
"B": [ml_rule17,],
"C": [ml_rule17,],
"D": [ml_rule17,],
"E": [ml_rule17,],
"F": [ml_rule17,],
"G": [ml_rule17,],
"H": [ml_rule17,],
"I": [ml_rule17,],
"J": [ml_rule17,],
"K": [ml_rule17,],
"L": [ml_rule17,],
"M": [ml_rule17,],
"N": [ml_rule17,],
"O": [ml_rule17,],
"P": [ml_rule17,],
"Q": [ml_rule17,],
"R": [ml_rule17,],
"S": [ml_rule17,],
"T": [ml_rule17,],
"U": [ml_rule17,],
"V": [ml_rule17,],
"W": [ml_rule17,],
"X": [ml_rule17,],
"Y": [ml_rule17,],
"Z": [ml_rule17,],
"^": [ml_rule7,],
"a": [ml_rule17,],
"b": [ml_rule17,],
"c": [ml_rule17,],
"d": [ml_rule17,],
"e": [ml_rule17,],
"f": [ml_rule17,],
"g": [ml_rule17,],
"h": [ml_rule17,],
"i": [ml_rule17,],
"j": [ml_rule17,],
"k": [ml_rule17,],
"l": [ml_rule17,],
"m": [ml_rule17,],
"n": [ml_rule17,],
"o": [ml_rule17,],
"p": [ml_rule17,],
"q": [ml_rule17,],
"r": [ml_rule17,],
"s": [ml_rule17,],
"t": [ml_rule17,],
"u": [ml_rule17,],
"v": [ml_rule17,],
"w": [ml_rule17,],
"x": [ml_rule17,],
"y": [ml_rule17,],
"z": [ml_rule17,],
}
# x.rulesDictDict for ml mode.
rulesDictDict = {
"ml_main": rulesDict1,
}
# Import dict for ml mode.
importDict = {}
|