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