Sha256: 687e9f44b47825102c765a4ea88b953ac7d9b639f73d1889078c293dc5b710a7
Contents?: true
Size: 808 Bytes
Versions: 28
Compression:
Stored size: 808 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
28 entries across 28 versions & 1 rubygems