| 123456789101112131415161718192021 |
- if exists('b:current_syntax')
- finish
- endif
- syn keyword sapviKeyword assert enforce for in def return const as let emit contract private proof
- syn keyword sapviAttr mut
- syn keyword sapviType BinaryNumber Point Fr SubgroupPoint EdwardsPoint Scalar EncryptedNum list Bool U64 Num Binary
- syn match sapviFunction "\zs[a-zA-Z0-9_]*\ze("
- syn match sapviComment "#.*$"
- syn match sapviNumber '\d\+'
- syn match sapviConst '[A-Z_]\{2,}[A-Z0-9_]*'
- hi def link sapviKeyword Statement
- hi def link sapviAttr StorageClass
- hi def link sapviType Type
- hi def link sapviFunction Function
- hi def link sapviComment Comment
- hi def link sapviNumber Constant
- hi def link sapviConst Constant
- let b:current_syntax = "sapvi"
|
