From 6ea9bc913877d765048d7cdb7fc5aec60b196fac Mon Sep 17 00:00:00 2001 From: Felix Yan Date: Wed, 16 Dec 2020 21:48:32 +0800 Subject: [PATCH] Fix compatibility with megaparsec 9 --- Taken from src/Idris/Parser/Stack.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/Idris/Parser/Stack.hs b/src/Idris/Parser/Stack.hs index fb7b611440..879786f4d2 100644 --- 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) e class='tabs'> aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-12-27git: 'commit-difference' takes a list of excluded commits....* guix/git.scm (commit-closure): Add 'visited' optional parameter. (commit-difference): Add 'excluded' optional parameter; pass second argument to 'commit-closure'. * tests/git.scm ("commit-difference, excluded commits"): New test. Ludovic Courtès
2019-09-23git: Add 'commit-difference'....* guix/git.scm (commit-closure, commit-difference): New procedures. * guix/tests/git.scm, tests/git.scm: New files. * Makefile.am (dist_noinst_DATA): Add guix/tests/git.scm. (SCM_TESTS): Add tests/git.scm. Ludovic Courtès