sexpr-parser 0.1.1.0 → 0.1.1.1

raw patch · 3 files changed

+16/−5 lines, 3 filesdep ~basedep ~megaparsecPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: base, megaparsec

API changes (from Hackage documentation)

Files

• README.md +2/−2
• lib/Text/SExpression/Internal.hs +13/−2
• sexpr-parser.cabal +1/−1

@@ -8,11 +8,11 @@  ## Description -This is a [Megaparsec][megaparsec]-based parser for s-expression, heavily inspired by [lispparser][lispparser]. I'm building this to parse [SMT-LIB v2][smt-lib] output, so there.+This is a [Megaparsec][megaparsec]-based parser for s-expressions, heavily inspired by [lispparser][lispparser]. I'm building this to parse [SMT-LIB v2][smt-lib] output from [Z3][z3], so there.  ## Run Z3 demo -The [Z3 demo](z3-demo/Main.hs) parses SMT-LIB v2 output from Z3. The executable assumes that you have [Z3][z3] installed and available on your system search path:+The [Z3 demo](z3-demo/Main.hs) parses SMT-LIB v2 output from Z3. The executable assumes that you have Z3 installed and the `z3` executable available on your system search path:  ```bash stack build --fast --exec sexpr-parser-z3-demo

@@ -14,6 +14,17 @@  {-# LANGUAGE CPP #-} +#undef MEGAPARSEC_7_OR_LATER+#ifdef MIN_VERSION_GLASGOW_HASKELL+-- GHC >= 7.10.1.0+#if MIN_VERSION_GLASGOW_HASKELL(8,0,0,0)+-- GHC >= 8.0.0.0+#if MIN_VERSION_megaparsec(7,0,0)+#define MEGAPARSEC_7_OR_LATER+#endif+#endif+#endif+ module Text.SExpression.Internal     ( -- * S-expression parser       parseSExpr@@ -32,7 +43,7 @@     ( (<|>)     , endBy     , many-#if MIN_VERSION_GLASGOW_HASKELL(8,6,0,0)+#ifdef MEGAPARSEC_7_OR_LATER     , noneOf     , oneOf #endif@@ -44,7 +55,7 @@     ( char     , digitChar     , letterChar-#if !MIN_VERSION_GLASGOW_HASKELL(8,6,0,0)+#ifndef MEGAPARSEC_7_OR_LATER     , noneOf     , oneOf #endif

@@ -1,5 +1,5 @@ name:                   sexpr-parser-version:                0.1.1.0+version:                0.1.1.1 synopsis:               Simple s-expression parser description:   This package provides a simple Megaparsec-based s-expression parser.