Add the ZoKrates language (#1035)

XAMPPRocky · May 2, 2024 · 3ac268d · 3ac268d
1 parent 1224e98
commit 3ac268d
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -552,6 +552,7 @@ Xtend
 Yaml
 ZenCode
 Zig
+ZoKrates
 Zsh
 ```
 

diff --git a/languages.json b/languages.json
@@ -1744,6 +1744,12 @@
       "quotes": [["\\\"", "\\\""]],
       "extensions": ["zig"]
     },
+    "Zokrates": {
+      "name": "ZoKrates",
+      "line_comment": ["//"],
+      "multi_line_comments": [["/*", "*/"]],
+      "extensions": ["zok"]
+    },
     "Zsh": {
       "shebangs": ["#!/bin/zsh"],
       "line_comment": ["#"],

diff --git a/tests/data/zokrates.zok b/tests/data/zokrates.zok
@@ -0,0 +1,11 @@
+// 11 lines 3 code 6 comments 2 blanks
+
+/*
+    This is a multi-line comment
+    written in more than just one line.
+*/
+
+def main() -> field {
+    // an inline comment
+    return 42; // on a line.
+}