Folly 0.1.5.0 → 0.1.5.1

raw patch · 3 files changed

+17/−17 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Folly.cabal +3/−3
• test/Main.hs +14/−0
• test/TestMain.hs +0/−14

@@ -2,7 +2,7 @@ --  see http://haskell.org/cabal/users-guide/  name:                Folly-version:             0.1.5.0+version:             0.1.5.1 synopsis:            A first order logic library in Haskell description:         An implementation of first order logic in Haskell that 		     includes a library of modules for incorporating first@@ -15,7 +15,7 @@ maintainer:          Dillon Huff homepage:	     https://github.com/dillonhuff/Folly -- copyright:           -category:            Theorem proving+category:            Theorem Provers build-type:          Simple cabal-version:       >=1.8 @@ -31,7 +31,7 @@   hs-source-dirs:      src  executable Folly-tests-  main-is:             TestMain.hs+  main-is:             Main.hs   other-modules:       Folly.FormulaTests, Folly.LexerTests, Folly.ParserTests, Folly.ResolutionTests, Folly.UnificationTests, Folly.TestUtils, Folly.Clause   build-depends:       base < 6, HUnit, containers, parsec   hs-source-dirs:      test, src

@@ -0,0 +1,14 @@+module TestMain(main) where++import Folly.FormulaTests+import Folly.LexerTests+import Folly.ParserTests+import Folly.ResolutionTests+import Folly.UnificationTests++main = do+  allFormulaTests+  allLexerTests+  allParserTests+  allResolutionTests+  allUnificationTests

@@ -1,14 +0,0 @@-module TestMain(main) where--import Folly.FormulaTests-import Folly.LexerTests-import Folly.ParserTests-import Folly.ResolutionTests-import Folly.UnificationTests--main = do-  allFormulaTests-  allLexerTests-  allParserTests-  allResolutionTests-  allUnificationTests