Something went wrong. Try again.
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263scriptencoding utf-8
if exists('b:current_syntax') finishendif
syntax match dhallInterpolation "\v\$\{[^\}]*\}"syntax keyword dhallTodo TODO FIXMEsyntax match dhallBrackets "[<>|]"syntax match dhallOperator "+\|*\|#"syntax match dhallOperator "//\|⫽"syntax match dhallOperator "/\\\|∧"syntax match dhallOperator "//\\\\\|⩓"syntax match dhallNumber "\v[0-9]"syntax match dhallNumber "\v\+[0-9]"syntax match dhallIndex "\v\@[0-9]+" contains=dhallNumbersyntax match dhallLambda "∀\|λ\|→\|->\|\\"syntax match dhallType "\v[A-Z][a-z0-9A-Z_]*"syntax match dhallSpecialLabel "\v`[A-Z][a-z]*`"syntax match dhallLabel "\v[A-Z][a-z]*/[a-z_][A-Za-z0-9\.\-]*"syntax match dhallLabel "\v[a-z_][A-Za-z0-9\-]*"syntax match dhallType "\v[a-zA-Z]+\.[A-Z][a-z0-9A-Z_]*"syntax match dhallParens "(\|)\|\[\|\]\|,"syntax match dhallRecord "{\|}\|:"syntax keyword dhallKeyword let in forall constructors if then else merge env assyntax match dhallEsc +\\["\\abfnrtv$/]+syntax match dhallSingleSpecial +'''+syntax match dhallSingleSpecial +''${+syntax match dhallComment '\v--.*$' contains=@Spell,dhallTodosyntax region dhallMultilineComment start="{-" end="-}" contains=@Spell,dhallTodo,dhallMultilineCommentsyntax match dhallUrl "https://[a-zA-Z0-9/.\-_\?\=\&]*"syntax match dhallUrl "http://[a-zA-Z0-9/.\-_\?\=\&]*"syntax match dhallUrl "/[a-zA-Z0-9/.\-_]*"syntax match dhallUrl "\.\./[a-zA-Z0-9/.\-_]*"syntax match dhallUrl "\./[a-zA-Z0-9/.\-_]*"syntax region dhallString start=+''+ end=+''+ contains=@Spell,dhallInterpolation,dhallSingleSpecialsyntax region dhallString start=+"+ end=+"+ contains=dhallInterpolation,dhallEscsyntax region dhallString start=+"/+ end=+"+ contains=dhallInterpolation,dhallEscsyntax keyword dhallBool True False
highlight link dhallSingleSpecial Specialhighlight link dhallIndex Specialhighlight link dhallSpecialLabel Operatorhighlight link dhallEsc Specialhighlight link dhallInterpolation Specialhighlight link dhallTodo Todohighlight link dhallBrackets Operatorhighlight link dhallBool Underlinedhighlight link dhallUrl Stringhighlight link dhallOperator Operatorhighlight link dhallNumber Numberhighlight link dhallLambda Specialhighlight link dhallString Stringhighlight link dhallLabel Identifierhighlight link dhallRecord Specialhighlight link dhallKeyword Keywordhighlight link dhallType Structurehighlight link dhallParens Specialhighlight link dhallComment Commenthighlight link dhallMultilineComment Comment
let b:current_syntax = 'dhall'