sexpr-parser 0.1.0.0 → 0.1.1.0

raw patch · 5 files changed

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

version bump matches the API change (PVP)

Dependency ranges changed: base, megaparsec

API changes (from Hackage documentation)

Files

README.md +4/−0
lib/Text/SExpression.hs +1/−1
lib/Text/SExpression/Internal.hs +8/−0
sexpr-parser.cabal +1/−1
z3-demo/Main.hs +1/−1

README.md view

@@ -1,5 +1,9 @@ # sexpr-parser +[![Travis branch](https://img.shields.io/travis/rcook/sexpr-parser/master.svg)](https://travis-ci.org/rcook/sexpr-parser)+[![Hackage](https://img.shields.io/hackage/v/sexpr-parser.svg)](http://hackage.haskell.org/package/sexpr-parser)+[![Licence](https://img.shields.io/badge/license-MIT-blue.svg)](https://raw.githubusercontent.com/rcook/sexpr-parser/master/LICENSE)+ S-expression parser in Haskell  ## Description

lib/Text/SExpression.hs view

@@ -51,7 +51,7 @@ >         Right (satResult, funs) -> do >             for_ funs $ \(name, value) -> >                 putStrLn $ printf "%s = %s" name (if value then "1" else "0")->             putStrLn $ "result=" ++ show satResult+>             putStrLn $ printf "result=%s" (show satResult) > > parseZ3SATResult :: Parser Z3SATResult > parseZ3SATResult = do

lib/Text/SExpression/Internal.hs view

@@ -12,6 +12,8 @@  {-# OPTIONS_GHC -Wall -Werror #-} +{-# LANGUAGE CPP #-}+ module Text.SExpression.Internal     ( -- * S-expression parser       parseSExpr@@ -30,6 +32,10 @@     ( (<|>)     , endBy     , many+#if MIN_VERSION_GLASGOW_HASKELL(8,6,0,0)+    , noneOf+    , oneOf+#endif     , sepBy     , some     , try@@ -38,8 +44,10 @@     ( char     , digitChar     , letterChar+#if !MIN_VERSION_GLASGOW_HASKELL(8,6,0,0)     , noneOf     , oneOf+#endif     , space1     ) import Text.Megaparsec.Char.Lexer

sexpr-parser.cabal view

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

z3-demo/Main.hs view

@@ -45,7 +45,7 @@         Right (satResult, funs) -> do             for_ funs $ \(name, value) ->                 putStrLn $ printf "%s = %s" name (if value then "1" else "0")-            putStrLn $ "result=" ++ show satResult+            putStrLn $ printf "result=%s" (show satResult)  parseZ3SATResult :: Parser Z3SATResult parseZ3SATResult = do