Fix syntax error format

anoma · Mar 6, 2025 · b5d2e6c · b5d2e6c
1 parent 576852d
commit b5d2e6c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/package.yaml b/package.yaml
@@ -79,7 +79,7 @@ dependencies:
   - hashable == 1.4.*
   - language-c == 0.9.*
   - libyaml == 0.1.*
-  - megaparsec == 9.6.*
+  - megaparsec == 9.7.*
   - commonmark == 0.2.*
   - parsec == 3.1.*
   - lens == 5.2.*

diff --git a/src/Juvix/Parser/Error/Base.hs b/src/Juvix/Parser/Error/Base.hs
@@ -6,7 +6,7 @@ import Text.Megaparsec qualified as M
 import Text.Megaparsec.Error (errorOffset)
 
 instance Pretty MegaparsecError where
-  pretty (MegaparsecError b) = pretty (M.errorBundlePretty b)
+  pretty (MegaparsecError b) = pretty (M.errorBundlePrettyWith (\_ _ -> M.parseErrorTextPretty) b)
 
 instance HasLoc MegaparsecError where
   getLoc (MegaparsecError b) = singletonInterval (mkLoc offset sourcePos)

diff --git a/stack.yaml b/stack.yaml
@@ -8,6 +8,7 @@ extra-deps:
       - effectful-th
   - git: https://github.com/Vekhir/aeson-better-errors.git
     commit: 1ec49ab7d1472046b680b5a64ae2930515b47714
+  - megaparsec-9.7.0@sha256:77e331b4240385974e68d1f8d5ca9014274983cc9ccb8caced743d360c3a409f,3407
 allow-newer: true
 allow-newer-deps:
   - aeson-better-errors