Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Quickcheck failure (from NixOS nixos-18.03.133224.5f59ab7d4e0) #323

Closed
jpdoyle opened this issue Sep 16, 2018 · 3 comments
Closed

Quickcheck failure (from NixOS nixos-18.03.133224.5f59ab7d4e0) #323

jpdoyle opened this issue Sep 16, 2018 · 3 comments

Comments

@jpdoyle
Copy link

jpdoyle commented Sep 16, 2018

Failures:

  tests/Test/Hspec/Megaparsec.hs:52:13:
  1) Text.Megaparsec.Char.Lexer.symbol', when stream begins with the symbol, parses the symbol and trailing whitespace
       Falsifiable (after 266 tests):
         "EN\21629\&1PU0bjjlse8\19683gEz7DHBle0DpgasQ30M\305v\39822mIOEN\24479EJnBFHj\161307X1svLuNTVbcZ\n\n\n\t\t\t\t\t\n\t"
       expected: "EN\21629\&1PU0bjjlse8\19683gEz7DHBle0DpgasQ30M\305v\39822mIOEN\24479EJnBFHj\161307X1svLuNTVbcZ"
       but parsing failed with error:
         1:1:
         unexpected "EN命1PU0bjjlse8䳣gEz7DHBle0DpgasQ30Mıv鮎mIOEN徟EJnBFHj𧘛X1svLuNTVbcZ"
         expecting "EN命1PU0BJJLSE8䳣GEZ7DHBLE0DPGASQ30MIV鮎MIOEN徟EJNBFHJ𧘛X1SVLUNTVBCZ"

  To rerun use: --match "/Text.Megaparsec.Char.Lexer/symbol'/when stream begins with the symbol/parses the symbol and trailing whitespace/"

Randomized with seed 1460357806

@mrkkrp
Copy link
Owner

mrkkrp commented Sep 16, 2018

This is Megaparsec 6.5.0, right? This must be fixed in version 7.

@jpdoyle
Copy link
Author

jpdoyle commented Sep 16, 2018

Ah yep!

Specifically I'm building hnix, which currently has megaparsec >=6.5 && <7.0 as a dependency. I guess I should encourage them to update.

@jpdoyle
Copy link
Author

jpdoyle commented Sep 16, 2018

I've reported this to hnix haskell-nix/hnix#368

tomjaguarpaw pushed a commit to tomjaguarpaw/megaparsec that referenced this issue Sep 29, 2022
* [mrkkrp#323] Add a JSON output format

Resolves mrkkrp#323

* Update CHANGELOG

* Fix Stack build
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants