From d1f5a578232a1ab28fad7cb7ef0a0327b9a1c7fb Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Wed, 18 Sep 2024 07:30:48 -0700 Subject: [PATCH] Update InitVals.hs --- SBVTestSuite/TestSuite/Arrays/InitVals.hs | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) diff --git a/SBVTestSuite/TestSuite/Arrays/InitVals.hs b/SBVTestSuite/TestSuite/Arrays/InitVals.hs index 1175061c1..4cba8240b 100644 --- a/SBVTestSuite/TestSuite/Arrays/InitVals.hs +++ b/SBVTestSuite/TestSuite/Arrays/InitVals.hs @@ -94,16 +94,15 @@ tests = testGroup "Arrays" [ , testCase "array_misc_10" $ (write (empty 0) [(i, i+1) | i <- [0 .. (3 :: WordN 2)]] .== write (empty 0) [(i, i ) | i <- [0 .. (3 :: WordN 2)]]) `showsAs` "False" - ] ] - where t p f goldFile = do r <- p defaultSMTCfg{verbose=True, redirectVerbose = Just goldFile} f - appendFile goldFile ("\nFINAL OUTPUT:\n" ++ show r ++ "\n") + where t p f goldFile = do r <- p defaultSMTCfg{verbose=True, redirectVerbose = Just goldFile} f + appendFile goldFile ("\nFINAL OUTPUT:\n" ++ show r ++ "\n") - empty :: (SymVal a, SymVal b) => b -> SArray a b - empty = listArray [] + empty :: (SymVal a, SymVal b) => b -> SArray a b + empty = listArray [] - write :: (SymVal a, SymVal b) => SArray a b -> [(a, b)] -> SArray a b - write = foldr (\(k, v) a -> writeArray a (literal k) (literal v)) + write :: (SymVal a, SymVal b) => SArray a b -> [(a, b)] -> SArray a b + write = foldr (\(k, v) a -> writeArray a (literal k) (literal v)) {- HLint ignore module "Reduce duplication" -}