From 6d4fa155f81fa76c5161733537c1f75bfd10750a Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Mon, 9 Sep 2024 14:38:19 +0200
Subject: [PATCH] add test

---
 test/Scope/Positive.hs                 | 4 ++++
 tests/positive/issue2737/M.juvix       | 9 +++++++++
 tests/positive/issue2737/Package.juvix | 8 ++++++++
 tests/positive/issue2737/main.juvix    | 5 +++++
 4 files changed, 26 insertions(+)
 create mode 100644 tests/positive/issue2737/M.juvix
 create mode 100644 tests/positive/issue2737/Package.juvix
 create mode 100644 tests/positive/issue2737/main.juvix

diff --git a/test/Scope/Positive.hs b/test/Scope/Positive.hs
index 2c27ecdafa..895e142829 100644
--- 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
new file mode 100644
index 0000000000..4e13b189ae
--- /dev/null
+++ 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
new file mode 100644
index 0000000000..6a54fa0cd3
--- /dev/null
+++ 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
new file mode 100644
index 0000000000..e357002b58
--- /dev/null
+++ b/tests/positive/issue2737/main.juvix
@@ -0,0 +1,5 @@
+module main;
+
+import M as N;
+
+-- comment at the end