add test

anoma · Dec 28, 2024 · dae67be · dae67be
1 parent 5c4e48e
commit dae67be
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 0 deletions.
diff --git a/test/Parsing/Negative.hs b/test/Parsing/Negative.hs
@@ -107,6 +107,13 @@ filesErrorTests =
       $ \case
         ErrWrongTopModuleName {} -> Nothing
         _ -> wrongError,
+    negTest
+      "Incorrect top module path (markdown)"
+      $(mkRelDir "issue2674")
+      $(mkRelFile "Main.juvix.md")
+      $ \case
+        ErrWrongTopModuleName {} -> Nothing
+        _ -> wrongError,
     negTestAbsDir
       "Incorrect top module path of an orphan file."
       (relToProject $(mkRelDir "tests/WithoutPackageFile"))

diff --git a/tests/positive/issue2674/Main.juvix.md b/tests/positive/issue2674/Main.juvix.md
@@ -0,0 +1,3 @@
+```juvix
+module X;
+```
diff --git a/tests/positive/issue2674/Package.juvix b/tests/positive/issue2674/Package.juvix
@@ -0,0 +1,8 @@
+module Package;
+
+import PackageDescription.V2 open;
+
+package : Package :=
+  defaultPackage@{
+    name := "issue2674";
+  };