Add Juvix support

XAMPPRocky · Jun 30, 2024 · 32c9c17 · 32c9c17
1 parent 6392516
commit 32c9c17
Show file tree

Hide file tree

Showing 3 changed files with 29 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -433,6 +433,7 @@ Json
 Jsx
 Julia
 Julius
+Juvix
 KakouneScript
 Kotlin
 Lean

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;
-Original file line number
+Diff line change
@@ Expand Up / @@ -433,6 +433,7 @@ Json @@
     Jsx
     Julia
     Julius
+    Juvix
     KakouneScript
     Kotlin
     Lean
@@ Expand Down @@