|
0
|
1 " Vim syntax file
|
|
|
2 " Language: LambdaProlog (Teyjus)
|
|
|
3 " Filenames: *.mod *.sig
|
|
|
4 " Maintainer: Markus Mottl <markus.mottl@gmail.com>
|
|
|
5 " URL: http://www.ocaml.info/vim/syntax/lprolog.vim
|
|
|
6 " Last Change: 2006 Feb 05
|
|
|
7 " 2001 Apr 26 - Upgraded for new Vim version
|
|
|
8 " 2000 Jun 5 - Initial release
|
|
|
9
|
|
|
10 " For version 5.x: Clear all syntax items
|
|
|
11 " For version 6.x: Quit when a syntax file was already loaded
|
|
|
12 if version < 600
|
|
|
13 syntax clear
|
|
|
14 elseif exists("b:current_syntax")
|
|
|
15 finish
|
|
|
16 endif
|
|
|
17
|
|
|
18 " Lambda Prolog is case sensitive.
|
|
|
19 syn case match
|
|
|
20
|
|
|
21 syn match lprologBrackErr "\]"
|
|
|
22 syn match lprologParenErr ")"
|
|
|
23
|
|
|
24 syn cluster lprologContained contains=lprologTodo,lprologModuleName,lprologTypeNames,lprologTypeName
|
|
|
25
|
|
|
26 " Enclosing delimiters
|
|
|
27 syn region lprologEncl transparent matchgroup=lprologKeyword start="(" matchgroup=lprologKeyword end=")" contains=ALLBUT,@lprologContained,lprologParenErr
|
|
|
28 syn region lprologEncl transparent matchgroup=lprologKeyword start="\[" matchgroup=lprologKeyword end="\]" contains=ALLBUT,@lprologContained,lprologBrackErr
|
|
|
29
|
|
|
30 " General identifiers
|
|
|
31 syn match lprologIdentifier "\<\(\w\|[-+*/\\^<>=`'~?@#$&!_]\)*\>"
|
|
|
32 syn match lprologVariable "\<\(\u\|_\)\(\w\|[-+*/\\^<>=`'~?@#$&!]\)*\>"
|
|
|
33
|
|
|
34 syn match lprologOperator "/"
|
|
|
35
|
|
|
36 " Comments
|
|
|
37 syn region lprologComment start="/\*" end="\*/" contains=lprologComment,lprologTodo
|
|
|
38 syn region lprologComment start="%" end="$" contains=lprologTodo
|
|
|
39 syn keyword lprologTodo contained TODO FIXME XXX
|
|
|
40
|
|
|
41 syn match lprologInteger "\<\d\+\>"
|
|
|
42 syn match lprologReal "\<\(\d\+\)\=\.\d+\>"
|
|
|
43 syn region lprologString start=+"+ skip=+\\\\\|\\"+ end=+"+
|
|
|
44
|
|
|
45 " Clause definitions
|
|
|
46 syn region lprologClause start="^\w\+" end=":-\|\."
|
|
|
47
|
|
|
48 " Modules
|
|
|
49 syn region lprologModule matchgroup=lprologKeyword start="^\<module\>" matchgroup=lprologKeyword end="\."
|
|
|
50
|
|
|
51 " Types
|
|
|
52 syn match lprologKeyword "^\<type\>" skipwhite nextgroup=lprologTypeNames
|
|
|
53 syn region lprologTypeNames matchgroup=lprologBraceErr start="\<\w\+\>" matchgroup=lprologKeyword end="\." contained contains=lprologTypeName,lprologOperator
|
|
|
54 syn match lprologTypeName "\<\w\+\>" contained
|
|
|
55
|
|
|
56 " Keywords
|
|
|
57 syn keyword lprologKeyword end import accumulate accum_sig
|
|
|
58 syn keyword lprologKeyword local localkind closed sig
|
|
|
59 syn keyword lprologKeyword kind exportdef useonly
|
|
|
60 syn keyword lprologKeyword infixl infixr infix prefix
|
|
|
61 syn keyword lprologKeyword prefixr postfix postfixl
|
|
|
62
|
|
|
63 syn keyword lprologSpecial pi sigma is true fail halt stop not
|
|
|
64
|
|
|
65 " Operators
|
|
|
66 syn match lprologSpecial ":-"
|
|
|
67 syn match lprologSpecial "->"
|
|
|
68 syn match lprologSpecial "=>"
|
|
|
69 syn match lprologSpecial "\\"
|
|
|
70 syn match lprologSpecial "!"
|
|
|
71
|
|
|
72 syn match lprologSpecial ","
|
|
|
73 syn match lprologSpecial ";"
|
|
|
74 syn match lprologSpecial "&"
|
|
|
75
|
|
|
76 syn match lprologOperator "+"
|
|
|
77 syn match lprologOperator "-"
|
|
|
78 syn match lprologOperator "*"
|
|
|
79 syn match lprologOperator "\~"
|
|
|
80 syn match lprologOperator "\^"
|
|
|
81 syn match lprologOperator "<"
|
|
|
82 syn match lprologOperator ">"
|
|
|
83 syn match lprologOperator "=<"
|
|
|
84 syn match lprologOperator ">="
|
|
|
85 syn match lprologOperator "::"
|
|
|
86 syn match lprologOperator "="
|
|
|
87
|
|
|
88 syn match lprologOperator "\."
|
|
|
89 syn match lprologOperator ":"
|
|
|
90 syn match lprologOperator "|"
|
|
|
91
|
|
|
92 syn match lprologCommentErr "\*/"
|
|
|
93
|
|
|
94 syn sync minlines=50
|
|
|
95 syn sync maxlines=500
|
|
|
96
|
|
|
97
|
|
|
98 " Define the default highlighting.
|
|
|
99 " For version 5.7 and earlier: only when not done already
|
|
|
100 " For version 5.8 and later: only when an item doesn't have highlighting yet
|
|
|
101 if version >= 508 || !exists("did_lprolog_syntax_inits")
|
|
|
102 if version < 508
|
|
|
103 let did_lprolog_syntax_inits = 1
|
|
|
104 command -nargs=+ HiLink hi link <args>
|
|
|
105 else
|
|
|
106 command -nargs=+ HiLink hi def link <args>
|
|
|
107 endif
|
|
|
108
|
|
|
109 HiLink lprologComment Comment
|
|
|
110 HiLink lprologTodo Todo
|
|
|
111
|
|
|
112 HiLink lprologKeyword Keyword
|
|
|
113 HiLink lprologSpecial Special
|
|
|
114 HiLink lprologOperator Operator
|
|
|
115 HiLink lprologIdentifier Normal
|
|
|
116
|
|
|
117 HiLink lprologInteger Number
|
|
|
118 HiLink lprologReal Number
|
|
|
119 HiLink lprologString String
|
|
|
120
|
|
|
121 HiLink lprologCommentErr Error
|
|
|
122 HiLink lprologBrackErr Error
|
|
|
123 HiLink lprologParenErr Error
|
|
|
124
|
|
|
125 HiLink lprologModuleName Special
|
|
|
126 HiLink lprologTypeName Identifier
|
|
|
127
|
|
|
128 HiLink lprologVariable Keyword
|
|
|
129 HiLink lprologAtom Normal
|
|
|
130 HiLink lprologClause Type
|
|
|
131
|
|
|
132 delcommand HiLink
|
|
|
133 endif
|
|
|
134
|
|
|
135 let b:current_syntax = "lprolog"
|
|
|
136
|
|
|
137 " vim: ts=8
|
