blob: 8cb7804d0bd9bc6a2c44733093096c880db7a1db (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
if polyglot#init#is_disabled(expand('<sfile>:p'), 'cryptol', 'syntax/cryptol.vim')
finish
endif
" Vim syntax file
" Language: Cryptol
" Maintainer: Fergus Henderson
" Last Change: Thu Feb 10 13:14:24 PST 2005
"
" Remove any old syntax stuff hanging around
if version < 600
syn clear
elseif exists("b:current_syntax")
finish
endif
set expandtab
set list lcs=tab:>-,trail:.
" (Qualified) identifiers (no default highlighting)
" XXX copied from Haskell
syn match ConId "\(\<[A-Z][a-zA-Z0-9_']*\.\)\=\<[A-Z][a-zA-Z0-9_']*\>"
syn match VarId "\(\<[A-Z][a-zA-Z0-9_']*\.\)\=\<[a-z][a-zA-Z0-9_']*\>"
" Infix operators--most punctuation characters and any (qualified) identifier
" enclosed in `backquotes`. An operator starting with : is a constructor,
" others are variables (e.g. functions).
" XXX copied from Haskell
syn match cryVarSym "\(\<[A-Z][a-zA-Z0-9_']*\.\)\=[-!#$%&\*\+/<=>\?@\\^|~.][-!#$%&\*\+/<=>\?@\\^|~:.]*"
syn match cryConSym "\(\<[A-Z][a-zA-Z0-9_']*\.\)\=:[-!#$%&\*\+./<=>\?@\\^|~:]*"
syn match cryVarSym "`\(\<[A-Z][a-zA-Z0-9_']*\.\)\=[a-z][a-zA-Z0-9_']*`"
syn match cryConSym "`\(\<[A-Z][a-zA-Z0-9_']*\.\)\=[A-Z][a-zA-Z0-9_']*`"
" Reserved symbols
syn match cryDelimiter "(\|)\|\[|\||]\|||\|\[\|\]\|,\|;\|{\|}"
" Strings and constants
" XXX Copied from Haskell
syn match crySpecialChar contained "\\\([0-9]\+\|o[0-7]\+\|x[0-9a-fA-F]\+\|[\"\\'&\\abfnrtv]\|^[A-Z^_\[\\\]]\)"
syn match crySpecialChar contained "\\\(NUL\|SOH\|STX\|ETX\|EOT\|ENQ\|ACK\|BEL\|BS\|HT\|LF\|VT\|FF\|CR\|SO\|SI\|DLE\|DC1\|DC2\|DC3\|DC4\|NAK\|SYN\|ETB\|CAN\|EM\|SUB\|ESC\|FS\|GS\|RS\|US\|SP\|DEL\)"
syn match crySpecialCharError contained "\\&\|'''\+"
syn region cryString start=+"+ skip=+\\\\\|\\"+ end=+"+ contains=crySpecialChar
syn region cryString start=+``+ skip=+\\\\\|\\"+ end=+``+ contains=hsSpecialChar
syn match cryCharacter "[^a-zA-Z0-9_']'\([^\\]\|\\[^']\+\|\\'\)'"lc=1 contains=crySpecialChar,crySpecialCharError
syn match cryCharacter "^'\([^\\]\|\\[^']\+\|\\'\)'" contains=crySpecialChar,crySpecialCharError
syn match cryNumber "\<[0-9]\+\>\|\<0[b][01]\+\>\|\<0[x][0-9a-fA-F]\+\>\|\<0[o][0-7]\+\>"
" Keyword definitions.
syn keyword cryInclude include
syn keyword cryConditional if then else
syn keyword cryWhere where
syn keyword cryTypeSyn type
syn keyword cryPragma pragma
syn keyword cryProp extern theorem proof forall codeGen Cpp Haskell SMT Isabelle axioms
syn keyword cryType Bit inf
" Primitives
syn keyword cryBoolean False True
syn keyword cryPrimitive zero undefined
syn keyword cryPrimitive error parity lg2 pmod pdiv pmult format
syn keyword cryPrimitive join split groupBy take drop min max negate reverse
syn keyword cryPrimitive project tail width
syn keyword cryPrimitive ASSERT
syn keyword cryPrimitive module import private
" Comments
syn keyword cryTodo contained TODO FIXME XXX
syn match cryLineComment "//.*" contains=cryTodo
syn region cryBlockComment start="/\*" end="\*/" contains=cryBlockComment,cryTodo
if !exists("cry_minlines")
let cry_minlines = 50
endif
exec "syn sync lines=" . cry_minlines
if version >= 508 || !exists("did_cry_syntax_inits")
if version < 508
let did_cry_syntax_inits = 1
command -nargs=+ HiLink hi link <args>
else
command -nargs=+ HiLink hi def link <args>
endif
hi link cryInclude Include
hi link cryTypeSyn Keyword
hi link cryImportMod cryImport
hi link cryConditional Conditional
hi link crySpecialChar SpecialChar
hi link cryTypedef Typedef
hi link cryPragma Keyword
hi link cryVarSym cryOperator
hi link cryConSym cryOperator
hi link cryOperator Operator
hi link cryDelimiter Delimiter
hi link crySpecialCharError Error
hi link cryString String
hi link cryCharacter Character
hi link cryNumber Number
hi link cryConditional Conditional
hi link cryWhere Keyword
hi link cryPrimitive Keyword
hi link cryBlockComment cryComment
hi link cryLineComment cryComment
hi link cryComment Comment
hi link cryBoolean Boolean
hi link cryType Type
hi link cryProp Keyword
hi link cryTodo Todo
delcommand HiLink
endif
let b:current_syntax = "cryptol"
" Options for vi: ts=8 sw=2 sts=2 nowrap noexpandtab ft=vim
|
