From 48a9ffcb2ff985d825491b304e4a8a79f86e97cf Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Tue, 14 Sep 2021 19:59:19 -0700 Subject: [PATCH] First crack at implementing some syntax --- syntax/koka.vim | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/syntax/koka.vim b/syntax/koka.vim index 4c89933..2590039 100644 --- a/syntax/koka.vim +++ b/syntax/koka.vim @@ -5,3 +5,33 @@ if exists("b:current_syntax") finish endif + +" Keywords +syn keyword KokaKeyword infix infixr infixl prefix type struct alias con forall exists some fn val var + \ extern if then else elif match return with in handle handler mask override control rcontrol + \ effect named module import as public private abstract pub interface yield qualified hiding unsafe + +highlight def link KokaKeyword Keyword + +" Functions + +" syn match rustFuncName "\%(r#\)\=\%([^[:cntrl:][:space:][:punct:][:digit:]]\|_\)\%([^[:cntrl:][:punct:][:space:]]\|_\)*" display contained +syn keyword KokaKeyword fun nextgroup=KokaFunName skipwhite skipempty +syn match KokaFunName /\v[a-z][A-Za-z0-9\-_]*/ display contained +highlight def link KokaFunName Function + + +" Core Types +syn keyword KokaCoreType any bool cfield char ctail double ediv either float32 global hdiv int int32 + \ int64 local-var maybe optional order ref reuse ssize_t string uint8 vector void +highlight def link KokaCoreType Type + +" Comments +syn region KokaLineComment start="//" end="$" +syn region KokaBlockComment matchgroup=KokaBlockComment start="/\*\%(!\|\*[*/]\@!\)\@!" end="\*/" contains=KokaBlockCommentNested +syn region KokaBlockCommentNested matchgroup=KokaBlockComment start="/\*" end="\*/" contains=KokaBlockCommentNested + +highlight def link KokaLineComment Comment +highlight def link KokaBlockComment Comment +highlight def link KokaBlockCommentNested Comment +