opentheory-char 1.30 → 1.39

raw patch · 4 files changed

+14/−14 lines, 4 filesdep ~opentheorydep ~opentheory-parserPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: opentheory, opentheory-parser

API changes (from Hackage documentation)

Files

• opentheory-char.cabal +9/−9
• src/OpenTheory/Data/Unicode.hs +1/−1
• src/OpenTheory/Data/Unicode/UTF8.hs +1/−1
• testsrc/Test.hs +3/−3

@@ -1,16 +1,16 @@ name: opentheory-char-version: 1.30+version: 1.39 category: Text synopsis: Unicode characters license: MIT license-file: LICENSE cabal-version: >= 1.8.0.6 build-type: Simple-author: Joe Hurd <joe@gilith.com>-maintainer: Joe Hurd <joe@gilith.com>+author: Joe Leslie-Hurd <joe@gilith.com>+maintainer: Joe Leslie-Hurd <joe@gilith.com> description:-  Unicode characters-  Automatically generated from the opentheory package haskell-char-1.30+  Unicode characters - automatically generated from the opentheory package+  haskell-char-1.39  library   build-depends:@@ -18,8 +18,8 @@     random >= 1.0.1.1 && < 2.0,     QuickCheck >= 2.4.0.1 && < 3.0,     opentheory-primitive >= 1.0 && < 2.0,-    opentheory >= 1.52 && <= 1.61,-    opentheory-parser >= 1.93 && <= 1.105+    opentheory >= 1.73 && <= 1.74,+    opentheory-parser >= 1.94 && <= 1.115    hs-source-dirs: src @@ -35,8 +35,8 @@     random >= 1.0.1.1 && < 2.0,     QuickCheck >= 2.4.0.1 && < 3.0,     opentheory-primitive >= 1.0 && < 2.0,-    opentheory >= 1.52 && <= 1.61,-    opentheory-parser >= 1.93 && <= 1.105+    opentheory >= 1.73 && <= 1.74,+    opentheory-parser >= 1.94 && <= 1.115    hs-source-dirs: src, testsrc 

@@ -3,7 +3,7 @@ description: Unicode characters license: MIT -maintainer: Joe Hurd <joe@gilith.com>+maintainer: Joe Leslie-Hurd <joe@gilith.com> stability: provisional portability: portable -}

@@ -3,7 +3,7 @@ description: Unicode characters license: MIT -maintainer: Joe Hurd <joe@gilith.com>+maintainer: Joe Leslie-Hurd <joe@gilith.com> stability: provisional portability: portable -}

@@ -3,7 +3,7 @@ description: Unicode characters - testing license: MIT -maintainer: Joe Hurd <joe@gilith.com>+maintainer: Joe Leslie-Hurd <joe@gilith.com> stability: provisional portability: portable -}@@ -23,7 +23,7 @@ proposition0 :: Primitive.Random.Random -> Bool proposition0 r =   let (cs, _) = Data.List.Geometric.fromRandom Data.Unicode.fromRandom r in-  Data.List.size cs <= Data.List.size (Data.Unicode.UTF8.encode cs)+  Data.List.length' cs <= Data.List.length' (Data.Unicode.UTF8.encode cs)  proposition1 :: Primitive.Random.Random -> Bool proposition1 r =@@ -48,7 +48,7 @@  main :: IO () main =-    do Primitive.Test.check "Proposition 0:\n  !r.\n    let (cs, r') <- H.Geometric.fromRandom H.fromRandom r in\n    H.size cs <= H.size (H.UTF8.encode cs)\n  " proposition0+    do Primitive.Test.check "Proposition 0:\n  !r.\n    let (cs, r') <- H.Geometric.fromRandom H.fromRandom r in\n    H.length' cs <= H.length' (H.UTF8.encode cs)\n  " proposition0        Primitive.Test.check "Proposition 1:\n  !r.\n    let (cs, r') <- H.Geometric.fromRandom H.fromRandom r in\n    H.equal (H.equal H.equal) (H.UTF8.decode (H.UTF8.encode cs)) (some cs)\n  " proposition1        Primitive.Test.check "Proposition 2:\n  !r.\n    let (bs, r') <- H.Geometric.fromRandom H.fromRandom r in\n    case H.UTF8.decode bs of\n      none -> T\n    | some cs -> H.equal (=) (H.UTF8.encode cs) bs\n  " proposition2        Primitive.Test.check "Proposition 3:\n  !r.\n    let (c, r') <- H.fromRandom r in\n    let (pl, pos) <- H.unUnicode c in\n    let pli <- H.unPlane pl in\n    let posi <- H.unPosition pos in\n    ~(pli = 0) \\/ posi < 55296 \\/ 57343 < posi /\\ posi < 65534\n  " proposition3