Fix a test name (#533)

sjakobi · web-flow · commit 59ddae5ad351 · 2025-10-22T23:21:14.000+02:00
diff --git a/tests/Properties/HashMapLazy.hs b/tests/Properties/HashMapLazy.hs
@@ -182,7 +182,7 @@ tests =
         \(k :: Key) (v :: Int) x -> isValid (HM.insert k v x)
       ]
     , testGroup "insertWith"
-      [ testProperty "insertWith" $
+      [ testProperty "model" $
         \(Fn2 f) k v (x :: HMKI) ->
           toOrdMap (HM.insertWith f k v x) === M.insertWith f k v (toOrdMap x)
       , testProperty "valid" $

Original file line number	Diff line number	Diff line change
`@@ -182,7 +182,7 @@ tests =`
`182`	`182`	`\(k :: Key) (v :: Int) x -> isValid (HM.insert k v x)`
`183`	`183`	`]`
`184`	`184`	`, testGroup "insertWith"`
`185`		`- [ testProperty "insertWith" $`
	`185`	`+ [ testProperty "model" $`
`186`	`186`	`\(Fn2 f) k v (x :: HMKI) ->`
`187`	`187`	`toOrdMap (HM.insertWith f k v x) === M.insertWith f k v (toOrdMap x)`
`188`	`188`	`, testProperty "valid" $`