Add Juvix support

XAMPPRocky · Jun 30, 2024 · 4befa4e · 4befa4e
1 parent 6392516
commit 4befa4e
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/languages.json b/languages.json
@@ -798,6 +798,12 @@
       "name": "Jupyter Notebooks",
       "extensions": ["ipynb"]
     },
+    "Juvix": {
+      "nested": true,
+      "line_comment": ["--"],
+      "multi_line_comments": [["{-", "-}"]],
+      "extensions": ["juvix"]
+    },
     "K": {
       "name": "K",
       "nested": true,

diff --git a/tests/data/juvix.juvix b/tests/data/juvix.juvix
@@ -0,0 +1,22 @@
+{-- This is documentation --}
+module juvix;
+
+-- this is a line comment
+
+{-
+
+this is a block comment
+
+-}
+
+------------ many dashes in comment
+
+{-
+  {-
+  nested block comment
+  -}
+-}
+
+import Stdlib.Prelude open;
+
+main : Nat := 123;