Resolving dependencies... Build profile: -w ghc-9.6.3 -O0 In order, the following will be built (use -v for more details): - Cabal-syntax-3.8.1.0 (lib:Cabal-syntax) (requires build) - Yampa-0.14.7 (lib:Yampa) (requires build) - normaldistribution-1.1.0.3 (lib:normaldistribution) (requires build) - tasty-1.4.3 (lib:tasty) (requires build) - Cabal-3.8.1.0 (lib:Cabal) (requires build) - tasty-quickcheck-0.10.2 (lib:tasty-quickcheck) (requires build) - yampa-test-0.14.7 (first run) Starting normaldistribution-1.1.0.3 (all, legacy fallback) Starting tasty-1.4.3 (all, legacy fallback) Starting Yampa-0.14.7 (all, legacy fallback) Starting Cabal-syntax-3.8.1.0 (all, legacy fallback) Building normaldistribution-1.1.0.3 (all, legacy fallback) Building Yampa-0.14.7 (all, legacy fallback) Building tasty-1.4.3 (all, legacy fallback) Building Cabal-syntax-3.8.1.0 (all, legacy fallback) Installing normaldistribution-1.1.0.3 (all, legacy fallback) Completed normaldistribution-1.1.0.3 (all, legacy fallback) Installing Yampa-0.14.7 (all, legacy fallback) Completed Yampa-0.14.7 (all, legacy fallback) Installing tasty-1.4.3 (all, legacy fallback) Completed tasty-1.4.3 (all, legacy fallback) Starting tasty-quickcheck-0.10.2 (all, legacy fallback) Building tasty-quickcheck-0.10.2 (all, legacy fallback) Installing tasty-quickcheck-0.10.2 (all, legacy fallback) Completed tasty-quickcheck-0.10.2 (all, legacy fallback) Installing Cabal-syntax-3.8.1.0 (all, legacy fallback) Completed Cabal-syntax-3.8.1.0 (all, legacy fallback) Starting Cabal-3.8.1.0 (all, legacy fallback) Building Cabal-3.8.1.0 (all, legacy fallback) Installing Cabal-3.8.1.0 (all, legacy fallback) Completed Cabal-3.8.1.0 (all, legacy fallback) Configuring yampa-test-0.14.7... Preprocessing library for yampa-test-0.14.7.. Building library for yampa-test-0.14.7.. [1 of 5] Compiling FRP.Yampa.Debug ( src/FRP/Yampa/Debug.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/Debug.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/Debug.dyn_o ) [2 of 5] Compiling FRP.Yampa.LTLPast ( src/FRP/Yampa/LTLPast.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/LTLPast.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/LTLPast.dyn_o ) [3 of 5] Compiling FRP.Yampa.Stream ( src/FRP/Yampa/Stream.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/Stream.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/Stream.dyn_o ) [4 of 5] Compiling FRP.Yampa.QuickCheck ( src/FRP/Yampa/QuickCheck.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/QuickCheck.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/QuickCheck.dyn_o ) src/FRP/Yampa/QuickCheck.hs:79:16: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In a case alternative: _ -> ... | 79 | _ -> error "yampa-test: generateStreamWith" | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [5 of 5] Compiling FRP.Yampa.LTLFuture ( src/FRP/Yampa/LTLFuture.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/LTLFuture.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/FRP/Yampa/LTLFuture.dyn_o ) Preprocessing test suite 'yampa-quicheck' for yampa-test-0.14.7.. Building test suite 'yampa-quicheck' for yampa-test-0.14.7.. [ 1 of 18] Compiling Test.FRP.Yampa.Arrow ( tests/Test/FRP/Yampa/Arrow.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Arrow.o ) [ 2 of 18] Compiling Test.FRP.Yampa.Event ( tests/Test/FRP/Yampa/Event.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Event.o ) tests/Test/FRP/Yampa/Event.hs:12:29: warning: [-Wunused-imports] The import of guard from module Control.Monad is redundant | 12 | import Control.Monad (guard, join) | ^^^^^ tests/Test/FRP/Yampa/Event.hs:203:29: warning: [-Wunused-matches] Defined but not used: x | 203 | forAll randomValue $ \x -> | ^ tests/Test/FRP/Yampa/Event.hs:205:19: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Event.hs:203:29 | 205 | (f >>= \x -> return x) == f | ^ tests/Test/FRP/Yampa/Event.hs:380:19: warning: [-Wunused-matches] Defined but not used: es | 380 | safeHead _ (e:es) = e | ^^ tests/Test/FRP/Yampa/Event.hs:443:1: warning: [GHC-90177] [-Worphans] Orphan instance: instance Arbitrary a => Arbitrary (Event a) Suggested fix: Move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. | 443 | instance Arbitrary a => Arbitrary (Event a) where | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... tests/Test/FRP/Yampa/Event.hs:468:1: warning: [-Wunused-top-binds] Defined but not used: randomEventFunction | 468 | randomEventFunction = do | ^^^^^^^^^^^^^^^^^^^ [ 3 of 18] Compiling Test.FRP.Yampa.Random ( tests/Test/FRP/Yampa/Random.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Random.o ) tests/Test/FRP/Yampa/Random.hs:73:11: warning: [GHC-63397] [-Wname-shadowing] This binding for output shadows the existing binding imported from Test.QuickCheck at tests/Test/FRP/Yampa/Random.hs:25:1-50 (and originally defined in Test.QuickCheck.Test) | 73 | let output = embed (noiseR bounds (mkStdGen seed)) (structure stream) | ^^^^^^ tests/Test/FRP/Yampa/Random.hs:129:11: warning: [GHC-63397] [-Wname-shadowing] This binding for output shadows the existing binding imported from Test.QuickCheck at tests/Test/FRP/Yampa/Random.hs:25:1-50 (and originally defined in Test.QuickCheck.Test) | 129 | let output = | ^^^^^^ tests/Test/FRP/Yampa/Random.hs:176:14: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of round at tests/Test/FRP/Yampa/Random.hs:176:14-18 (Num a0) arising from a use of fromIntegral at tests/Test/FRP/Yampa/Random.hs:176:21-32 (Fractional a0) arising from the literal 0.05 at tests/Test/FRP/Yampa/Random.hs:176:47-50 " In the expression: round (fromIntegral numSamples * 0.05) In an equation for margin: margin = round (fromIntegral numSamples * 0.05) In an equation for propOccasionally: propOccasionally = forAll genDt $ \ avgDt -> forAll genOutput $ \ b -> forAll genSeed $ ... where myStream :: DTime -> Gen (SignalSampleStream ()) myStream maxDT = generateStream DistRandom (Nothing, (Just maxDT)) (Just (Left numSamples)) genDt :: Gen Double genDt = fmap getPositive arbitrary .... | 176 | margin = round (fromIntegral numSamples * 0.05) | ^^^^^ tests/Test/FRP/Yampa/Random.hs:208:9: warning: [GHC-63397] [-Wname-shadowing] This binding for elemSize shadows the existing binding bound at tests/Test/FRP/Yampa/Random.hs:195:5 | 208 | elemSize = bitSize' x | ^^^^^^^^ [ 4 of 18] Compiling TestsCommon ( tests/TestsCommon.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/TestsCommon.o ) tests/TestsCommon.hs:100:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: fun_prod :: (t1 -> a) -> (t2 -> b) -> (t1, t2) -> (a, b) | 100 | fun_prod f g = \(x,y) -> (f x, g y) | ^^^^^^^^ [ 5 of 18] Compiling Test.FRP.Yampa.Time ( tests/Test/FRP/Yampa/Time.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Time.o ) tests/Test/FRP/Yampa/Time.hs:34:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: basicsf_t2r :: [Double] | 34 | basicsf_t2r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Time.hs:40:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_localtime_increasing :: Property | 40 | prop_basic_localtime_increasing = | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Time.hs:56:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: basicsf_t3r :: [Double] | 56 | basicsf_t3r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Time.hs:67:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_time_increasing :: Property | 67 | prop_basic_time_increasing = | ^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Time.hs:82:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Time.hs:6:8-26 (and originally defined in GHC.Enum) | 82 | pred _ (t,o) = (t > o) | ^^^^ tests/Test/FRP/Yampa/Time.hs:84:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_time_fixed_delay :: Property | 84 | prop_basic_time_fixed_delay = | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Time.hs:96:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_localtime_fixed_delay :: Property | 96 | prop_basic_localtime_fixed_delay = | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Time.hs:111:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 111 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ [ 6 of 18] Compiling Test.FRP.Yampa.Task ( tests/Test/FRP/Yampa/Task.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Task.o ) tests/Test/FRP/Yampa/Task.hs:48:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t0 :: [Either Time Double] | 48 | task_t0 = testSF1 (runTask (do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:55:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t0r :: [Either Time Double] | 55 | task_t0r = | ^^^^^^^^ tests/Test/FRP/Yampa/Task.hs:63:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t1 :: [Either Time Double] | 63 | task_t1 = testSF1 (runTask (do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:68:32: warning: [GHC-81995] [-Wunused-do-bind] A do-notation statement discarded a result of type Double Suggested fix: Suppress this warning by saying _ <- snapT | 68 | snapT -- No time should pass! | ^^^^^ tests/Test/FRP/Yampa/Task.hs:69:32: warning: [GHC-81995] [-Wunused-do-bind] A do-notation statement discarded a result of type Double Suggested fix: Suppress this warning by saying _ <- snapT | 69 | snapT -- No time should pass! | ^^^^^ tests/Test/FRP/Yampa/Task.hs:74:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t2 :: [Either Double ()] | 74 | task_t2 = testSF1 (runTask (do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:85:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t2r :: [Either Double ()] | 85 | task_t2r = | ^^^^^^^^ tests/Test/FRP/Yampa/Task.hs:95:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t3 :: [Either Double ()] | 95 | task_t3 = testSF1 (runTask (do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:118:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t4 :: [Either Double ()] | 118 | task_t4 = testSF1 (runTask (do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:127:19: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Ord a0) arising from a use of <= at tests/Test/FRP/Yampa/Task.hs:127:19-20 (Num a0) arising from the literal 1 at tests/Test/FRP/Yampa/Task.hs:127:11 " In the expression: (<=) In the third argument of for, namely (<= 2) In a stmt of a 'do' block: for 1 (+ 1) (<= 2) ((mkTask (constant 2.0 >>> integral &&& never)) `timeOut` 1.5) | 127 | for 1 (+1) (<=2) | ^^ tests/Test/FRP/Yampa/Task.hs:143:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t5 :: [Either Double Bool] | 143 | task_t5 = testSF1 (runTask (do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:163:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t6 :: [Either Double (Either Double (), Double)] | 163 | task_t6 = testSF1 $ runTask $ do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:184:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t7 :: [Either Double (Either Double (), Double)] | 184 | task_t7 = testSF1 $ runTask $ do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:203:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: task_t8 :: [Either Double (Either Double (), Double)] | 203 | task_t8 = testSF1 $ runTask $ do | ^^^^^^^ tests/Test/FRP/Yampa/Task.hs:241:5: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Task.hs:8:8-26 (and originally defined in GHC.Enum) | 241 | pred _ = uncurry (==) | ^^^^ tests/Test/FRP/Yampa/Task.hs:274:5: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Task.hs:8:8-26 (and originally defined in GHC.Enum) | 274 | pred _ = uncurry (==) | ^^^^ tests/Test/FRP/Yampa/Task.hs:296:5: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Task.hs:8:8-26 (and originally defined in GHC.Enum) | 296 | pred _ = uncurry (==) | ^^^^ [ 7 of 18] Compiling Test.FRP.Yampa.Switches ( tests/Test/FRP/Yampa/Switches.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Switches.o ) tests/Test/FRP/Yampa/Switches.hs:85:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t0 :: [Double] | 85 | switch_t0 = take 18 $ | ^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:87:35: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:86:31 | 87 | switch (switch_t0b x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:88:35: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:87:35 | 88 | switch (switch_t0c x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:89:35: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:88:35 | 89 | switch (switch_t0c x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:90:35: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:89:35 | 90 | switch (switch_t0d x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:91:35: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:90:35 | 91 | switch (switch_t0e x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:110:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t0d :: (Integral a, Fractional c, Ord c) => a -> SF c (c, Event ()) | 110 | switch_t0d x = (arr (+ (fromIntegral x))) &&& (arr (>= 7.0) >>> edge) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:119:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t0r :: [Double] | 119 | switch_t0r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:126:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_inp1 :: (Double, [(DTime, Maybe Double)]) | 126 | switch_inp1 = deltaEncode 1.0 $ | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:138:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t1 :: [(Double, Double, Double)] | 138 | switch_t1 = take 32 $ embed (switch_t1rec 42.0) switch_inp1 | ^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:156:28: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:155:14 | 156 | switch (switch_t1a x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:157:28: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:156:28 | 157 | switch (switch_t1b x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:161:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t1r :: [(Double, Double, Double)] | 161 | switch_t1r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:172:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_switch_t1 :: Property | 172 | prop_switch_t1 = | ^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:172:1: warning: [-Wunused-top-binds] Defined but not used: prop_switch_t1 | 172 | prop_switch_t1 = | ^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:193:1: warning: [-Wunused-top-binds] Defined but not used: switch_tr | 193 | switch_tr = proc (a) -> do | ^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:195:12: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Integral a0 arising from a use of fromIntegral " In the first argument of ($), namely fromIntegral In the expression: fromIntegral $ floor (mod' t 4.0) In an equation for mt: mt = fromIntegral $ floor (mod' t 4.0) | 195 | let mt = fromIntegral $ floor (mod' t 4.0) | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:196:17: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of floor at tests/Test/FRP/Yampa/Switches.hs:196:17-21 (Eq a0) arising from the literal 0 at tests/Test/FRP/Yampa/Switches.hs:197:14 (Num a0) arising from the literal 0 at tests/Test/FRP/Yampa/Switches.hs:197:14 " In the expression: floor (t / 4.0) In the expression: case floor (t / 4.0) of 0 -> 42.0 1 -> 3.0 2 -> 4.0 3 -> 7.0 _ -> 9.0 In an equation for v: v = case floor (t / 4.0) of 0 -> 42.0 1 -> 3.0 2 -> 4.0 3 -> 7.0 _ -> 9.0 | 196 | v = case floor (t / 4.0) of | ^^^^^ tests/Test/FRP/Yampa/Switches.hs:213:25: warning: [GHC-63397] [-Wname-shadowing] This binding for a shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:211:22 | 213 | >>> arr (\(a, ea) -> (a, fmap (^+^ a) ea))) | ^ tests/Test/FRP/Yampa/Switches.hs:224:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t5r :: [Double] | 224 | switch_t5r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:232:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t2 :: [Double] | 232 | switch_t2 = take 18 $ | ^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:234:36: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:233:32 | 234 | dSwitch (switch_t0b x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:235:36: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:234:36 | 235 | dSwitch (switch_t0c x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:236:36: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:235:36 | 236 | dSwitch (switch_t0c x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:237:36: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:236:36 | 237 | dSwitch (switch_t0d x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:238:36: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:237:36 | 238 | dSwitch (switch_t0e x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:243:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t2r :: [Double] | 243 | switch_t2r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:250:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t3 :: [(Double, Double, Double)] | 250 | switch_t3 = take 32 $ embed (switch_t3rec 42.0) switch_inp1 | ^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:254:29: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:253:14 | 254 | dSwitch (switch_t1a x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:255:29: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:254:29 | 255 | dSwitch (switch_t1b x) $ \x -> | ^ tests/Test/FRP/Yampa/Switches.hs:259:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t3r :: [(Double, Double, Double)] | 259 | switch_t3r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:272:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t4 :: [Double] | 272 | switch_t4 = take 25 $ | ^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:288:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: switch_t4r :: [Double] | 288 | switch_t4r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:295:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_inp1 :: ((Double, Event (SF Double Double)), [(DTime, Maybe (Double, Event (SF Double Double)))]) | 295 | rswitch_inp1 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp)) | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:311:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_inp2 :: ((Double, Event (SF Double Double)), [(DTime, Maybe (Double, Event (SF Double Double)))]) | 311 | rswitch_inp2 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp)) | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:327:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_t0 :: [Double] | 327 | rswitch_t0 = take 20 $ embed (rSwitch (arr (+3))) rswitch_inp1 | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:338:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_t1 :: [Double] | 338 | rswitch_t1 = take 20 $ embed (rSwitch integral) rswitch_inp1 | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:349:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_t2 :: [Double] | 349 | rswitch_t2 = take 20 $ embed (rSwitch (arr (+100))) rswitch_inp2 | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:360:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_t3 :: [Double] | 360 | rswitch_t3 = take 20 $ embed (drSwitch (arr (+100))) rswitch_inp2 | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:382:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_inp3 :: (Double, [(DTime, Maybe Double)]) | 382 | rswitch_inp3 = deltaEncode 0.5 (repeat 0.0) | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:382:16: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (Eq a0) arising from a use of deltaEncode at tests/Test/FRP/Yampa/Switches.hs:382:16-26 (Fractional a0) arising from the literal 0.0 at tests/Test/FRP/Yampa/Switches.hs:382:40-42 " In the expression: deltaEncode 0.5 (repeat 0.0) In an equation for rswitch_inp3: rswitch_inp3 = deltaEncode 0.5 (repeat 0.0) | 382 | rswitch_inp3 = deltaEncode 0.5 (repeat 0.0) | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:384:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_t4 :: [Double] | 384 | rswitch_t4 = take 40 $ embed rswitch_sawTooth rswitch_inp3 | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:386:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rswitch_t4r :: [Double] | 386 | rswitch_t4r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:397:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: kswitch_inp1 :: (Double, [(DTime, Maybe Double)]) | 397 | kswitch_inp1 = deltaEncode 0.1 [0.0, 0.5 ..] | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:407:55: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 1.0 " In the second argument of whenSndGE, namely (1.0) In the second argument of kSwitch, namely (whenSndGE 1.0 (1.0)) In the first argument of ($), namely kSwitch (integral >>> arr (+ x)) (whenSndGE 1.0 (1.0)) | 407 | kSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:410:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: kswitch_t0r :: [Double] | 410 | kswitch_t0r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:422:55: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 1.0 " In the second argument of whenSndGE, namely (1.0) In the second argument of kSwitch, namely (whenSndGE 1.0 (1.0)) In the first argument of ($), namely kSwitch (integral >>> arr (+ x)) (whenSndGE 1.0 (1.0)) | 422 | kSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:425:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: kswitch_t2r :: [Double] | 425 | kswitch_t2r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:437:56: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 1.0 " In the second argument of whenSndGE, namely (1.0) In the second argument of dkSwitch, namely (whenSndGE 1.0 (1.0)) In the first argument of ($), namely dkSwitch (integral >>> arr (+ x)) (whenSndGE 1.0 (1.0)) | 437 | dkSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:440:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: kswitch_t1r :: [Double] | 440 | kswitch_t1r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:452:56: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 1.0 " In the second argument of whenSndGE, namely (1.0) In the second argument of dkSwitch, namely (whenSndGE 1.0 (1.0)) In the first argument of ($), namely dkSwitch (integral >>> arr (+ x)) (whenSndGE 1.0 (1.0)) | 452 | dkSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:455:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: kswitch_t3r :: [Double] | 455 | kswitch_t3r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:464:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: kswitch_t4 :: [Double] | 464 | kswitch_t4 = take 40 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:481:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: kswitch_t4r :: [Double] | 481 | kswitch_t4r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:495:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: coc_inp1 :: (Double, [(DTime, Maybe Double)]) | 495 | coc_inp1 = deltaEncode 0.1 [0.0, 0.5 ..] | ^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:500:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: coc_t0r :: [[Double]] | 500 | coc_t0r = | ^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:525:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_broadcast :: Property | 525 | prop_broadcast = | ^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:531:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Switches.hs:11:8-30 (and originally defined in GHC.Enum) | 531 | pred = (\x [y,z] -> x == y && (x + 1) == z) | ^^^^ tests/Test/FRP/Yampa/Switches.hs:531:17: warning: [GHC-62161] [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a lambda abstraction: Patterns of type Float, [Float] not matched: _ [] _ [_] _ (_:_:_:_) | 531 | pred = (\x [y,z] -> x == y && (x + 1) == z) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:533:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pswitch_inp1 :: (Double, [(DTime, Maybe Double)]) | 533 | pswitch_inp1 = deltaEncode 0.1 [0.0, 0.5 ..] | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:542:35: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 10.0 " In the second argument of whenFstGE, namely 10.0 In the second argument of pSwitchB, namely (whenFstGE 1.25 10.0) In the first argument of ($), namely pSwitchB [] (whenFstGE 1.25 10.0) | 542 | pSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x -> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:542:48: warning: [-Wunused-matches] Defined but not used: x | 542 | pSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:543:56: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:542:44 | 543 | pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:543:60: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:542:48 | 543 | pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:544:67: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:543:56 | 544 | pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:544:71: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:543:60 | 544 | pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x-> | ^ tests/Test/FRP/Yampa/Switches.hs:545:58: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 20.0 " In the second argument of whenFstGE, namely 20.0 In the second argument of pSwitchB, namely (whenFstGE 7.25 20.0) In the first argument of ($), namely pSwitchB ((integral >>> arr (+ x)) : sfs) (whenFstGE 7.25 20.0) | 545 | pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0) $ \sfs _-> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:545:67: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:544:67 | 545 | pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0) $ \sfs _-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:548:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pswitch_t0r :: [[Double]] | 548 | pswitch_t0r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:575:24: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 10.0 " In the first argument of now, namely 10.0 In the second argument of pSwitchB, namely (now 10.0) In the first argument of ($), namely pSwitchB [] (now 10.0) | 575 | pSwitchB [] (now 10.0) $ \sfs x -> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:575:37: warning: [-Wunused-matches] Defined but not used: x | 575 | pSwitchB [] (now 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:576:56: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:575:33 | 576 | pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:576:60: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:575:37 | 576 | pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:577:67: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:576:56 | 577 | pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:577:71: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:576:60 | 577 | pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x-> | ^ tests/Test/FRP/Yampa/Switches.hs:578:47: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 20.0 " In the first argument of now, namely 20.0 In the second argument of pSwitchB, namely (now 20.0) In the first argument of ($), namely pSwitchB ((integral >>> arr (+ x)) : sfs) (now 20.0) | 578 | pSwitchB ((integral>>>arr(+x)):sfs)(now 20.0) $ \sfs _-> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:578:56: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:577:67 | 578 | pSwitchB ((integral>>>arr(+x)):sfs)(now 20.0) $ \sfs _-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:581:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pswitch_t2r :: [[Double]] | 581 | pswitch_t2r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:629:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pswitch_t5r :: [([Double], Double)] | 629 | pswitch_t5r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:666:36: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 10.0 " In the second argument of whenFstGE, namely 10.0 In the second argument of dpSwitchB, namely (whenFstGE 1.25 10.0) In the first argument of ($), namely dpSwitchB [] (whenFstGE 1.25 10.0) | 666 | dpSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x -> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:666:49: warning: [-Wunused-matches] Defined but not used: x | 666 | dpSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:667:57: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:666:45 | 667 | dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:667:61: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:666:49 | 667 | dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:668:67: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:667:57 | 668 | dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:668:71: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:667:61 | 668 | dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x-> | ^ tests/Test/FRP/Yampa/Switches.hs:669:59: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 20.0 " In the second argument of whenFstGE, namely 20.0 In the second argument of dpSwitchB, namely (whenFstGE 7.25 20.0) In the first argument of ($), namely dpSwitchB ((integral >>> arr (+ x)) : sfs) (whenFstGE 7.25 20.0) | 669 | dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0)$ \sfs _-> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:669:67: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:668:67 | 669 | dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0)$ \sfs _-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:672:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pswitch_t1r :: [[Double]] | 672 | pswitch_t1r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:699:25: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 10.0 " In the first argument of now, namely 10.0 In the second argument of dpSwitchB, namely (now 10.0) In the first argument of ($), namely dpSwitchB [] (now 10.0) | 699 | dpSwitchB [] (now 10.0) $ \sfs x -> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:699:38: warning: [-Wunused-matches] Defined but not used: x | 699 | dpSwitchB [] (now 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:700:57: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:699:34 | 700 | dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^^^ tests/Test/FRP/Yampa/Switches.hs:700:61: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:699:38 | 700 | dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x -> | ^ tests/Test/FRP/Yampa/Switches.hs:701:67: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:700:57 | 701 | dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:701:71: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:700:61 | 701 | dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x-> | ^ tests/Test/FRP/Yampa/Switches.hs:702:49: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Double in the following constraint Fractional c0 arising from the literal 20.0 " In the first argument of now, namely 20.0 In the second argument of dpSwitchB, namely (now 20.0) In the first argument of ($), namely dpSwitchB ((integral >>> arr (+ x)) : sfs) (now 20.0) | 702 | dpSwitchB ((integral>>>arr(+x)):sfs) (now 20.0) $ \sfs _-> | ^^^^ tests/Test/FRP/Yampa/Switches.hs:702:58: warning: [GHC-63397] [-Wname-shadowing] This binding for sfs shadows the existing binding bound at tests/Test/FRP/Yampa/Switches.hs:701:67 | 702 | dpSwitchB ((integral>>>arr(+x)):sfs) (now 20.0) $ \sfs _-> | ^^^ tests/Test/FRP/Yampa/Switches.hs:705:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pswitch_t3r :: [[Double]] | 705 | pswitch_t3r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:758:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pswitch_t4r :: [[Double]] | 758 | pswitch_t4r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:791:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rpswitch_inp1 :: ((Double, Event ([SF Double Double] -> [SF Double Double])), [(DTime, Maybe (Double, Event ([SF Double Double] -> [SF Double Double])))]) | 791 | rpswitch_inp1 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp)) | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:807:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rpswitch_inp2 :: ((Double, Event ([SF Double Double] -> [SF Double Double])), [(DTime, Maybe (Double, Event ([SF Double Double] -> [SF Double Double])))]) | 807 | rpswitch_inp2 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp)) | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:826:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rpswitch_t0r :: [[Double]] | 826 | rpswitch_t0r = | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:852:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rpswitch_t2r :: [[Double]] | 852 | rpswitch_t2r = | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:878:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rpswitch_t1r :: [[Double]] | 878 | rpswitch_t1r = | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:904:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rpswitch_t3r :: [[Double]] | 904 | rpswitch_t3r = | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:953:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: rpswitch_t4r :: [[Double]] | 953 | rpswitch_t4r = | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:1934:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t6r :: [Int] | 1934 | utils_t6r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Switches.hs:2114:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 2114 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ tests/Test/FRP/Yampa/Switches.hs:2144:1: warning: [GHC-90177] [-Worphans] Orphan instance: instance Arbitrary a => Arbitrary (Event a) Suggested fix: Move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. | 2144 | instance Arbitrary a => Arbitrary (Event a) where | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 8 of 18] Compiling Test.FRP.Yampa.Simulation ( tests/Test/FRP/Yampa/Simulation.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Simulation.o ) tests/Test/FRP/Yampa/Simulation.hs:53:7: warning: [GHC-63397] [-Wname-shadowing] This binding for init shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Simulation.hs:6:8-32 (and originally defined in GHC.List) | 53 | let init = do | ^^^^ tests/Test/FRP/Yampa/Simulation.hs:59:9: warning: [GHC-63397] [-Wname-shadowing] This binding for count shadows the existing binding imported from FRP.Yampa at tests/Test/FRP/Yampa/Simulation.hs:25:1-25 (and originally defined in FRP.Yampa.Integration) | 59 | count <- readIORef countr | ^^^^^ tests/Test/FRP/Yampa/Simulation.hs:60:18: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Ord a0) arising from a use of >= at tests/Test/FRP/Yampa/Simulation.hs:60:18-19 (Num a0) arising from the literal 5 at tests/Test/FRP/Yampa/Simulation.hs:60:21 (Num a0) arising from the literal 1 at tests/Test/FRP/Yampa/Simulation.hs:54:27 " In the expression: count >= 5 In a stmt of a 'do' block: if count >= 5 then do writeIORef countr 1 input <- readIORef inputr let input' = ... .... else do writeIORef countr (count + 1) return (0.1, Nothing) In the expression: do count <- readIORef countr if count >= 5 then do writeIORef countr 1 .... else do writeIORef countr (count + 1) .... | 60 | if count >= 5 | ^^ tests/Test/FRP/Yampa/Simulation.hs:70:17: warning: [GHC-63397] [-Wname-shadowing] This binding for output shadows the existing binding imported from Test.QuickCheck at tests/Test/FRP/Yampa/Simulation.hs:19:1-22 (and originally defined in Test.QuickCheck.Test) | 70 | actuate _ output = do | ^^^^^^ tests/Test/FRP/Yampa/Simulation.hs:105:19: warning: [-Wunused-matches] Defined but not used: s | 105 | reactEmbed sf s@(s0, ss) = do | ^ tests/Test/FRP/Yampa/Simulation.hs:108:13: warning: [GHC-63397] [-Wname-shadowing] This binding for init shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Simulation.hs:6:8-32 (and originally defined in GHC.List) | 108 | let init = return s0 | ^^^^ tests/Test/FRP/Yampa/Simulation.hs:145:15: warning: [GHC-63397] [-Wname-shadowing] This binding for left shadows the existing binding imported from FRP.Yampa at tests/Test/FRP/Yampa/Simulation.hs:25:1-25 (and originally defined in Control.Arrow) | 145 | left = embed sf (structure stream) | ^^^^ tests/Test/FRP/Yampa/Simulation.hs:151:15: warning: [GHC-63397] [-Wname-shadowing] This binding for right shadows the existing binding imported from FRP.Yampa at tests/Test/FRP/Yampa/Simulation.hs:25:1-25 (and originally defined in Control.Arrow) | 151 | right = summation (plain stream) | ^^^^^ tests/Test/FRP/Yampa/Simulation.hs:159:5: warning: [GHC-63397] [-Wname-shadowing] This binding for function shadows the existing binding imported from Test.QuickCheck at tests/Test/FRP/Yampa/Simulation.hs:19:1-22 (and originally defined in Test.QuickCheck.Function) | 159 | function = arbitrary | ^^^^^^^^ tests/Test/FRP/Yampa/Simulation.hs:182:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: embed_t0 :: [Double] | 182 | embed_t0 = take 20 $ embed (embed_ratio | ^^^^^^^^ tests/Test/FRP/Yampa/Simulation.hs:187:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: embed_t0r :: [Double] | 187 | embed_t0r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Simulation.hs:194:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: embed_t1 :: [Double] | 194 | embed_t1 = take 20 $ embed (embed_ratio | ^^^^^^^^ tests/Test/FRP/Yampa/Simulation.hs:199:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: embed_t1r :: [Double] | 199 | embed_t1r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Simulation.hs:258:20: warning: [-Wunused-matches] Defined but not used: f | 258 | simplifyBy f [] = [] | ^ tests/Test/FRP/Yampa/Simulation.hs:262:25: warning: [-Wunused-matches] Defined but not used: f | 262 | simplifyBy' f _acc _cmp [] = [] | ^ tests/Test/FRP/Yampa/Simulation.hs:262:25: warning: [GHC-63397] [-Wname-shadowing] This binding for f shadows the existing binding bound at tests/Test/FRP/Yampa/Simulation.hs:259:20 | 262 | simplifyBy' f _acc _cmp [] = [] | ^ tests/Test/FRP/Yampa/Simulation.hs:263:25: warning: [GHC-63397] [-Wname-shadowing] This binding for f shadows the existing binding bound at tests/Test/FRP/Yampa/Simulation.hs:259:20 | 263 | simplifyBy' f acc cmp (x:xs) | ^ tests/Test/FRP/Yampa/Simulation.hs:263:38: warning: [GHC-63397] [-Wname-shadowing] This binding for x shadows the existing binding bound at tests/Test/FRP/Yampa/Simulation.hs:259:23 | 263 | simplifyBy' f acc cmp (x:xs) | ^ tests/Test/FRP/Yampa/Simulation.hs:263:40: warning: [GHC-63397] [-Wname-shadowing] This binding for xs shadows the existing binding bound at tests/Test/FRP/Yampa/Simulation.hs:259:25 | 263 | simplifyBy' f acc cmp (x:xs) | ^^ [ 9 of 18] Compiling Test.FRP.Yampa.Scan ( tests/Test/FRP/Yampa/Scan.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Scan.o ) tests/Test/FRP/Yampa/Scan.hs:91:16: warning: [GHC-63397] [-Wname-shadowing] This binding for a shadows the existing binding bound at tests/Test/FRP/Yampa/Scan.hs:88:12 | 91 | f _ (Event a) = Just ((), a) | ^ tests/Test/FRP/Yampa/Scan.hs:155:7: warning: [-Wunused-matches] Defined but not used: c | 155 | f c NoEvent = Nothing | ^ tests/Test/FRP/Yampa/Scan.hs:183:7: warning: [-Wunused-matches] Defined but not used: c | 183 | f c NoEvent = Nothing | ^ tests/Test/FRP/Yampa/Scan.hs:205:24: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Integer in the following constraints (Eq c0) arising from a use of f at tests/Test/FRP/Yampa/Scan.hs:205:24 (Num c0) arising from a use of f at tests/Test/FRP/Yampa/Scan.hs:205:24 " In the first argument of sscanPrim, namely f In the expression: sscanPrim f 2 NoEvent In an equation for edge_sscan: edge_sscan = sscanPrim f 2 NoEvent where f 0 False = Nothing f 0 True = Just (1, Event ()) f 1 False = Just (0, NoEvent) f 1 True = Just (2, NoEvent) f 2 False = Just (0, NoEvent) f 2 True = Nothing | 205 | edge_sscan = sscanPrim f 2 NoEvent | ^ tests/Test/FRP/Yampa/Scan.hs:207:5: warning: [GHC-62161] [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for f: Patterns of type a, Bool not matched: p _ where p is not one of {2, 0, 1} | 207 | f 0 False = Nothing | ^^^^^^^^^^^^^^^^^^^... tests/Test/FRP/Yampa/Scan.hs:217:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: sscan_t8r :: [Event a] | 217 | sscan_t8r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Scan.hs:230:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: sscan_t9r :: [Event ()] | 230 | sscan_t9r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Scan.hs:243:14: warning: [GHC-63397] [-Wname-shadowing] This binding for a shadows the existing binding bound at tests/Test/FRP/Yampa/Scan.hs:241:16 | 243 | g a_prev a = Just (a, maybeToEvent (f a_prev a)) | ^ tests/Test/FRP/Yampa/Scan.hs:246:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: sscan_isEdge :: Bool -> Bool -> Maybe () | 246 | sscan_isEdge False False = Nothing | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Scan.hs:256:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: sscan_t10r :: [Event ()] | 256 | sscan_t10r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Scan.hs:271:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: sscan_t11r :: [Event ()] | 271 | sscan_t11r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/Scan.hs:282:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: sscan_isEdge2 :: Bool -> Bool -> Maybe Bool | 282 | sscan_isEdge2 False False = Nothing | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Scan.hs:292:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: sscan_t12r :: [Event Bool] | 292 | sscan_t12r = | ^^^^^^^^^^ [10 of 18] Compiling Test.FRP.Yampa.Loop ( tests/Test/FRP/Yampa/Loop.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Loop.o ) tests/Test/FRP/Yampa/Loop.hs:35:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t0 :: [Double] | 35 | loopPre_t0 = testSF1 (loopPre 0 loop_acc) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:36:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t0r :: [Double] | 36 | loopPre_t0r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:41:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t1 :: [Double] | 41 | loopPre_t1 = testSF2 (loopPre 0 loop_acc) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:42:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t1r :: [Double] | 42 | loopPre_t1r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:48:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t2 :: [Bool] | 48 | loopPre_t2 = testSF1 (loopPre False (arr (dup . not . snd))) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:49:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t2r :: [Bool] | 49 | loopPre_t2r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:54:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t3 :: [Time] | 54 | loopPre_t3 = testSF1 (loopPre 0 (first localTime)) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:54:31: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c0 to type Integer in the following constraint Num c0 arising from the literal 0 " In the first argument of loopPre, namely 0 In the first argument of testSF1, namely (loopPre 0 (first localTime)) In the expression: testSF1 (loopPre 0 (first localTime)) | 54 | loopPre_t3 = testSF1 (loopPre 0 (first localTime)) | ^ tests/Test/FRP/Yampa/Loop.hs:55:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t3r :: [Time] | 55 | loopPre_t3r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:60:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t4 :: [Double] | 60 | loopPre_t4 = testSF1 (loopPre 0 (first localTime >>> loop_acc)) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:61:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopPre_t4r :: [Double] | 61 | loopPre_t4r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:69:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopIntegral_t0 :: [Double] | 69 | loopIntegral_t0 = | ^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Loop.hs:110:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loopIntegral_t1 :: [Position] | 110 | loopIntegral_t1 = take 250 (embed posCntrl (deltaEncode 0.1 (repeat ()))) | ^^^^^^^^^^^^^^^ [11 of 18] Compiling Test.FRP.Yampa.InternalCore ( tests/Test/FRP/Yampa/InternalCore.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/InternalCore.o ) tests/Test/FRP/Yampa/InternalCore.hs:99:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: arr_t0 :: [Double] | 99 | arr_t0 = testSF1 (arr (+1)) | ^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:100:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: arr_t0r :: [Double] | 100 | arr_t0r = | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:105:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: arr_t1 :: [Double] | 105 | arr_t1 = testSF2 (arr (+1)) | ^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:106:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: arr_t1r :: [Double] | 106 | arr_t1r = | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:111:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_1 :: Property | 111 | prop_arrow_1 = forAll myStream $ evalT $ | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:111:1: warning: [-Wunused-top-binds] Defined but not used: prop_arrow_1 | 111 | prop_arrow_1 = forAll myStream $ evalT $ | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:117:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arr_naturality :: Property | 117 | prop_arr_naturality = | ^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:118:24: warning: [-Wunused-matches] Defined but not used: stream | 118 | forAll myStream $ \stream -> | ^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:126:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: comp_t0 :: [Double] | 126 | comp_t0 = testSF1 ((arr (+1)) >>> (arr (+2))) | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:133:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: comp_t1 :: [Double] | 133 | comp_t1 = testSF2 ((arr (+1)) >>> (arr (+2))) | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:140:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: comp_t2 :: [Double] | 140 | comp_t2 = testSF1 ((constant 5.0) >>> (arr (+1))) | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:147:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: comp_t3 :: [Double] | 147 | comp_t3 = testSF2 ((constant 5.0) >>> (arr (+1))) | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:155:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: comp_t4 :: [Double] | 155 | comp_t4 = testSF1 ((constant 2.0) >>> integral) | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:163:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: comp_t5 :: [Double] | 163 | comp_t5 = testSF2 ((constant 2.0) >>> integral) | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:171:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_comp_1 :: Property | 171 | prop_arrow_comp_1 = | ^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:177:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 177 | pred = (\x y -> x + 3 == y) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:180:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_comp_2 :: Property | 180 | prop_arrow_comp_2 = | ^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:186:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 186 | pred = const (== 6.0) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:186:23: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c'0 to type Double in the following constraints (Eq c'0) arising from a use of == at tests/Test/FRP/Yampa/InternalCore.hs:186:23-24 (Fractional c'0) arising from the literal 6.0 at tests/Test/FRP/Yampa/InternalCore.hs:186:26-28 (Fractional c'0) arising from the literal 5.0 at tests/Test/FRP/Yampa/InternalCore.hs:185:25-27 (Num c'0) arising from a use of + at tests/Test/FRP/Yampa/InternalCore.hs:185:38 " In the expression: (==) In the first argument of const, namely (== 6.0) In the expression: const (== 6.0) | 186 | pred = const (== 6.0) | ^^ tests/Test/FRP/Yampa/InternalCore.hs:189:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_comp_3 :: Property | 189 | prop_arrow_comp_3 = | ^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:197:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 197 | pred = const (== 0.5) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:223:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: first_t2r :: [(Double, Double)] | 223 | first_t2r = | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:233:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: first_t3r :: [(Double, Double)] | 233 | first_t3r = | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:243:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: first_t4r :: [(Double, Double)] | 243 | first_t4r = | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:253:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: first_t5r :: [(Double, Double)] | 253 | first_t5r = | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:261:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_first_1 :: Property | 261 | prop_arrow_first_1 = | ^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:267:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 267 | pred = (\x y -> (7 :: Int, x) == y) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:269:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_first_2 :: Property | 269 | prop_arrow_first_2 = | ^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:275:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 275 | pred = (\x y -> (x + 1, x) == y) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:298:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_second_1 :: Property | 298 | prop_arrow_second_1 = | ^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:304:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 304 | pred = (\x y -> (x, 7 :: Int) == y) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:306:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_second_2 :: Property | 306 | prop_arrow_second_2 = | ^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:312:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 312 | pred = (\x y -> (x, x + 1) == y) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:325:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_id_0 :: Property | 325 | prop_arrow_id_0 = | ^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:329:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 329 | pred = arr $ uncurry (==) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:339:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_id_2 :: Property | 339 | prop_arrow_id_2 = | ^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:343:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 343 | pred = arr $ uncurry (==) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:353:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_assoc :: Property | 353 | prop_arrow_assoc = | ^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:357:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 357 | pred = arr $ uncurry (==) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:367:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_arr_comp :: Property | 367 | prop_arrow_arr_comp = | ^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:371:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 371 | pred = arr (uncurry (==)) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:376:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_2 :: Property | 376 | prop_arrow_2 = forAll myStream $ evalT $ | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:376:1: warning: [-Wunused-top-binds] Defined but not used: prop_arrow_2 | 376 | prop_arrow_2 = forAll myStream $ evalT $ | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:385:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_2' :: Property | 385 | prop_arrow_2' = | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:385:1: warning: [-Wunused-top-binds] Defined but not used: prop_arrow_2' | 385 | prop_arrow_2' = | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:398:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_2'' :: Eq c' => (a -> b) -> (b -> c') -> TPred a | 398 | prop_arrow_2'' f g = | ^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:398:1: warning: [-Wunused-top-binds] Defined but not used: prop_arrow_2'' | 398 | prop_arrow_2'' f g = | ^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:408:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_first_3 :: Property | 408 | prop_arrow_first_3 = | ^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:412:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 412 | pred = uncurry (==) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:422:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_first_distrib :: Property | 422 | prop_arrow_first_distrib = | ^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:426:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 426 | pred = uncurry (==) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:436:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_first_id_comm :: Property | 436 | prop_arrow_first_id_comm = | ^^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:440:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 440 | pred = uncurry (==) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:457:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_arrow_first_nested :: Property | 457 | prop_arrow_first_nested = | ^^^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:463:5: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/InternalCore.hs:6:8-34 (and originally defined in GHC.Enum) | 463 | pred = uncurry (==) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:474:42: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable d0 to type Double in the following constraint Fractional d0 arising from the literal 43.0 " In the expression: 43.0 In the first argument of constant, namely (42.0, 43.0) In the first argument of loop, namely (constant (42.0, 43.0)) | 474 | loop_t0 = testSF1 (loop (constant (42.0, 43.0))) | ^^^^ tests/Test/FRP/Yampa/InternalCore.hs:475:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t0r :: [Double] | 475 | loop_t0r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:483:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t1r :: [Double] | 483 | loop_t1r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:491:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t2r :: [Time] | 491 | loop_t2r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:502:39: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable d0 to type Integer in the following constraint Num d0 arising from the literal 0 " In the first argument of iPre, namely 0 In the first argument of second, namely (iPre 0) In the first argument of loop, namely (second (iPre 0)) | 502 | loop_t3 = testSF1 (loop (second (iPre 0))) | ^ tests/Test/FRP/Yampa/InternalCore.hs:503:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t3r :: [Time] | 503 | loop_t3r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:513:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t4r :: [Double] | 513 | loop_t4r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:523:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t5r :: [Double] | 523 | loop_t5r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:533:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t6r :: [Double] | 533 | loop_t6r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:543:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t7r :: [Double] | 543 | loop_t7r = loop_t4r | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:547:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t8r :: [Double] | 547 | loop_t8r = loop_t5r | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:551:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t9r :: [Double] | 551 | loop_t9r = | ^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:561:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t10r :: [Double] | 561 | loop_t10r = loop_t4r | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:565:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t11r :: [Double] | 565 | loop_t11r = loop_t5r | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:572:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t12r :: [Double] | 572 | loop_t12r = loop_t9r | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:583:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t13r :: [Double] | 583 | loop_t13r = [1.0,2.71692, 7.38167, 20.05544, 54.48911, 148.04276] | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:590:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t14r :: [Double] | 590 | loop_t14r = loop_t13r | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:599:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t15r :: [Double] | 599 | loop_t15r = loop_t13r | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:604:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: factGen :: (Eq t, Num t) => (t -> t) -> t -> t | 604 | factGen f n = if (n==0) then 1 else n*f(n-1) | ^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:609:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t16r :: [Int] | 609 | loop_t16r = | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:616:112: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraint Num a0 arising from the literal 25 " In the expression: 25 In the first argument of iPre, namely (25, noEvent) In the second argument of (>>>), namely (iPre (25, noEvent)) | 616 | loop_t17 = testSF1 (loop $ second $ (switch identity (const (arr fst))) >>> arr (\x -> (x,noEvent)) >>> (iPre (25, noEvent))) | ^^ tests/Test/FRP/Yampa/InternalCore.hs:617:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: loop_t17r :: [Double] | 617 | loop_t17r = | ^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:633:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: looplaws_t0_f :: SF (d, Double) (Double, d) | 633 | looplaws_t0_f = second integral >>> arr swap | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:642:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: looplaws_t1_f :: SF (d, Double) (Double, d) | 642 | looplaws_t1_f = second integral >>> arr swap | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:654:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: looplaws_t2_k :: (b, Double) -> (b, Double) | 654 | looplaws_t2_k = id *** (+42.0) | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:665:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: looplaws_t3_f :: SF ((b, a), Double) ((a, Double), b) | 665 | looplaws_t3_f = second integral | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:674:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: looplaws_t4_f :: SF (d, Double) (Double, d) | 674 | looplaws_t4_f = second integral >>> arr swap | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:683:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: looplaws_t5_f :: (a, [a]) -> ([a], [a]) | 683 | looplaws_t5_f = \(a,c) -> (take 5 c, a : c) | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/InternalCore.hs:692:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 692 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ [12 of 18] Compiling Test.FRP.Yampa.Integration ( tests/Test/FRP/Yampa/Integration.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Integration.o ) tests/Test/FRP/Yampa/Integration.hs:160:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t7r :: [Double] | 160 | utils_t7r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:179:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_inp1 :: (Event Double, [(DTime, Maybe (Event Double))]) | 179 | utils_inp1 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:179:14: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (Eq a0) arising from a use of deltaEncode at tests/Test/FRP/Yampa/Integration.hs:179:14-24 (Fractional a0) arising from the literal 1.0 at tests/Test/FRP/Yampa/Integration.hs:180:33-35 " In the first argument of ($), namely deltaEncode 1.0 In the expression: deltaEncode 1.0 $ [NoEvent, NoEvent, Event 1.0, NoEvent, ....] ++ repeat NoEvent In an equation for utils_inp1: utils_inp1 = deltaEncode 1.0 $ [NoEvent, NoEvent, Event 1.0, ....] ++ repeat NoEvent | 179 | utils_inp1 = deltaEncode 1.0 $ | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:198:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_inp2 :: (Event Double, [(DTime, Maybe (Event Double))]) | 198 | utils_inp2 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:198:14: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (Eq a0) arising from a use of deltaEncode at tests/Test/FRP/Yampa/Integration.hs:198:14-24 (Fractional a0) arising from the literal 1.0 at tests/Test/FRP/Yampa/Integration.hs:199:11-13 " In the first argument of ($), namely deltaEncode 1.0 In the expression: deltaEncode 1.0 $ [Event 1.0, NoEvent, NoEvent, NoEvent, ....] ++ repeat NoEvent In an equation for utils_inp2: utils_inp2 = deltaEncode 1.0 $ [Event 1.0, NoEvent, NoEvent, ....] ++ repeat NoEvent | 198 | utils_inp2 = deltaEncode 1.0 $ | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:208:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: der_step :: DTime | 208 | der_step = 0.001 | ^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:209:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: der_N :: Int | 209 | der_N = 1000 | ^^^^^ tests/Test/FRP/Yampa/Integration.hs:232:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: der_t0_max_diff :: Double | 232 | der_t0_max_diff = (maximum (zipWith (\x y -> abs (x - y)) | ^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:236:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_derivative_1 :: Property | 236 | prop_derivative_1 = | ^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:250:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_derivative_2 :: Property | 250 | prop_derivative_2 = | ^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Integration.hs:322:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 322 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ [13 of 18] Compiling Test.FRP.Yampa.Hybrid ( tests/Test/FRP/Yampa/Hybrid.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Hybrid.o ) tests/Test/FRP/Yampa/Hybrid.hs:66:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_t0r :: [Double] | 66 | wfg_t0r = | ^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:73:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_inp1 :: (Event Double, [(DTime, Maybe (Event Double))]) | 73 | wfg_inp1 = deltaEncode 1.0 $ | ^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:84:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_t1r :: [Double] | 84 | wfg_t1r = | ^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:91:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_inp1 :: (Event Double, [(DTime, Maybe (Event Double))]) | 91 | utils_inp1 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:99:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_inp2 :: (Event Double, [(DTime, Maybe (Event Double))]) | 99 | utils_inp2 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:110:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t0r :: [Double] | 110 | utils_t0r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:120:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t1r :: [Double] | 120 | utils_t1r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:127:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_inp2 :: (Event Double, [(DTime, Maybe (Event Double))]) | 127 | wfg_inp2 = deltaEncode 1.0 $ | ^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:138:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_t2r :: [Double] | 138 | wfg_t2r = | ^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:146:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_inp3 :: (Maybe Double, [(DTime, Maybe (Maybe Double))]) | 146 | wfg_inp3 = deltaEncode 1.0 $ | ^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:157:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_t3r :: [Double] | 157 | wfg_t3r = | ^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:165:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: wfg_inp4 :: (Maybe Double, [(DTime, Maybe (Maybe Double))]) | 165 | wfg_inp4 = deltaEncode 1.0 $ | ^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:176:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t2r :: [Double] | 176 | utils_t2r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:184:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_inp3 :: (Maybe Double, [(DTime, Maybe (Maybe Double))]) | 184 | utils_inp3 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:195:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t3r :: [Double] | 195 | utils_t3r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:203:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_inp4 :: (Maybe Double, [(DTime, Maybe (Maybe Double))]) | 203 | utils_inp4 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:216:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_t0r :: [Event Double] | 216 | accum_t0r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:223:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_inp1 :: (Event (Double -> Double), [(DTime, Maybe (Event (Double -> Double)))]) | 223 | accum_inp1 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp)) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:236:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_t1r :: [Event Double] | 236 | accum_t1r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:243:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_inp2 :: (Event (Double -> Double), [(DTime, Maybe (Event (Double -> Double)))]) | 243 | accum_inp2 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp)) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:254:50: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of floor at tests/Test/FRP/Yampa/Hybrid.hs:254:50-54 (Eq a0) arising from a use of deltaEncode at tests/Test/FRP/Yampa/Hybrid.hs:264:14-24 (Fractional a0) arising from the literal 1.0 at tests/Test/FRP/Yampa/Hybrid.hs:265:33-35 " In the second argument of (+), namely floor d In the expression: a + floor d In the first argument of accumBy, namely (\ a d -> a + floor d) | 254 | accum_t2 = take 16 $ embed (accumBy (\a d -> a + floor d) 0) accum_inp3 | ^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:264:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_inp3 :: (Event Double, [(DTime, Maybe (Event Double))]) | 264 | accum_inp3 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:273:50: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Double in the following constraints (RealFrac a0) arising from a use of floor at tests/Test/FRP/Yampa/Hybrid.hs:273:50-54 (Eq a0) arising from a use of deltaEncode at tests/Test/FRP/Yampa/Hybrid.hs:283:14-24 (Fractional a0) arising from the literal 1.0 at tests/Test/FRP/Yampa/Hybrid.hs:284:11-13 " In the second argument of (+), namely floor d In the expression: a + floor d In the first argument of accumBy, namely (\ a d -> a + floor d) | 273 | accum_t3 = take 16 $ embed (accumBy (\a d -> a + floor d) 0) accum_inp4 | ^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:283:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_inp4 :: (Event Double, [(DTime, Maybe (Event Double))]) | 283 | accum_inp4 = deltaEncode 1.0 $ | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:310:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_inp5 :: ((), [(DTime, Maybe ())]) | 310 | accum_inp5 = deltaEncode 0.25 (repeat ()) | ^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:365:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_accFiltFun1 :: (RealFrac p, Integral b) => b -> p -> (b, Maybe (Bool, b)) | 365 | accum_accFiltFun1 a d = | ^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:382:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_accFiltFun2 :: (RealFrac p, Integral b) => b -> p -> (b, Maybe (Bool, b)) | 382 | accum_accFiltFun2 a d = | ^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:399:5: warning: [GHC-63397] [-Wname-shadowing] This binding for attach shadows the existing binding imported from FRP.Yampa at tests/Test/FRP/Yampa/Hybrid.hs:18:1-25 (and originally defined in FRP.Yampa.Event) | 399 | attach c = arr (fmap (\a -> (c, a))) | ^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:404:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_t6r :: [Event (Bool, Int)] | 404 | accum_t6r = accum_t4 -- Should agree! | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:409:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: accum_t7r :: [Event (Bool, Int)] | 409 | accum_t7r = accum_t5 -- Should agree! | ^^^^^^^^^ tests/Test/FRP/Yampa/Hybrid.hs:574:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 574 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ tests/Test/FRP/Yampa/Hybrid.hs:577:1: warning: [GHC-90177] [-Worphans] Orphan instance: instance Arbitrary x => Arbitrary (Event x) Suggested fix: Move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. | 577 | instance Arbitrary x => Arbitrary (Event x) where | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [14 of 18] Compiling Test.FRP.Yampa.EventS ( tests/Test/FRP/Yampa/EventS.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/EventS.o ) tests/Test/FRP/Yampa/EventS.hs:92:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t0r :: [Event a] | 92 | evsrc_t0r = | ^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:102:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_event_noevent :: Property | 102 | prop_event_noevent = | ^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:124:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_event_now :: Property | 124 | prop_event_now = | ^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:127:22: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Double in the following constraints (Eq b0) arising from a use of p0 at tests/Test/FRP/Yampa/EventS.hs:127:22-23 (Fractional b0) arising from a use of p0 at tests/Test/FRP/Yampa/EventS.hs:127:22-23 (Fractional b0) arising from the literal 42.0 at tests/Test/FRP/Yampa/EventS.hs:130:24-27 " In the expression: p0 In the first argument of prop, namely (sf, p0) In the first argument of And, namely (prop (sf, p0)) | 127 | And (prop (sf, p0)) -- Initially | ^^ tests/Test/FRP/Yampa/EventS.hs:132:12: warning: [-Wunused-matches] Defined but not used: x | 132 | p0 x y = y == Event 42.0 | ^ tests/Test/FRP/Yampa/EventS.hs:133:12: warning: [-Wunused-matches] Defined but not used: x | 133 | pn x y = y == noEvent | ^ tests/Test/FRP/Yampa/EventS.hs:151:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_event_after_0 :: Property | 151 | prop_event_after_0 = | ^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:154:22: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Double in the following constraints (Eq b0) arising from a use of p0 at tests/Test/FRP/Yampa/EventS.hs:154:22-23 (Fractional b0) arising from a use of p0 at tests/Test/FRP/Yampa/EventS.hs:154:22-23 (Fractional b0) arising from the literal 42.0 at tests/Test/FRP/Yampa/EventS.hs:157:24-27 " In the expression: p0 In the first argument of prop, namely (sf, p0) In the first argument of And, namely (prop (sf, p0)) | 154 | And (prop (sf, p0)) -- Initially | ^^ tests/Test/FRP/Yampa/EventS.hs:159:12: warning: [-Wunused-matches] Defined but not used: x | 159 | p0 x y = y == Event 42.0 | ^ tests/Test/FRP/Yampa/EventS.hs:160:12: warning: [-Wunused-matches] Defined but not used: x | 160 | pn x y = y == noEvent | ^ tests/Test/FRP/Yampa/EventS.hs:345:5: warning: [GHC-63397] [-Wname-shadowing] This binding for delay shadows the existing binding imported from FRP.Yampa at tests/Test/FRP/Yampa/EventS.hs:29:1-25 (and originally defined in FRP.Yampa.Delays) | 345 | delay = 0.01 | ^^^^^ tests/Test/FRP/Yampa/EventS.hs:353:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t28r :: [(Event Int, Event Int)] | 353 | evsrc_t28r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:438:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t29r :: [Event [Double]] | 438 | evsrc_t29r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:463:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t12r :: [Event a] | 463 | evsrc_t12r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:476:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t13r :: [Event ()] | 476 | evsrc_t13r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:559:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_isEdge :: Bool -> Bool -> Maybe () | 559 | evsrc_isEdge False False = Nothing | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:567:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t14r :: [Event ()] | 567 | evsrc_t14r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:580:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t15r :: [Event ()] | 580 | evsrc_t15r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:591:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_isEdge2 :: Bool -> Bool -> Maybe Bool | 591 | evsrc_isEdge2 False False = Nothing | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:601:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: evsrc_t16r :: [Event Bool] | 601 | evsrc_t16r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:794:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t10r :: [Event Double] | 794 | utils_t10r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:807:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t11r :: [Event Double] | 807 | utils_t11r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:820:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t12r :: [Event Double] | 820 | utils_t12r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:830:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t15 :: [Event [Time]] | 830 | utils_t15 = take 50 (embed (time >>> sampleWindow 5 0.5) | ^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:833:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t15r :: [Event [Time]] | 833 | utils_t15r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:877:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t16 :: [Event [Time]] | 877 | utils_t16 = take 50 (embed (time >>> sampleWindow 5 0.4999) input) | ^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:887:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t16r :: [Event [Time]] | 887 | utils_t16r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:912:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t13r :: [Event ()] | 912 | utils_t13r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:925:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t14r :: [Event Int] | 925 | utils_t14r = | ^^^^^^^^^^ tests/Test/FRP/Yampa/EventS.hs:938:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 938 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ tests/Test/FRP/Yampa/EventS.hs:942:1: warning: [GHC-90177] [-Worphans] Orphan instance: instance Arbitrary a => Arbitrary (Event a) Suggested fix: Move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. | 942 | instance Arbitrary a => Arbitrary (Event a) where | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [15 of 18] Compiling Test.FRP.Yampa.Delays ( tests/Test/FRP/Yampa/Delays.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Delays.o ) tests/Test/FRP/Yampa/Delays.hs:67:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pre_t0 :: [Double] | 67 | pre_t0 = testSF1 (iPre 17) | ^^^^^^ tests/Test/FRP/Yampa/Delays.hs:68:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pre_t0r :: [Double] | 68 | pre_t0r = | ^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:73:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pre_t1 :: [Double] | 73 | pre_t1 = testSF2 (iPre 17) | ^^^^^^ tests/Test/FRP/Yampa/Delays.hs:74:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pre_t1r :: [Double] | 74 | pre_t1r = | ^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:79:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pre_t2 :: [Time] | 79 | pre_t2 = testSF1 (time | ^^^^^^ tests/Test/FRP/Yampa/Delays.hs:84:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: pre_t2r :: [Time] | 84 | pre_t2r = | ^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:259:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t0 :: [Double] | 259 | delay_t0 = testSF1 (delay 0.0 undefined) | ^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:260:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t0r :: [Double] | 260 | delay_t0r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:265:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t1 :: [Double] | 265 | delay_t1 = testSF1 (delay 0.0001 17) | ^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:266:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t1r :: [Double] | 266 | delay_t1r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:271:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t2 :: [Double] | 271 | delay_t2 = testSF2 (delay 0.0001 17) | ^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:272:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t2r :: [Double] | 272 | delay_t2r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:277:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t3 :: [Time] | 277 | delay_t3 = testSF1 (time | ^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:281:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t3r :: [Time] | 281 | delay_t3r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:286:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: dts_t4 :: [DTime] | 286 | dts_t4 = take 15 (repeat 0.1) | ^^^^^^ tests/Test/FRP/Yampa/Delays.hs:292:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: input_t4 :: (Int, [(DTime, Maybe Int)]) | 292 | input_t4 = (0, [ (dt, Just i) | (dt, i) <- zip dts_t4 [1..] ]) | ^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:307:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t5 :: [Time] | 307 | delay_t5 = take 100 (drop 6 (embed sf (deltaEncode 0.1 (repeat ())))) | ^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:311:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: delay_t5r :: [Time] | 311 | delay_t5r = take 100 (drop 6 (embed sf (deltaEncode 0.1 (repeat ())))) | ^^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:316:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_delay_1 :: Property | 316 | prop_delay_1 = | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:327:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_delay_2 :: Property | 327 | prop_delay_2 = | ^^^^^^^^^^^^ tests/Test/FRP/Yampa/Delays.hs:329:27: warning: [-Wunused-matches] Defined but not used: x | 329 | (prop (sfDelayed, (\x y -> y == initialValue))) | ^ tests/Test/FRP/Yampa/Delays.hs:340:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 340 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ tests/Test/FRP/Yampa/Delays.hs:343:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_always_equal :: Eq c' => SF a c' -> SF a c' -> TPred a | 343 | prop_always_equal sf1 sf2 = | ^^^^^^^^^^^^^^^^^ [16 of 18] Compiling Test.FRP.Yampa.Conditional ( tests/Test/FRP/Yampa/Conditional.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Conditional.o ) tests/Test/FRP/Yampa/Conditional.hs:22:31: warning: [-Wunused-imports] The import of pause from module FRP.Yampa.Conditional is redundant | 22 | import FRP.Yampa.Conditional (pause, provided) | ^^^^^ tests/Test/FRP/Yampa/Conditional.hs:39:39: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraint Integral b0 arising from a use of even " In the first argument of (.), namely even In the first argument of provided, namely (even . floor) In the first argument of embed, namely (provided (even . floor) integral (constant (- 1))) | 39 | utils_t8 = take 50 $ embed (provided (even . floor) integral (constant (-1))) | ^^^^ tests/Test/FRP/Yampa/Conditional.hs:48:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t8r :: [Double] | 48 | utils_t8r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Conditional.hs:57:39: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraint Integral b0 arising from a use of odd " In the first argument of (.), namely odd In the first argument of provided, namely (odd . floor) In the first argument of embed, namely (provided (odd . floor) integral (constant (- 1))) | 57 | utils_t9 = take 50 $ embed (provided (odd . floor) integral (constant (-1))) | ^^^ tests/Test/FRP/Yampa/Conditional.hs:66:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: utils_t9r :: [Double] | 66 | utils_t9r = | ^^^^^^^^^ tests/Test/FRP/Yampa/Conditional.hs:91:53: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraint Integral b0 arising from a use of odd " In the first argument of (.), namely odd In the first argument of arr, namely (odd . round) In the second argument of pause, namely (arr (odd . round)) | 91 | sfPause initialValue = pause initialValue (arr (odd . round)) integral | ^^^ tests/Test/FRP/Yampa/Conditional.hs:96:37: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraint Integral b0 arising from a use of odd " In the first argument of (.), namely odd In the first argument of arr, namely (odd . round) In the second argument of modelPause, namely (arr (odd . round)) | 96 | modelPause initialValue (arr (odd . round)) integral | ^^^ [17 of 18] Compiling Test.FRP.Yampa.Basic ( tests/Test/FRP/Yampa/Basic.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Basic.o ) tests/Test/FRP/Yampa/Basic.hs:49:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: basicsf_t0r :: [Double] | 49 | basicsf_t0r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:56:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_identity_1 :: Property | 56 | prop_basic_identity_1 = | ^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:61:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Basic.hs:7:8-27 (and originally defined in GHC.Enum) | 61 | pred = (==) | ^^^^ tests/Test/FRP/Yampa/Basic.hs:63:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_identity_2 :: Property | 63 | prop_basic_identity_2 = | ^^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:72:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: basicsf_t1r :: [Double] | 72 | basicsf_t1r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:78:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_constant :: Property | 78 | prop_basic_constant = | ^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:84:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Basic.hs:7:8-27 (and originally defined in GHC.Enum) | 84 | pred = const (== 42.0) | ^^^^ tests/Test/FRP/Yampa/Basic.hs:84:23: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable c'0 to type Double in the following constraints (Eq c'0) arising from a use of == at tests/Test/FRP/Yampa/Basic.hs:84:23-24 (Fractional c'0) arising from the literal 42.0 at tests/Test/FRP/Yampa/Basic.hs:84:26-29 (Fractional c'0) arising from the literal 42.0 at tests/Test/FRP/Yampa/Basic.hs:83:25-28 " In the expression: (==) In the first argument of const, namely (== 42.0) In the expression: const (== 42.0) | 84 | pred = const (== 42.0) | ^^ tests/Test/FRP/Yampa/Basic.hs:141:58: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:141:58 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:141:60 " In the expression: (^) In the first argument of arr, namely (^ 2) In the second argument of (>>>), namely arr (^ 2) | 141 | sfStep = (initialValue -:> arr (* 2)) >>> arr (^ 2) | ^ tests/Test/FRP/Yampa/Basic.hs:150:61: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable b0 to type Integer in the following constraints (Integral b0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:150:61 (Num b0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:150:63 " In the first argument of constant, namely (initialValue ^ 2) In the second argument of (<*>), namely constant (initialValue ^ 2) In the second argument of ($), namely (==) <$> sfStep <*> constant (initialValue ^ 2) | 150 | (SP $ (==) <$> sfStep <*> constant (initialValue ^ 2)) | ^ tests/Test/FRP/Yampa/Basic.hs:154:60: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:154:60 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:154:62 " In the expression: (^) In the first argument of (.), namely (^ 2) In the first argument of arr, namely ((^ 2) . (* 2)) | 154 | (Next $ Always $ SP $ (==) <$> sfStep <*> arr ((^ 2) . (* 2))) | ^ tests/Test/FRP/Yampa/Basic.hs:205:35: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:205:35 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:205:37 " In the expression: (^) In the first argument of arr, namely (^ 2) In the second argument of (-=>), namely arr (^ 2) | 205 | sfStep = (* 4) -=> arr (^ 2) | ^ tests/Test/FRP/Yampa/Basic.hs:212:52: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:212:52 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:212:54 " In the expression: (^) In the second argument of (.), namely (^ 2) In the first argument of arr, namely ((* 4) . (^ 2)) | 212 | (SP $ (==) <$> sfStep <*> arr ((* 4) . (^ 2))) | ^ tests/Test/FRP/Yampa/Basic.hs:215:59: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:215:59 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:215:61 " In the expression: (^) In the first argument of arr, namely (^ 2) In the second argument of (<*>), namely arr (^ 2) | 215 | (Next $ Always $ SP $ (==) <$> sfStep <*> arr (^ 2)) | ^ tests/Test/FRP/Yampa/Basic.hs:222:5: warning: [-Wunused-local-binds] Defined but not used: initialValueG | 222 | initialValueG = arbitrary | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:237:35: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:237:35 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:237:37 " In the expression: (^) In the first argument of arr, namely (^ 2) In the second argument of (>=-), namely arr (^ 2) | 237 | sfStep = (* 2) >=- arr (^ 2) | ^ tests/Test/FRP/Yampa/Basic.hs:244:44: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:244:44 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:244:46 " In the expression: (^) In the first argument of (.), namely (^ 2) In the first argument of arr, namely ((^ 2) . (* 2)) | 244 | (SP $ (==) <$> sfStep <*> arr ((^ 2) . (* 2))) | ^ tests/Test/FRP/Yampa/Basic.hs:247:59: warning: [GHC-18042] [-Wtype-defaults] " Defaulting the type variable a0 to type Integer in the following constraints (Integral a0) arising from a use of ^ at tests/Test/FRP/Yampa/Basic.hs:247:59 (Num a0) arising from the literal 2 at tests/Test/FRP/Yampa/Basic.hs:247:61 " In the expression: (^) In the first argument of arr, namely (^ 2) In the second argument of (<*>), namely arr (^ 2) | 247 | (Next $ Always $ SP $ (==) <$> sfStep <*> arr (^ 2)) | ^ tests/Test/FRP/Yampa/Basic.hs:254:5: warning: [-Wunused-local-binds] Defined but not used: initialValueG | 254 | initialValueG = arbitrary | ^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:260:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: basicsf_t4r :: [Double] | 260 | basicsf_t4r = | ^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:266:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_basic_initially :: Property | 266 | prop_basic_initially = | ^^^^^^^^^^^^^^^^^^^^ tests/Test/FRP/Yampa/Basic.hs:272:9: warning: [GHC-63397] [-Wname-shadowing] This binding for pred shadows the existing binding imported from Prelude at tests/Test/FRP/Yampa/Basic.hs:7:8-27 (and originally defined in GHC.Enum) | 272 | pred = const (== 42.0) | ^^^^ tests/Test/FRP/Yampa/Basic.hs:277:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop :: (SF c c', c -> c' -> Bool) -> TPred c | 277 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b) | ^^^^ tests/Test/FRP/Yampa/Basic.hs:280:1: warning: [GHC-38417] [-Wmissing-signatures] Top-level binding with no type signature: prop_always_equal :: Eq c' => SF a c' -> SF a c' -> TPred a | 280 | prop_always_equal sf1 sf2 = | ^^^^^^^^^^^^^^^^^ [18 of 18] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Main.o ) [19 of 19] Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/build/yampa-quicheck/yampa-quicheck Running 1 test suites... Test suite yampa-quicheck: RUNNING... Test suite yampa-quicheck: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/yampa-test-0.14.7.test Writing: yampa-test-0.14.7-inplace/FRP.Yampa.Stream.hs.html Writing: yampa-test-0.14.7-inplace/FRP.Yampa.QuickCheck.hs.html Writing: yampa-test-0.14.7-inplace/FRP.Yampa.LTLFuture.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/hpc/vanilla/html/yampa-quicheck/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: yampa-test-0.14.7-inplace/FRP.Yampa.Stream.hs.html Writing: yampa-test-0.14.7-inplace/FRP.Yampa.QuickCheck.hs.html Writing: yampa-test-0.14.7-inplace/FRP.Yampa.LTLFuture.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.6.3/yampa-test-0.14.7/noopt/hpc/vanilla/html/yampa-test-0.14.7/hpc_index.html