this repo has no description
hauleth.dev
1scriptencoding utf-8
2
3if exists('b:current_syntax')
4 finish
5endif
6
7syntax match dhallInterpolation "\v\$\{[^\}]*\}"
8syntax keyword dhallTodo TODO FIXME
9syntax match dhallBrackets "[<>|]"
10syntax match dhallOperator "+\|*\|#"
11syntax match dhallOperator "//\|⫽"
12syntax match dhallOperator "/\\\|∧"
13syntax match dhallOperator "//\\\\\|⩓"
14syntax match dhallNumber "\v[0-9]"
15syntax match dhallNumber "\v\+[0-9]"
16syntax match dhallIndex "\v\@[0-9]+" contains=dhallNumber
17syntax match dhallLambda "∀\|λ\|→\|->\|\\"
18syntax match dhallType "\v[A-Z][a-z0-9A-Z_]*"
19syntax match dhallSpecialLabel "\v`[A-Z][a-z]*`"
20syntax match dhallLabel "\v[A-Z][a-z]*/[a-z_][A-Za-z0-9\.\-]*"
21syntax match dhallLabel "\v[a-z_][A-Za-z0-9\-]*"
22syntax match dhallType "\v[a-zA-Z]+\.[A-Z][a-z0-9A-Z_]*"
23syntax match dhallParens "(\|)\|\[\|\]\|,"
24syntax match dhallRecord "{\|}\|:"
25syntax keyword dhallKeyword let in forall constructors if then else merge env as
26syntax match dhallEsc +\\["\\abfnrtv$/]+
27syntax match dhallSingleSpecial +'''+
28syntax match dhallSingleSpecial +''${+
29syntax match dhallComment '\v--.*$' contains=@Spell,dhallTodo
30syntax region dhallMultilineComment start="{-" end="-}" contains=@Spell,dhallTodo,dhallMultilineComment
31syntax match dhallUrl "https://[a-zA-Z0-9/.\-_\?\=\&]*"
32syntax match dhallUrl "http://[a-zA-Z0-9/.\-_\?\=\&]*"
33syntax match dhallUrl "/[a-zA-Z0-9/.\-_]*"
34syntax match dhallUrl "\.\./[a-zA-Z0-9/.\-_]*"
35syntax match dhallUrl "\./[a-zA-Z0-9/.\-_]*"
36syntax region dhallString start=+''+ end=+''+ contains=@Spell,dhallInterpolation,dhallSingleSpecial
37syntax region dhallString start=+"+ end=+"+ contains=dhallInterpolation,dhallEsc
38syntax region dhallString start=+"/+ end=+"+ contains=dhallInterpolation,dhallEsc
39syntax keyword dhallBool True False
40
41highlight link dhallSingleSpecial Special
42highlight link dhallIndex Special
43highlight link dhallSpecialLabel Operator
44highlight link dhallEsc Special
45highlight link dhallInterpolation Special
46highlight link dhallTodo Todo
47highlight link dhallBrackets Operator
48highlight link dhallBool Underlined
49highlight link dhallUrl String
50highlight link dhallOperator Operator
51highlight link dhallNumber Number
52highlight link dhallLambda Special
53highlight link dhallString String
54highlight link dhallLabel Identifier
55highlight link dhallRecord Special
56highlight link dhallKeyword Keyword
57highlight link dhallType Structure
58highlight link dhallParens Special
59highlight link dhallComment Comment
60highlight link dhallMultilineComment Comment
61
62let b:current_syntax = 'dhall'