Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Koka Syntax HighlightingNew to Visual Studio Code? Get it now.

Koka Syntax Highlighting

koka

|
1,499 installs
| (0) | Free
Official syntax support for the Koka programming language.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

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" }
    },      
  ]
}
  • Contact us
  • Jobs
  • Privacy
  • Terms of use
  • Trademarks
© 2023 Microsoft