Added property tests for the KeyMap data structure.

IntersectMBO · Nov 24, 2021 · ae14210 · ae14210
1 parent 60e820d
commit ae14210
Show file tree

Hide file tree

Showing 7 changed files with 938 additions and 1,134 deletions.
diff --git a/libs/compact-map/compact-map.cabal b/libs/compact-map/compact-map.cabal
@@ -32,18 +32,16 @@ library
   exposed-modules:     Data.Compact.KeyMap
                      , Data.Compact.HashMap
                      , Data.Compact.VMap
-  other-modules:       Data.Compact.Class
-                     , Data.Compact.KVVector
+                     , Data.Compact.SmallArray
+  other-modules:       Data.Compact.KVVector
   build-depends:       base >=4.11 && <5
-                     , array
                      , cardano-binary
                      , cardano-prelude
                      , containers
                      , cardano-crypto-class
                      , deepseq
                      , prettyprinter
                      , primitive
-                     , random
                      , text
                      , nothunks
                      , vector
@@ -60,12 +58,14 @@ test-suite tests
   type:                exitcode-stdio-1.0
   default-language:    Haskell2010
   build-depends:       base
+                     , cardano-prelude
                      , containers
                      , tasty
                      -- , tasty-expected-failure
                      , tasty-quickcheck
-                     -- , tasty-hunit
+                     , tasty-hunit
                      , compact-map
                      , QuickCheck
                      , quickcheck-classes-base
-  ghc-options:        -threaded
+                     , random
+  ghc-options:        -threaded -O