Fix #2924

anoma · Jul 30, 2024 · d1e5388 · d1e5388
1 parent 178bc53
commit d1e5388
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Concrete/Translation/ImportScanner/FlatParse.hs b/src/Juvix/Compiler/Concrete/Translation/ImportScanner/FlatParse.hs
@@ -12,7 +12,9 @@ import Juvix.Prelude.FlatParse qualified as FP
 import Juvix.Prelude.FlatParse.Lexer qualified as L
 
 scanBSImports :: Path Abs File -> ByteString -> Maybe ScanResult
-scanBSImports fp = fromResult . scanner fp
+scanBSImports fp
+  | isJuvixFile fp = fromResult . scanner fp
+  | otherwise = const Nothing
   where
     fromResult :: Result () ok -> Maybe ok
     fromResult = \case

diff --git a/tests/positive/Markdown/Test.juvix.md b/tests/positive/Markdown/Test.juvix.md
@@ -1,5 +1,7 @@
 # Example
 
+What is important is seldom urgent. 
+
 A Juvix Markdown file name ends with `.juvix.md`. This kind of file must contain
 a module declaration at the top, as shown below ---in the first code block.