From b6f7c1be9676163aee653c513f912981990b3ce2 Mon Sep 17 00:00:00 2001
From: Greg Shuflin <greg.shuflin@protonmail.com>
Date: Tue, 14 Sep 2021 19:59:19 -0700
Subject: [PATCH] Implement types

---
 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
+