Merge pull request #4892 from felixonmars/patch-2

Fix compatibility with megaparsec 9
idris-lang · Dec 16, 2020 · 0a11fd7 · 0a11fd7
2 parents a59c371 + 6ea9bc9
commit 0a11fd7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Idris/Parser/Stack.hs b/src/Idris/Parser/Stack.hs
@@ -84,7 +84,11 @@ instance Message ParseError where
       (pos, _) = P.reachOffsetNoLine (parseErrorOffset err) (parseErrorPosState err)
 #endif
   messageText = PP.text . init . P.parseErrorTextPretty . parseError
+#if MIN_VERSION_megaparsec(9,0,0)
+  messageSource err = sline
+#else
   messageSource err = Just sline
+#endif
     where
 #if MIN_VERSION_megaparsec(8,0,0)
       (sline, _) = P.reachOffset (parseErrorOffset err) (parseErrorPosState err)