Add a test for issue #67

Author: phadej

.github/workflows/haskell-ci.yml

@@ -8,9 +8,9 @@
 #
 # For more information, see https://github.com/haskell-CI/haskell-ci
 #
-# version: 0.15.20220808
+# version: 0.15.20221225
 #
-# REGENDATA ("0.15.20220808",["github","cabal.project"])
+# REGENDATA ("0.15.20221225",["github","cabal.project"])
 #
 name: Haskell-CI
 on:
@@ -300,3 +300,11 @@ jobs:
         run: |
           rm -f cabal.project.local
           $CABAL v2-build $ARG_COMPILER --disable-tests --disable-benchmarks all
+      - name: prepare for constraint sets
+        run: |
+          rm -f cabal.project.local
+      - name: constraint set random-hashable
+        run: |
+          if [ $((! GHCJSARITH && HCNUMVER >= 90400)) -ne 0 ] ; then $CABAL v2-build $ARG_COMPILER --enable-tests --disable-benchmarks --constraint='hashable >=1.3.2.0' --constraint='hashable +random-initial-seed' --dependencies-only -j2 all ; fi
+          if [ $((! GHCJSARITH && HCNUMVER >= 90400)) -ne 0 ] ; then $CABAL v2-build $ARG_COMPILER --enable-tests --disable-benchmarks --constraint='hashable >=1.3.2.0' --constraint='hashable +random-initial-seed' all ; fi
+          if [ $((! GHCJSARITH && HCNUMVER >= 90400)) -ne 0 ] ; then $CABAL v2-test $ARG_COMPILER --enable-tests --disable-benchmarks --constraint='hashable >=1.3.2.0' --constraint='hashable +random-initial-seed' all ; fi

cabal.haskell-ci

@@ -7,3 +7,9 @@ docspec:  >=8
 -- constraint-set bytestring-0.11
 --   ghc:         >=7.8
 --   constraints: bytestring ^>=0.11
+
+constraint-set random-hashable
+  ghc: ==9.4.*
+  constraints: hashable >=1.3.2.0, hashable +random-initial-seed
+  tests: True
+  run-tests: True

fixtures/HashSet.expr

@@ -0,0 +1,14 @@
+HS.fromList
+  [
+    "az",
+    "dz",
+    "ax",
+    "bz",
+    "cx",
+    "cz",
+    "dy",
+    "bx",
+    "cy",
+    "by",
+    "dx",
+    "ay"]

tests/Tests.hs

@@ -11,6 +11,7 @@ import Test.Tasty                 (TestTree, defaultMain, testGroup)
 import Test.Tasty.Golden.Advanced (goldenTest)
 import Test.Tasty.QuickCheck      (testProperty)
 
+import qualified Data.HashSet                 as HS
 import qualified Text.Parsec                  as P
 import qualified Text.PrettyPrint.ANSI.Leijen as WL
 import qualified Text.Trifecta                as T (eof, parseString)
@@ -163,5 +164,9 @@ goldenTests = testGroup "Golden"
         return $ MyInt3 42
     , ediffGolden goldenTest "Positional" "fixtures/Positional.expr" $
         return $ Positional 12 True 'z'
+
+    -- issue #67
+    , ediffGolden goldenTest "HashSet" "fixtures/HashSet.expr" $
+        return $ HS.fromList [ [x,y] | x <- "abcd", y <- "xyz" ]
     ]
 

tree-diff.cabal

@@ -85,22 +85,22 @@ library
 
   -- GHC boot libraries
   build-depends:
-    , base        >=4.5      && <4.18
-    , bytestring  ^>=0.9.2.1 || ^>=0.10.0.2 || ^>=0.11.0.0
-    , containers  ^>=0.4.2.1 || ^>=0.5.0.0 || ^>=0.6.0.1
-    , deepseq     ^>=1.3.0.0 || ^>=1.4.0.0
+    , base        >=4.5       && <4.18
+    , bytestring  ^>=0.9.2.1  || ^>=0.10.0.2 || ^>=0.11.0.0
+    , containers  ^>=0.4.2.1  || ^>=0.5.0.0  || ^>=0.6.0.1
+    , deepseq     ^>=1.3.0.0  || ^>=1.4.0.0
     , parsec      ^>=3.1.13.0
     , pretty      ^>=1.1.1.0
-    , text        ^>=1.2.3.0 || ^>=2.0
-    , time        >=1.4      && <1.5 || >=1.5.0.1 && <1.6 || >=1.6.0.1 && <1.7 || >=1.8.0.2 && <1.9 || >=1.9.3 && <1.13
+    , text        ^>=1.2.3.0  || ^>=2.0
+    , time        >=1.4       && <1.5        || >=1.5.0.1   && <1.6 || >=1.6.0.1 && <1.7 || >=1.8.0.2 && <1.9 || >=1.9.3 && <1.13
 
   build-depends:
-    , aeson                 ^>=1.4.6.0 || ^>=1.5.6.0 || ^>=2.0.0.0 || ^>=2.1.0.0
-    , ansi-terminal         >=0.10       && <0.12
+    , aeson                 ^>=1.4.6.0    || ^>=1.5.6.0  || ^>=2.0.0.0 || ^>=2.1.0.0
+    , ansi-terminal         >=0.10        && <0.12
     , ansi-wl-pprint        ^>=0.6.8.2
-    , base-compat           >=0.10.5     && <0.11 || >=0.11.0 && <0.13
+    , base-compat           >=0.10.5      && <0.11       || >=0.11.0   && <0.13
     , bytestring-builder    ^>=0.10.8.2.0
-    , hashable              ^>=1.2.7.0 || ^>=1.3.0.0 || ^>=1.4.0.1
+    , hashable              ^>=1.2.7.0    || ^>=1.3.0.0  || ^>=1.4.0.1
     , parsers               ^>=0.12.10
     , primitive             ^>=0.7.1.0
     , QuickCheck            ^>=2.14.2
@@ -111,7 +111,7 @@ library
     , these                 ^>=1.1.1.1
     , unordered-containers  ^>=0.2.8.0
     , uuid-types            ^>=1.0.3
-    , vector                ^>=0.12.0.0 || ^>=0.13.0.0
+    , vector                ^>=0.12.0.0   || ^>=0.13.0.0
 
   if impl(ghc <7.5)
     build-depends: ghc-prim
@@ -160,16 +160,17 @@ test-suite tree-diff-test
     , QuickCheck
     , tagged
     , tree-diff
+    , unordered-containers
 
   if impl(ghc <7.5)
     build-depends: ghc-prim
 
   -- extra dependencies
   build-depends:
-    , tasty             ^>=1.2 || ^>=1.3.1 || ^>=1.4.2
+    , tasty             ^>=1.2     || ^>=1.3.1 || ^>=1.4.2
     , tasty-golden      ^>=2.3.1.1
     , tasty-quickcheck  ^>=0.10.1
-    , trifecta          >=2       && <2.2
+    , trifecta          >=2        && <2.2
 
 benchmark tree-diff-bench
   default-language: Haskell2010