mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-06 23:20:18 +09:00
21 lines
573 B
Plaintext
21 lines
573 B
Plaintext
syntax "ocaml" "\.mli?$"
|
|
|
|
# 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="\*\)"
|