add test

anoma · Sep 9, 2024 · 6d4fa15 · 6d4fa15
1 parent aa054b0
commit 6d4fa15
Show file tree

Hide file tree

Showing 4 changed files with 26 additions and 0 deletions.
diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs
@@ -265,5 +265,9 @@ tests =
     posTest
       "Scan name with 'import' prefix"
       $(mkRelDir "issue2929")
+      $(mkRelFile "main.juvix"),
+    posTest
+      "Proper formatting of import module path"
+      $(mkRelDir "issue2737")
       $(mkRelFile "main.juvix")
   ]
diff --git a/tests/positive/issue2737/M.juvix b/tests/positive/issue2737/M.juvix
@@ -0,0 +1,9 @@
+-- 1
+-- 2
+-- 3
+-- 4
+-- 5
+-- 6
+-- 7
+-- 8
+module M;
diff --git a/tests/positive/issue2737/Package.juvix b/tests/positive/issue2737/Package.juvix
@@ -0,0 +1,8 @@
+module Package;
+
+import PackageDescription.V2 open;
+
+package : Package :=
+  defaultPackage@?{
+    name := "issue2737"
+  };
diff --git a/tests/positive/issue2737/main.juvix b/tests/positive/issue2737/main.juvix
@@ -0,0 +1,5 @@
+module main;
+
+import M as N;
+
+-- comment at the end