diff --git a/syntax/maude.vim b/syntax/maude.vim index da166b1..8d4b432 100644 --- a/syntax/maude.vim +++ b/syntax/maude.vim @@ -69,6 +69,24 @@ hi def link maudePunc Operator syn match maudeDelim '[{}\[\](),]\|\%(^\|\s\)\zs\.\ze\%(\s\|$\)' hi def link maudeDelim Delimiter +syn match maudeString /"\%([^"\\]\|\\.\)*"/ contains=maudeStringEsc +hi def link maudeString String + +syn match maudeStringEsc /\\./ contained +hi def link maudeStringEsc SpecialChar + +syn match maudeIdEsc /`[\[\]{}()]\?/ +hi def link maudeIdEsc SpecialChar + +syn match maudeQid /''\?\S\+/ +syn match maudeQid /'"\%([^"\\]\|\\.\)*"/ contains=maudeStringEsc +hi def link maudeQid Constant + +syn match maudeNum !-\?\d\+\%(/\d\+\)\?! +syn match maudeNum /-\?\d\+\.\d\+\%([Ee][+-]\?\d\+\)\?/ +syn keyword maudeNum Infinity -Infinity +hi def link maudeNum Number + syn keyword maudeCommand load set quit hi def link maudeCommand Special