maude 0.2.0 → 0.2.1

raw patch · 2 files changed

+2/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

Foreign/Maude.hs +1/−1
maude.cabal +1/−1

Foreign/Maude.hs view

@@ -129,7 +129,7 @@ newRunnerFile conf term = do     currDir <- getCurrentDirectory     (tmpf, tmph) <- openTempFile currDir "runner.maude"-    mapM_ (\f -> T.hPutStrLn tmph "load " >> hPutStrLn tmph f) (loadFiles conf)+    mapM_ (\f -> T.hPutStr tmph "load " >> hPutStrLn tmph f) (loadFiles conf)     when (printParens conf) $         T.hPutStrLn tmph "set print with parentheses on ."     T.hPutStrLn tmph "set show command off ."

maude.cabal view

@@ -1,5 +1,5 @@ Name:               maude-Version:            0.2.0+Version:            0.2.1 Synopsis:           An interface to the Maude rewriting system. Description:        This package provides a simple interface for doing Maude                     rewrites from within Haskell.