haskell-nix/hnix-store
1
1
Fork 0
mirror of https://github.com/haskell-nix/hnix-store.git synced 2024-09-11 18:05:56 +03:00
Code Issues Projects Releases Wiki Activity

remote: fix arbitrary repair mode of AddToStore AddTextToStore to DontRepair

Browse Source
This commit is contained in:
sorki 2023-12-03 12:05:24 +01:00
parent a39ee890d0
commit 9b66373471
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
hnix-store-remote/src/System/Nix/Store/Remote/Arbitrary.hs
View File

@ -5,6 +5,7 @@ module System.Nix.Store.Remote.Arbitrary where
import Data.Some (Some(Some))
import System.Nix.Arbitrary ()
import System.Nix.Store.Types (RepairMode(..))
import System.Nix.Store.Remote.Types
import Test.QuickCheck (Arbitrary(..), oneof, suchThat)
@ -95,8 +96,8 @@ deriving via GenericArbitrary WorkerOp
instance Arbitrary (Some StoreRequest) where
arbitrary = oneof
[ Some <$> (AddToStore <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary)
, Some <$> (AddTextToStore <$> arbitrary <*> arbitrary <*> arbitrary)
[ Some <$> (AddToStore <$> arbitrary <*> arbitrary <*> arbitrary <*> pure RepairMode_DontRepair)
, Some <$> (AddTextToStore <$> arbitrary <*> arbitrary <*> pure RepairMode_DontRepair)
, Some <$> (AddSignatures <$> arbitrary <*> arbitrary)
, Some . AddIndirectRoot <$> arbitrary
, Some . AddTempRoot <$> arbitrary