Ignore files that start with a . (#3072)

- Closes #3068

src/Juvix/Data/FileExt.hs

@@ -156,11 +156,14 @@ instance Show FileExt where
 instance Pretty FileExt where
   pretty = pretty . fileExtToText
 
+isHidden :: Path b File -> Bool
+isHidden = (== ".") . take 1 . toFilePath
+
 isJuvixOrJuvixMdFile :: Path b File -> Bool
 isJuvixOrJuvixMdFile = isJuvixFile .||. isJuvixMarkdownFile
 
 isJuvixFile :: Path b File -> Bool
-isJuvixFile = (== Just juvixFileExt) . fileExtension
+isJuvixFile = (not . isHidden) .&&. ((== Just juvixFileExt) . fileExtension)
 
 isJuvixMarkdownFile :: Path b File -> Bool
 isJuvixMarkdownFile p = case splitExtension p of

test/Scope/Positive.hs

@@ -269,5 +269,9 @@ tests =
     posTest
       "Proper formatting of import module path"
       $(mkRelDir "issue2737")
+      $(mkRelFile "main.juvix"),
+    posTest
+      "Ignore dot files"
+      $(mkRelDir "issue3068")
       $(mkRelFile "main.juvix")
   ]

tests/positive/issue3068/.hidden.juvix

@@ -0,0 +1 @@
+nothing to see here

tests/positive/issue3068/Package.juvix

@@ -0,0 +1,9 @@
+module Package;
+
+import PackageDescription.V2 open;
+
+package : Package :=
+  defaultPackage@?{
+    name := "issue3068";
+    dependencies := []
+  };

tests/positive/issue3068/main.juvix

@@ -0,0 +1 @@
+module main;

tests/smoke/Commands/typecheck.smoke.yaml

@@ -1,5 +1,14 @@
 working-directory: ./../../../tests/
 tests:
+  - name: ignore-dot-file
+    working-directory: ./../../../tests/positive/issue3068
+    command:
+      - juvix
+      - typecheck
+    stderr:
+      equals: "Well done! It type checks\n"
+    exit-status: 0
+
   - name: flag-help-shows-juvix-file-for-autocompletion
     command:
       - juvix