Overview Version History Q & A Rating & Review
Koka Syntax Highlighting
Syntax highlighting support for the
Koka programming language in Visual Studio Code.
Visit https://koka-lang.github.io for more information.
Token Classes
koka.conid
: constructors.
koka.op
: operators.
koka.id
: identifiers.
koka.id.decl
(.function
|.val
|.var
): declarations.
koka.id.library
(.resume
|.finally
|...): control related library identifiers.
koka.moduleid
: module identifiers.
koka.keyword
: keywords.
koka.keyword.control
: control flow keywords.
koka.special
: reserved separators ({};,
etc).
koka.special.dot
: the dot separator.
koka.number
: numbers.
koka.string
(.invalid
|.escape
|.raw
): string literals.
koka.char
(.invalid
|.escape
): character literals.
koka.type
(.kind
|.special
|.typevar
|.typecon
): types.
koka.comment
(.line
|.block
): comments.
koka.comment.doc
(.emph
|.pre
|.pre.type
|.pre.block
): documentation inside a comment.
Customize
You can customize the Koka syntax highlighting by editing
the settings.json
file of VS Code (press Ctrl/Cmd+Shift+P
and
select "Open Settings (JSON)" to open it).
Then add a editor.tokenColorCustomizations
entry, for example:
"editor.tokenColorCustomizations": {
"textMateRules": [
{ "scope": "koka.type",
"settings": { "foreground": "#00B8B8" }
},
{ "scope": "koka.conid, koka.number",
"settings": { "foreground": "#a6c2a3" }
},
{ "scope": "koka.comment.doc.pre",
"settings": { "foreground": "#91ac91" }
},
{ "scope": "koka.id.decl.function",
"settings": { "foreground": "#cac199" }
},
]
}