Sha256: ac182fdb75aec6e912fb21791cfd449cb22e312fe4d988d01608b48acd04ceca
Contents?: true
Size: 988 Bytes
Versions: 27
Compression:
Stored size: 988 Bytes
Contents
{
"name": "UrWeb",
"scopeName": "source.ur",
"patterns": [
{
"name": "keyword.source.ur",
"match": "\\b(EQUAL|GREATER|LESS|NONE|SOME|abstraction|abstype|and|andalso|array|as|before|bool|case|char|datatype|do|else|end|eqtype|exception|exn|false|fn|fun|functor|handle|if|in|include|infix|infixr|int|let|list|local|nil|nonfix|not|o|of|op|open|option|orelse|overload|print|raise|real|rec|ref|sharing|sig|signature|string|struct|structure|substring|then|true|type|unit|val|vector|where|while|with|withtype|word)\\b"
},
{
"name": "constant.numeric.ur",
"match": "\\b[0-9]+\\b"
},
{
"name": "support.type.ur",
"match": "\\b[A-Z]([A-z0-9]*)\\b"
},
{
"name": "string.ur",
"match": "\"(\\\\\"|[^\"])*\""
},
{
"name": "comment.ur",
"begin": "\\(\\*",
"end": "\\*\\)"
},
{
"name": "constant.character.ur",
"match": "(\\(\\)|=\u003e|::|\\[\\]|-\u003e|:\u003e)"
}
]
}
Version data entries
27 entries across 27 versions & 1 rubygems