2016-08-25 00:15:36 +00:00
|
|
|
syntax "ocaml" "\.mli?$"
|
2016-12-08 15:11:56 +00:00
|
|
|
|
|
|
|
|
# Numbers
|
|
|
|
|
## Integers
|
|
|
|
|
### Binary
|
|
|
|
|
color constant.number "-?0[bB][01][01_]*"
|
|
|
|
|
### Octal
|
|
|
|
|
color constant.number "-?0[oO][0-7][0-7_]*"
|
|
|
|
|
### Decimal
|
|
|
|
|
color constant.number "-?\d[\d_]*"
|
|
|
|
|
### Hexadecimal
|
|
|
|
|
color constant.number "-?0[xX][0-9a-fA-F][0-9a-fA-F_]*"
|
|
|
|
|
## Real
|
|
|
|
|
### Decimal
|
|
|
|
|
color constant.number "-?\d[\d_]*.\d[\d_]*([eE][+-]\d[\d_]*.\d[\d_]*)?"
|
|
|
|
|
### Hexadecimal
|
|
|
|
|
color constant.number "-?0[xX][0-9a-fA-F][0-9a-fA-F_]*.[0-9a-fA-F][0-9a-fA-F_]*([pP][+-][0-9a-fA-F][0-9a-fA-F_]*.[0-9a-fA-F][0-9a-fA-F_]*)?"
|
|
|
|
|
|
|
|
|
|
# Comments
|
|
|
|
|
color comment start="\(\*" end="\*\)"
|
