Add negative tests for parser

src/Juvix/Compiler/Backend/Markdown/Data/MkJuvixBlockOptions.hs

@@ -2,6 +2,7 @@ module Juvix.Compiler.Backend.Markdown.Data.MkJuvixBlockOptions where
 
 import Juvix.Parser.Error.Base
 import Juvix.Prelude.Base
+import Juvix.Prelude.Path
 import Juvix.Prelude.Parsing hiding (runParser)
 import Text.Megaparsec qualified as P
 import Text.Megaparsec.Char.Lexer qualified as L
@@ -24,8 +25,8 @@ renderJuvixBlockOptions = \case
   MkJuvixBlockOptionsShow -> ""
   MkJuvixBlockOptionsExtractModule -> optionExtractModuleStatements
 
-parseJuvixBlockOptions :: Text -> Either MegaparsecError MkJuvixBlockOptions
-parseJuvixBlockOptions = mapLeft MegaparsecError . P.runParser parseOptions ""
+parseJuvixBlockOptions :: Path Abs File -> Text -> Either MegaparsecError MkJuvixBlockOptions
+parseJuvixBlockOptions p = mapLeft MegaparsecError . P.runParser parseOptions (toFilePath p)
 
 type Parser = P.Parsec Void Text
 

src/Juvix/Compiler/Backend/Markdown/Translation/FromTyped/Source.hs

@@ -127,7 +127,7 @@ go fname = do
           modify (set processingStateMk r)
           MkConcat lS <$> go fname
         MkJuvixCodeBlock j -> do
-          opts <- case parseJuvixBlockOptions (j ^. juvixCodeBlockOptions) of
+          opts <- case parseJuvixBlockOptions fname (j ^. juvixCodeBlockOptions) of
             Left e ->
               throw
                 ( ErrInvalidCodeBlockAttribtues

test/BackendMarkdown/Negative.hs

@@ -94,5 +94,12 @@ tests =
       $(mkRelFile "InvalidExtractModuleBlockNotJustModule.juvix.md")
       $ \e -> case fromJuvixError e of
         Just (ErrInvalidExtractModuleBlock _) -> Nothing
+        _ -> wrongError e,
+    NegTest
+      "code block with both hide and extract-module-statements"
+      $(mkRelDir "Markdown")
+      $(mkRelFile "InvalidCodeBlockExtraAttribute.juvix.md")
+      $ \e -> case fromJuvixError e of
+        Just (ErrInvalidCodeBlockAttribtues _) -> Nothing
         _ -> wrongError e
   ]

tests/negative/Markdown/InvalidCodeBlockExtraAttribute.juvix.md

@@ -0,0 +1,9 @@
+# Title
+
+```juvix
+module InvalidExtractModuleBlockExtraAttribute;
+```
+
+```juvix hide extract-module-statements
+type T := t;
+```

tests/negative/Markdown/InvalidCodeBlockUnknownAttribute.juvix.md

@@ -0,0 +1,9 @@
+# Title
+
+```juvix
+module InvalidExtractModuleBlockUnknownAttribute;
+```
+
+```juvix invalid-attribute
+type T := t;
+```