opentheory-parser 1.155 → 1.156

raw patch · 3 files changed

+40/−45 lines, 3 filesdep ~opentheorydep ~opentheory-primitivePVP ok

version bump matches the API change (PVP)

Dependency ranges changed: opentheory, opentheory-primitive

API changes (from Hackage documentation)

Files

• opentheory-parser.cabal +11/−16
• src/Test.hs +29/−0
• testsrc/Main.hs +0/−29

@@ -1,5 +1,5 @@ name: opentheory-parser-version: 1.155+version: 1.156 category: Parsing synopsis: Stream parsers license: MIT@@ -10,32 +10,27 @@ maintainer: Joe Leslie-Hurd <joe@gilith.com> description:   Stream parsers - this package was automatically generated from the-  OpenTheory package parser-1.155+  OpenTheory package parser-1.156  library   build-depends:     base >= 4.0 && < 5.0,     QuickCheck >= 2.4.0.1 && < 3.0,-    opentheory-primitive >= 1.3 && < 2.0,-    opentheory >= 1.195 && < 1.196-+    opentheory-primitive >= 1.4 && < 2.0,+    opentheory >= 1.195 && < 1.197   hs-source-dirs: src-   ghc-options: -Wall-   exposed-modules:-    OpenTheory.Parser+    OpenTheory.Parser,     OpenTheory.Parser.Stream -executable opentheory-parser-test+test-suite opentheory-parser-test+  type: exitcode-stdio-1.0   build-depends:     base >= 4.0 && < 5.0,     QuickCheck >= 2.4.0.1 && < 3.0,-    opentheory-primitive >= 1.3 && < 2.0,-    opentheory >= 1.195 && < 1.196--  hs-source-dirs: src, testsrc-+    opentheory-primitive >= 1.4 && < 2.0,+    opentheory >= 1.195 && < 1.197+  hs-source-dirs: src   ghc-options: -Wall--  main-is: Main.hs+  main-is: Test.hs

@@ -0,0 +1,29 @@+{- |+module: Main+description: Stream parsers - testing+license: MIT++maintainer: Joe Leslie-Hurd <joe@gilith.com>+stability: provisional+portability: portable+-}+module Main+  ( main )+where++import qualified OpenTheory.List as List+import qualified OpenTheory.Parser.Stream as Stream+import OpenTheory.Primitive.Test++proposition0 :: [Bool] -> Bool+proposition0 l = Stream.toList (Stream.fromList l) == (l, False)++proposition1 :: Stream.Stream Bool -> Bool+proposition1 xs =+  Stream.lengthStream xs == List.naturalLength (fst (Stream.toList xs))++main :: IO ()+main =+    do check "Proposition 0:\n  !l. toList (fromList l) = (l, F)\n  " proposition0+       check "Proposition 1:\n  !xs. length xs = length (fst (toList xs))\n  " proposition1+       return ()

@@ -1,29 +0,0 @@-{- |-module: Main-description: Stream parsers - testing-license: MIT--maintainer: Joe Leslie-Hurd <joe@gilith.com>-stability: provisional-portability: portable--}-module Main-  ( main )-where--import qualified OpenTheory.List as List-import qualified OpenTheory.Parser.Stream as Stream-import OpenTheory.Primitive.Test--proposition0 :: [Bool] -> Bool-proposition0 l = Stream.toList (Stream.fromList l) == (l, False)--proposition1 :: Stream.Stream Bool -> Bool-proposition1 xs =-  Stream.lengthStream xs == List.naturalLength (fst (Stream.toList xs))--main :: IO ()-main =-    do check "Proposition 0:\n  !l. toList (fromList l) = (l, F)\n  " proposition0-       check "Proposition 1:\n  !xs. length xs = length (fst (toList xs))\n  " proposition1-       return ()