Adds recognition of 'def'/'type^'/'type~' keywords and adds some missing characters to the regexes for identifiers and punctuation.
294 lines
7.2 KiB
Text
Generated
294 lines
7.2 KiB
Text
Generated
'local' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
'let' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
'dotprod' Name
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'n' Name
|
|
']' Punctuation
|
|
' ' Text.Whitespace
|
|
"'" Punctuation
|
|
't' Name
|
|
'\n ' Text.Whitespace
|
|
'(' Punctuation
|
|
'mul' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
' ' Text.Whitespace
|
|
'->' Operator
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
' ' Text.Whitespace
|
|
'->' Operator
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'add' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
' ' Text.Whitespace
|
|
'->' Operator
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
' ' Text.Whitespace
|
|
'->' Operator
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'zero' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
')' Punctuation
|
|
'\n ' Text.Whitespace
|
|
'(' Punctuation
|
|
'a' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'n' Name
|
|
']' Punctuation
|
|
't' Name
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'b' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'n' Name
|
|
']' Punctuation
|
|
't' Name
|
|
')' Punctuation
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
' ' Text.Whitespace
|
|
'=' Operator
|
|
'\n ' Text.Whitespace
|
|
'map2' Name
|
|
' ' Text.Whitespace
|
|
'mul' Name
|
|
' ' Text.Whitespace
|
|
'a' Name
|
|
' ' Text.Whitespace
|
|
'b' Name
|
|
' ' Text.Whitespace
|
|
'|>' Operator
|
|
' ' Text.Whitespace
|
|
'reduce' Name
|
|
' ' Text.Whitespace
|
|
'add' Name
|
|
' ' Text.Whitespace
|
|
'zero' Name
|
|
'\n\n' Text.Whitespace
|
|
|
|
'module' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
'matmul' Name
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'F' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'numeric' Name
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'=' Operator
|
|
' ' Text.Whitespace
|
|
'{' Punctuation
|
|
'\n ' Text.Whitespace
|
|
'type' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
't' Name
|
|
' ' Text.Whitespace
|
|
'=' Operator
|
|
' ' Text.Whitespace
|
|
'F.t' Name
|
|
'\n ' Text.Whitespace
|
|
'open' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
'F' Name
|
|
'\n\n ' Text.Whitespace
|
|
'let' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
'matmul' Name
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'n1' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'n2' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'm' Name
|
|
']' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'xss' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'n1' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'm' Name
|
|
']' Punctuation
|
|
't' Name
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'yss' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'm' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'n2' Name
|
|
']' Punctuation
|
|
't' Name
|
|
')' Punctuation
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'*' Operator
|
|
'[' Punctuation
|
|
'n1' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'n2' Name
|
|
']' Punctuation
|
|
't' Name
|
|
' ' Text.Whitespace
|
|
'=' Operator
|
|
'\n ' Text.Whitespace
|
|
'map' Name
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'\\' Operator
|
|
'xs' Name
|
|
' ' Text.Whitespace
|
|
'->' Operator
|
|
' ' Text.Whitespace
|
|
'map' Name
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'\\' Operator
|
|
'ys' Name
|
|
' ' Text.Whitespace
|
|
'->' Operator
|
|
' ' Text.Whitespace
|
|
'dotprod' Name
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'*' Operator
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'+' Operator
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'i32' Keyword.Type
|
|
' ' Text.Whitespace
|
|
'0' Literal.Number.Integer
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'xs' Name
|
|
' ' Text.Whitespace
|
|
'ys' Name
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'<|' Operator
|
|
' ' Text.Whitespace
|
|
'transpose' Name
|
|
' ' Text.Whitespace
|
|
'yss' Name
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'xss' Name
|
|
'\n' Text.Whitespace
|
|
|
|
'}' Punctuation
|
|
'\n\n' Text.Whitespace
|
|
|
|
'module' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
'matmul32' Name
|
|
' ' Text.Whitespace
|
|
'=' Operator
|
|
' ' Text.Whitespace
|
|
'matmul' Name
|
|
' ' Text.Whitespace
|
|
'f32' Keyword.Type
|
|
'\n\n' Text.Whitespace
|
|
|
|
'let' Keyword.Reserved
|
|
' ' Text.Whitespace
|
|
'main' Name
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'n' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'm' Name
|
|
']' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'xss' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'n' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'm' Name
|
|
']' Punctuation
|
|
'f32' Keyword.Type
|
|
')' Punctuation
|
|
' ' Text.Whitespace
|
|
'(' Punctuation
|
|
'yss' Name
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'[' Punctuation
|
|
'm' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'n' Name
|
|
']' Punctuation
|
|
'f32' Keyword.Type
|
|
')' Punctuation
|
|
':' Punctuation
|
|
' ' Text.Whitespace
|
|
'?' Punctuation
|
|
'[' Punctuation
|
|
'a' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'b' Name
|
|
']' Punctuation
|
|
'.' Punctuation
|
|
'[' Punctuation
|
|
'a' Name
|
|
']' Punctuation
|
|
'[' Punctuation
|
|
'b' Name
|
|
']' Punctuation
|
|
'f32' Keyword.Type
|
|
' ' Text.Whitespace
|
|
'=' Operator
|
|
'\n ' Text.Whitespace
|
|
'matmul32.matmul' Name
|
|
' ' Text.Whitespace
|
|
'xss' Name
|
|
' ' Text.Whitespace
|
|
'yss' Name
|
|
'\n' Text.Whitespace
|