135.63 s[genvalidity-sydtest] source root is genvalidity-sydtest-1.0.1.0
135.64 s[genvalidity-sydtest] setting SOURCE_DATE_EPOCH to timestamp 1778655449 of file "genvalidity-sydtest-1.0.1.0/test/Test/Syd/Validity/ShrinkingSpec.hs"
135.65 s[genvalidity-sydtest] warning: file "genvalidity-sydtest-1.0.1.0/test/Test/Syd/Validity/ShrinkingSpec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
151.12 s[genvalidity-sydtest] ✓ is the identity for mappend :: ([Ratio Integer]) -> ([Ratio Integer]) -> ([Ratio Integer]) for "valid :: ([Ratio Integer])" 25.51 ms
151.12 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Applicative []
151.38 s[genvalidity-sydtest] ✓ satisfies 'pure = return' for "[] of ints :: [Int]" 1.41 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" 6.78 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" 2.26 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Functor []
151.38 s[genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" 3.61 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
151.38 s[genvalidity-sydtest] ✓ satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "[] of ints :: [Int]" "perturbations using the int :: (Int -> [Int])" and "perturbations using the double the int :: (Int -> [Int])" 292.60 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
151.38 s[genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" 6.14 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" 7.64 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
151.38 s[genvalidity-sydtest] ✓ satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "Maybe of ints :: (Maybe Int)" "perturbations using the int :: (Int -> Maybe Int)" and "perturbations using the double the int :: (Int -> Maybe Int)" 7.31 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
151.38 s[genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" 7.31 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" 7.44 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Functor Maybe
151.38 s[genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" 8.20 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Applicative Maybe
151.38 s[genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" 8.15 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" 7.34 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" 8.13 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
151.38 s[genvalidity-sydtest] ✓ satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "Maybe of ints :: (Maybe Int)" "perturbations using the int :: (Int -> Maybe Int)" and "perturbations using the double the int :: (Int -> Maybe Int)" 7.11 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Applicative Maybe
151.38 s[genvalidity-sydtest] ✓ satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" 8.05 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" 7.91 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" 7.90 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
151.38 s[genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" 7.80 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" 7.95 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Functor Maybe
151.38 s[genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" 8.01 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] return :: a -> (Either Int) a and (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b
151.38 s[genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "(Either Int) of ints :: (Either Int Int)" 7.93 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Either Int Int)" 7.98 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Applicative (Either Int)
151.38 s[genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "(Either Int) of additions :: (Either Int (Int -> Int))" and "(Either Int) of ints :: (Either Int Int)" 8.01 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies 'pure = return' for "(Either Int) of ints :: (Either Int Int)" 7.96 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "(Either Int) of ints :: (Either Int Int)" and "(Either Int) of ints :: (Either Int Int)" 8.01 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b
151.38 s[genvalidity-sydtest] ✓ satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "(Either Int) of ints :: (Either Int Int)" "perturbations using the int :: (Int -> Either Int Int)" and "perturbations using the double the int :: (Int -> Either Int Int)" 8.09 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Functor (Either Int)
151.38 s[genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "(Either Int) of ints :: (Either Int Int)" 8.11 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Functor Maybe
151.38 s[genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "appends :: ([Char] -> [Char])" and "Just an ABC :: (Maybe [Char])" 7.80 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] relation with Applicative Maybe
151.38 s[genvalidity-sydtest] ✓ satisfies 'pure = return' for "Just an ABC :: (Maybe [Char])" 5.87 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Just an ABC :: (Maybe [Char])" and "Just an ABC :: (Maybe [Char])" 3.20 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "append 'a' in Just :: (Maybe ([Char] -> [Char]))" and "Just an ABC :: (Maybe [Char])" 2.88 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
151.38 s[genvalidity-sydtest] ✓ satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "Just an ABC :: (Maybe [Char])" "justisation :: ([Char] -> Maybe [Char])" and "justisation :: ([Char] -> Maybe [Char])" 2.31 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
151.38 s[genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Just an ABC :: (Maybe [Char])" 2.17 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.38 s[genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "ABC :: [Char]" and "justisation :: ([Char] -> Maybe [Char])" 1.97 ms
151.38 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] relation with Functor []
151.39 s[genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" 3.48 ms
151.39 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
151.39 s[genvalidity-sydtest] ✓ satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "[] of ints :: [Int]" "perturbations using the int :: (Int -> [Int])" and "perturbations using the double the int :: (Int -> [Int])" 219.86 ms
151.39 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] relation with Applicative []
151.39 s[genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" 12.43 ms
151.39 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] ✓ satisfies 'pure = return' for "[] of ints :: [Int]" 3.43 ms
151.39 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" 11.53 ms
151.39 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
151.39 s[genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" 12.00 ms
151.39 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" 11.77 ms
151.39 s[genvalidity-sydtest] passed for all of 100 inputs.
151.39 s[genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "Just an ABC :: (Maybe [Char])" 's given to "prepends :: ([Char] -> [Char])" and "appends :: ([Char] -> [Char])" 20.24 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Just an ABC :: (Maybe [Char])" 23.22 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "ABC :: [Char]" and "Just an ABC :: (Maybe [Char])" 23.38 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "list of fives :: [Int]" 23.60 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "list of fives :: [Int]" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" 25.63 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> [] b -> [] a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "four :: Int" and "list of fives :: [Int]" 24.98 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> [] b -> [] a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" 23.62 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "[] of ints :: [Int]" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" 24.08 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" 24.74 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] fmap :: (a -> b) -> (Either Int) a -> (Either Int) b
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "(Either Int) of ints :: (Either Int Int)" 22.36 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "(Either Int) of ints :: (Either Int Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" 21.63 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> (Either Int) b -> (Either Int) a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "(Either Int) of ints :: (Either Int Int)" 21.63 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> [] b -> [] a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" 19.07 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" 20.21 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "[] of ints :: [Int]" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" 16.71 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" 14.81 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "Maybe of ints :: (Maybe Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" 15.04 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" 12.66 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] fmap :: (a -> b) -> ((,) Int) a -> ((,) Int) b
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "((,) Int) of ints :: (Int,Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" 9.32 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "((,) Int) of ints :: (Int,Int)" 8.71 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> ((,) Int) b -> ((,) Int) a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "((,) Int) of ints :: (Int,Int)" 6.93 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" 6.11 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
151.40 s[genvalidity-sydtest] ✓ satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "Maybe of ints :: (Maybe Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" 7.53 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" 7.57 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "[] of ints :: [Int]" in front of "[] of ints :: Int" 32.05 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
151.40 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" 10.18 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "[] of ints :: [Int]" 12.41 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" 12.43 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "[] of scalings :: ([Int -> Int])" composed with "[] of increments :: ([Int -> Int])" and applied to "[] of ints :: [Int]" 17.87 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 12.22 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" 28.62 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (*>) :: (Either Int) a -> (Either Int) b -> (Either Int) b
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "(Either Int) of ints :: (Either Int Int)" in front of "(Either Int) of ints :: Int" 14.75 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<*) :: (Either Int) a -> (Either Int) b -> (Either Int) a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "(Either Int) of ints :: Int" behind "(Either Int) of ints :: (Either Int Int)" 14.35 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] pure :: a -> (Either Int) a and (<*>) :: (Either Int) (a -> b) -> (Either Int) a -> (Either Int) b
151.40 s[genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "(Either Int) of ints :: (Either Int Int)" 14.28 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "(Either Int) of ints :: (Either Int Int)" 15.47 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "(Either Int) of scalings :: (Either Int (Int -> Int))" composed with "(Either Int) of increments :: (Either Int (Int -> Int))" and applied to "(Either Int) of ints :: (Either Int Int)" 15.25 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 15.22 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "(Either Int) of increments :: (Either Int (Int -> Int))" sequenced with "int :: Int" 15.07 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
151.40 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 14.92 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" 15.12 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" 15.06 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "Maybe of scalings :: (Maybe (Int -> Int))" composed with "Maybe of increments :: (Maybe (Int -> Int))" and applied to "Maybe of ints :: (Maybe Int)" 17.41 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" 13.78 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
151.40 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "Maybe of ints :: Int" behind "Maybe of ints :: (Maybe Int)" 16.70 ms
151.40 s[genvalidity-sydtest] passed for all of 100 inputs.
151.40 s[genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "Maybe of ints :: (Maybe Int)" in front of "Maybe of ints :: Int" 16.60 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "purely Nothing :: [Char]" behind "Just an ABC :: (Maybe [Char])" 12.72 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "Just an ABC :: (Maybe [Char])" in front of "purely Nothing :: [Char]" 12.45 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
151.41 s[genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Just an ABC :: (Maybe [Char])" 15.02 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "prepends :: ([Char] -> [Char])" mapped over "Just an ABC :: (Maybe [Char])" 13.98 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "prepends :: ([Char] -> [Char])" sequenced with "ABC :: [Char]" 12.74 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "appends in a Just :: (Maybe ([Char] -> [Char]))" composed with "prepends in a Just :: (Maybe ([Char] -> [Char]))" and applied to "Just an ABC :: (Maybe [Char])" 10.61 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "prepends in a Just :: (Maybe ([Char] -> [Char]))" sequenced with "ABC :: [Char]" 8.95 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "[] of ints :: [Int]" in front of "[] of ints :: Int" 24.32 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
151.41 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 8.36 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "[] of scalings :: ([Int -> Int])" composed with "[] of increments :: ([Int -> Int])" and applied to "[] of ints :: [Int]" 7.78 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "[] of ints :: [Int]" 7.84 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" 9.32 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" 9.44 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" 22.92 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
151.41 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "four :: Int" 8.54 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "increments in a list :: ([Int -> Int])" sequenced with "four :: Int" 10.10 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "scalings in a list :: ([Int -> Int])" composed with "increments in a list :: ([Int -> Int])" and applied to "list of fives :: [Int]" 10.72 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "list of fives :: [Int]" 10.27 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "list of fives :: [Int]" 12.62 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "purely empty list :: Int" behind "list of fives :: [Int]" 9.88 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "list of fives :: [Int]" in front of "purely empty list :: Int" 9.90 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "Maybe of ints :: (Maybe Int)" in front of "Maybe of ints :: Int" 9.38 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
151.41 s[genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "Maybe of ints :: Int" behind "Maybe of ints :: (Maybe Int)" 9.27 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
151.41 s[genvalidity-sydtest] ✓ satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "Maybe of scalings :: (Maybe (Int -> Int))" composed with "Maybe of increments :: (Maybe (Int -> Int))" and applied to "Maybe of ints :: (Maybe Int)" 11.07 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" 8.53 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" 11.80 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 12.06 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
151.41 s[genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" 17.10 ms
151.41 s[genvalidity-sydtest] passed for all of 100 inputs.
165.68 s[genvalidity-sydtest] shrinking RPATHs of ELF executables and libraries in /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0
165.81 s[genvalidity-sydtest] checking for references to /build/ in /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0...
166.10 s[genvalidity-sydtest] patching script interpreter paths in /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0
166.14 s[genvalidity-sydtest] stripping (with command strip and flags -S -p) in /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/lib
167.54 s[genvalidity-sydtest] shrinking RPATHs of ELF executables and libraries in /nix/store/lq3j8pxd7pcfs40l7v991ficnp4pxllq-genvalidity-sydtest-1.0.1.0-doc
167.58 s[genvalidity-sydtest] checking for references to /build/ in /nix/store/lq3j8pxd7pcfs40l7v991ficnp4pxllq-genvalidity-sydtest-1.0.1.0-doc...
167.71 s[genvalidity-sydtest] patching script interpreter paths in /nix/store/lq3j8pxd7pcfs40l7v991ficnp4pxllq-genvalidity-sydtest-1.0.1.0-doc
168.11 sProgress: 10 of 15 built, 1 of 1 downloaded from cache
191.02 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.02 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.03 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.04 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.06 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.07 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.08 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.08 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.09 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.10 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.11 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.13 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.13 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.15 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.15 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.15 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.16 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.16 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.16 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.17 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.17 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.18 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.18 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.18 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.18 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.19 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.19 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.20 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.20 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.20 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.21 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.21 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.22 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.22 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.22 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.23 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.23 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.23 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.24 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.24 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.24 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.26 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.26 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.26 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.27 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.27 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.27 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.29 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.29 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.29 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.30 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.30 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.30 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.31 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.32 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.33 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.33 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.33 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.34 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.34 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.35 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.35 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.36 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.36 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.36 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.37 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.37 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.38 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.38 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.39 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.39 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.39 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.40 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.40 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.40 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.41 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.41 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.41 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.42 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.42 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.42 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.43 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.44 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.44 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.45 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.45 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.45 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.46 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.46 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.46 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.47 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.47 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.48 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.48 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.48 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.49 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.49 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.51 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.51 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.52 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.52 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.52 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.53 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.53 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.54 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.55 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.55 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.56 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.56 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.57 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.57 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.58 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.58 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.59 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.59 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.59 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.60 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.60 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.61 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.62 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.62 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.62 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.63 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.63 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.64 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.65 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.65 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.65 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.66 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.67 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.67 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.68 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.68 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.68 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.68 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.69 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.69 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.69 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.70 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.70 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.71 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.71 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.71 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.71 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.72 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.72 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.72 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.73 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.73 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.75 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.75 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.76 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.76 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.77 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.77 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.77 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.78 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.78 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.79 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.80 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.81 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.81 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
191.82 s[ghc-9.10.3-with-packages] propagated-build-inputs: Keeping existing link to /nix/store/yaz2wzxrzagzxp1mnja2z1w2axgg28xv-genvalidity-sydtest-1.0.1.0/nix-support/propagated-build-inputs
193.09 s[ghc-9.10.3-with-packages] Warning: haddock-interfaces: /nix/store/jpd6ni1xmdhm20kjfydzd85jay0a9yxq-libyaml-clib-0.2.5/share/doc/x86_64-linux-ghc-9.10.3-c151/libyaml-clib-0.2.5/html/libyaml-clib.haddock doesn't exist or isn't a file
193.09 s[ghc-9.10.3-with-packages] Warning: haddock-html: /nix/store/jpd6ni1xmdhm20kjfydzd85jay0a9yxq-libyaml-clib-0.2.5/share/doc/x86_64-linux-ghc-9.10.3-c151/libyaml-clib-0.2.5/html doesn't exist or isn't a directory
193.09 s[ghc-9.10.3-with-packages] Warning: haddock-interfaces: /nix/store/xgvsdqaqb5rzxwq1ld611hsfzcp6khw4-attoparsec-0.14.4/share/doc/x86_64-linux-ghc-9.10.3-c151/attoparsec-0.14.4/html/attoparsec.haddock doesn't exist or isn't a file
193.10 s[ghc-9.10.3-with-packages] Warning: haddock-html: /nix/store/xgvsdqaqb5rzxwq1ld611hsfzcp6khw4-attoparsec-0.14.4/share/doc/x86_64-linux-ghc-9.10.3-c151/attoparsec-0.14.4/html doesn't exist or isn't a directory
193.10 s[ghc-9.10.3-with-packages] Warning: haddock-interfaces: /nix/store/xgvsdqaqb5rzxwq1ld611hsfzcp6khw4-attoparsec-0.14.4/share/doc/x86_64-linux-ghc-9.10.3-c151/attoparsec-0.14.4/html/attoparsec.haddock doesn't exist or isn't a file
193.10 s[ghc-9.10.3-with-packages] Warning: haddock-html: /nix/store/xgvsdqaqb5rzxwq1ld611hsfzcp6khw4-attoparsec-0.14.4/share/doc/x86_64-linux-ghc-9.10.3-c151/attoparsec-0.14.4/html doesn't exist or isn't a directory
193.12 s[ghc-9.10.3-with-packages] Warning: haddock-interfaces: /nix/store/hfcgkxapyph1fb4pd8w4jldv02n89s9x-path-0.9.6/share/doc/x86_64-linux-ghc-9.10.3-c151/path-0.9.6/html/path.haddock doesn't exist or isn't a file
193.12 s[ghc-9.10.3-with-packages] Warning: haddock-html: /nix/store/hfcgkxapyph1fb4pd8w4jldv02n89s9x-path-0.9.6/share/doc/x86_64-linux-ghc-9.10.3-c151/path-0.9.6/html doesn't exist or isn't a directory
193.12 s[ghc-9.10.3-with-packages] Warning: include-dirs: /nix/store/rkh2iqhx7da7r33wy175nymxl5lwrrwn-ghc-9.10.3-with-packages/lib/ghc-9.10.3/lib/../lib/x86_64-linux-ghc-9.10.3/directory-1.3.8.5-7407/include doesn't exist or isn't a directory
193.12 s[ghc-9.10.3-with-packages] Warning: haddock-interfaces: /nix/store/jp73i67j096rnrl52lw1lpjx0mikzxqa-vector-0.13.2.0/share/doc/x86_64-linux-ghc-9.10.3-c151/vector-0.13.2.0/html/vector.haddock doesn't exist or isn't a file
193.12 s[ghc-9.10.3-with-packages] Warning: haddock-html: /nix/store/jp73i67j096rnrl52lw1lpjx0mikzxqa-vector-0.13.2.0/share/doc/x86_64-linux-ghc-9.10.3-c151/vector-0.13.2.0/html doesn't exist or isn't a directory
193.12 s[ghc-9.10.3-with-packages] Warning: haddock-interfaces: /nix/store/jp73i67j096rnrl52lw1lpjx0mikzxqa-vector-0.13.2.0/share/doc/x86_64-linux-ghc-9.10.3-c151/vector-0.13.2.0/html/vector.haddock doesn't exist or isn't a file
193.12 s[ghc-9.10.3-with-packages] Warning: haddock-html: /nix/store/jp73i67j096rnrl52lw1lpjx0mikzxqa-vector-0.13.2.0/share/doc/x86_64-linux-ghc-9.10.3-c151/vector-0.13.2.0/html doesn't exist or isn't a directory
193.13 s[ghc-9.10.3-with-packages] Warning: haddock-interfaces: /nix/store/hfcgkxapyph1fb4pd8w4jldv02n89s9x-path-0.9.6/share/doc/x86_64-linux-ghc-9.10.3-c151/path-0.9.6/html/path.haddock doesn't exist or isn't a file
193.13 s[ghc-9.10.3-with-packages] Warning: haddock-html: /nix/store/hfcgkxapyph1fb4pd8w4jldv02n89s9x-path-0.9.6/share/doc/x86_64-linux-ghc-9.10.3-c151/path-0.9.6/html doesn't exist or isn't a directory
195.14 sProgress: 12 of 14 built, 1 of 1 downloaded from cache