tpdb 0.8.2 → 0.8.3

raw patch · 3 files changed

+28/−3 lines, 3 filesdep ~containers

Dependency ranges changed: containers

Files

TPDB/Plain/Read.hs +7/−1
test/read_print_trs_2.hs +11/−0
tpdb.cabal +10/−2

TPDB/Plain/Read.hs view

@@ -11,6 +11,10 @@ import Text.Parsec.Token import Text.Parsec.Language import Text.Parsec.Char++import TPDB.Pretty (pretty)+import TPDB.Plain.Write ()+ import Control.Monad ( guard, void ) import Data.List ( nub ) @@ -99,12 +103,14 @@         $ many ( void ( identifier lexer ) <|> parens lexer anylist )  instance Reader ( SRS Identifier ) where-    reader = do+    reader = do +        many space         ds <- many $ declaration True 	return $ make_srs ds  instance Reader ( TRS Identifier Identifier ) where     reader = do+        many space         ds <- many $ declaration False 	return $ make_trs ds

+ test/read_print_trs_2.hs view

@@ -0,0 +1,11 @@+import TPDB.Plain.Write+import TPDB.Plain.Read+import TPDB.Pretty++import Control.Monad ( forM, void )++main = void $ do+    s <- readFile "test/02.trs"+    case trs s of+        Right t -> print $ pretty t+        Left err -> error err

tpdb.cabal view

@@ -1,8 +1,8 @@ Name: tpdb-Version: 0.8.2+Version: 0.8.3 Author: Johannes Waldmann Maintainer: Johannes Waldmann-Category: Science+Category: Logic License: GPL License-file: LICENSE Cabal-Version: >= 1.8@@ -18,6 +18,8 @@  Build-Type: Simple +Homepage: https://github.com/jwaldmann/haskell-tpdb+ Source-Repository head   Type: git   Location: git://github.com/jwaldmann/haskell-tpdb.git@@ -54,6 +56,12 @@   Build-Depends: base==4.*, hxt, wl-pprint-text, parsec, time, containers  >= 0.5, HaXml, hashable   Type: exitcode-stdio-1.0   main-is: read_print_trs.hs+  hs-source-dirs: test .++Test-Suite TRS_02+  Build-Depends: base==4.*, hxt, wl-pprint-text, parsec, time, containers  >= 0.5, HaXml, hashable+  Type: exitcode-stdio-1.0+  main-is: read_print_trs_2.hs   hs-source-dirs: test .  Test-Suite SRS