Build #1 for yampa-test-0.15

[all reports]

Package yampa-test-0.15
Install InstallOk
Docs Ok
Tests Failed
Time submitted 2025-04-03 21:32:30.092302657 UTC
Compiler ghc-9.6.3
OS linux
Arch x86_64
Dependencies QuickCheck-2.15.0.1, Yampa-0.15, base-4.18.1.0, normaldistribution-1.1.0.3
Flags -test-space

Code Coverage

expressions31% (196/621)
booleanguards0% (0/15)
conditions 100% (0/0)
qualifiers100% (0/0)
alternatives27% (18/66)
local declarations36% (7/19)
top-level declarations58% (17/29)

Build log

[view raw]

Resolving dependencies...
Starting     simple-affine-space-0.2.1
Starting     splitmix-0.1.1
Building     simple-affine-space-0.2.1
Building     splitmix-0.1.1
Completed    simple-affine-space-0.2.1
Completed    splitmix-0.1.1
Starting     random-1.2.1.3
Building     random-1.2.1.3
Completed    random-1.2.1.3
Starting     normaldistribution-1.1.0.3
Starting     Yampa-0.15
Starting     QuickCheck-2.15.0.1
Building     normaldistribution-1.1.0.3
Building     Yampa-0.15
Building     QuickCheck-2.15.0.1
Completed    normaldistribution-1.1.0.3
Completed    Yampa-0.15
Completed    QuickCheck-2.15.0.1
Starting     yampa-test-0.15
Building     yampa-test-0.15
Completed    yampa-test-0.15

Test log

[view raw]

Resolving dependencies...
Build profile: -w ghc-9.6.3 -O0
In order, the following will be built (use -v for more details):
 - yampa-test-0.15 (first run)
Configuring yampa-test-0.15...
Preprocessing library for yampa-test-0.15..
Building library for yampa-test-0.15..
[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.15/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.15/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.15/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.15/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.15/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.15/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.15/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.15/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.15/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.15/noopt/build/FRP/Yampa/LTLFuture.dyn_o )
Preprocessing test suite 'yampa-quicheck' for yampa-test-0.15..
Building test suite 'yampa-quicheck' for yampa-test-0.15..
[ 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Arrow.o )

tests/Test/FRP/Yampa/Arrow.hs:55:7: warning: [GHC-68441] [-Wdeprecations]
    In the use of arr3
    (imported from FRP.Yampa, but defined in FRP.Yampa.Arrow):
    Deprecated: "The function arr3 is deprecated in Yampa 0.15 and will be removed in future versions."
   |
55 |       arr3 f x == f x1 x2 x3
   |       ^^^^

tests/Test/FRP/Yampa/Arrow.hs:67:7: warning: [GHC-68441] [-Wdeprecations]
    In the use of arr4
    (imported from FRP.Yampa, but defined in FRP.Yampa.Arrow):
    Deprecated: "The function arr4 is deprecated in Yampa 0.15 and will be removed in future versions."
   |
67 |       arr4 f x == f x1 x2 x3 x4
   |       ^^^^

tests/Test/FRP/Yampa/Arrow.hs:79:7: warning: [GHC-68441] [-Wdeprecations]
    In the use of arr5
    (imported from FRP.Yampa, but defined in FRP.Yampa.Arrow):
    Deprecated: "The function arr5 is deprecated in Yampa 0.15 and will be removed in future versions."
   |
79 |       arr5 f x == f x1 x2 x3 x4 x5
   |       ^^^^
[ 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Event.o )

tests/Test/FRP/Yampa/Event.hs:202:29: warning: [-Wunused-matches]
    Defined but not used: x
    |
202 |       forAll randomValue $ \x ->
    |                             ^

tests/Test/FRP/Yampa/Event.hs:204:19: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Event.hs:202:29
    |
204 |           (f >>= \x -> return x) == f
    |                   ^

tests/Test/FRP/Yampa/Event.hs:379:19: warning: [-Wunused-matches]
    Defined but not used: es
    |
379 |     safeHead _ (e:es) = e
    |                   ^^

tests/Test/FRP/Yampa/Event.hs:442: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.
    |
442 | instance Arbitrary a => Arbitrary (Event a) where
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 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.15/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.15/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.15/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:57:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: basicsf_t3r :: [Double]
   |
57 | basicsf_t3r =
   | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Time.hs:68:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_basic_time_increasing :: Property
   |
68 | prop_basic_time_increasing =
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Time.hs:84:5: 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)
   |
84 |     pred _ (t,o) = (t > o)
   |     ^^^^

tests/Test/FRP/Yampa/Time.hs:86:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_basic_time_fixed_delay :: Property
   |
86 | prop_basic_time_fixed_delay =
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Time.hs:99:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_basic_localtime_fixed_delay :: Property
   |
99 | prop_basic_localtime_fixed_delay =
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Time.hs:115:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
    |
115 | 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Task.o )

tests/Test/FRP/Yampa/Task.hs:46:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t0 :: [Either Time Double]
   |
46 | task_t0 = testSF1 (runTask (do
   | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:53:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t0r :: [Either Time Double]
   |
53 | task_t0r =
   | ^^^^^^^^

tests/Test/FRP/Yampa/Task.hs:61:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t1 :: [Either Time Double]
   |
61 | task_t1 = testSF1 (runTask (do
   | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:66: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
   |
66 |                                snapT       -- No time should pass!
   |                                ^^^^^

tests/Test/FRP/Yampa/Task.hs:67: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
   |
67 |                                snapT       -- No time should pass!
   |                                ^^^^^

tests/Test/FRP/Yampa/Task.hs:72:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t2 :: [Either Double ()]
   |
72 | task_t2 = testSF1 (runTask (do
   | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:83:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t2r :: [Either Double ()]
   |
83 | task_t2r =
   | ^^^^^^^^

tests/Test/FRP/Yampa/Task.hs:93:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t3 :: [Either Double ()]
   |
93 | task_t3 = testSF1 (runTask (do
   | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:116:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t4 :: [Either Double ()]
    |
116 | task_t4 = testSF1 (runTask (do
    | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:125: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:125:19-20
        (Num a0)
          arising from the literal 1 at tests/Test/FRP/Yampa/Task.hs:125: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)
    |
125 |       for 1 (+1) (<=2)
    |                   ^^

tests/Test/FRP/Yampa/Task.hs:141:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t5 :: [Either Double Bool]
    |
141 | task_t5 = testSF1 (runTask (do
    | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:161:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t6 :: [Either Double (Either Double (), Double)]
    |
161 | task_t6 = testSF1 $ runTask $ do
    | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:182:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t7 :: [Either Double (Either Double (), Double)]
    |
182 | task_t7 = testSF1 $ runTask $ do
    | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:201:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      task_t8 :: [Either Double (Either Double (), Double)]
    |
201 | task_t8 = testSF1 $ runTask $ do
    | ^^^^^^^

tests/Test/FRP/Yampa/Task.hs:239:5: warning: [GHC-63397] [-Wname-shadowing]
    This binding for pred shadows the existing binding
      imported from Prelude at tests/Test/FRP/Yampa/Task.hs:7:8-26
      (and originally defined in GHC.Enum)
    |
239 |     pred _ = uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/Task.hs:272:5: warning: [GHC-63397] [-Wname-shadowing]
    This binding for pred shadows the existing binding
      imported from Prelude at tests/Test/FRP/Yampa/Task.hs:7:8-26
      (and originally defined in GHC.Enum)
    |
272 |     pred _ = uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/Task.hs:294:5: warning: [GHC-63397] [-Wname-shadowing]
    This binding for pred shadows the existing binding
      imported from Prelude at tests/Test/FRP/Yampa/Task.hs:7:8-26
      (and originally defined in GHC.Enum)
    |
294 |     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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Switches.o )

tests/Test/FRP/Yampa/Switches.hs:82:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: switch_t0 :: [Double]
   |
82 | switch_t0 = take 18 $
   | ^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:84:35: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:83:31
   |
84 |          switch (switch_t0b x) $ \x ->
   |                                   ^

tests/Test/FRP/Yampa/Switches.hs:85:35: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:84:35
   |
85 |          switch (switch_t0c x) $ \x ->
   |                                   ^

tests/Test/FRP/Yampa/Switches.hs:86:35: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:85:35
   |
86 |          switch (switch_t0c x) $ \x ->
   |                                   ^

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:35
   |
87 |          switch (switch_t0d 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_t0e x) $ \x ->
   |                                   ^

tests/Test/FRP/Yampa/Switches.hs:107: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 ())
    |
107 | switch_t0d x = (arr (+ (fromIntegral x))) &&& (arr (>= 7.0) >>> edge)
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:116:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: switch_t0r :: [Double]
    |
116 | switch_t0r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:123:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      switch_inp1 :: (Double, [(DTime, Maybe Double)])
    |
123 | switch_inp1 = deltaEncode 1.0 $
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:135:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      switch_t1 :: [(Double, Double, Double)]
    |
135 | switch_t1 = take 32 $ embed (switch_t1rec 42.0) switch_inp1
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:153:28: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:152:14
    |
153 |   switch (switch_t1a x) $ \x ->
    |                            ^

tests/Test/FRP/Yampa/Switches.hs:154:28: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:153:28
    |
154 |   switch (switch_t1b x) $ \x ->
    |                            ^

tests/Test/FRP/Yampa/Switches.hs:158:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      switch_t1r :: [(Double, Double, Double)]
    |
158 | switch_t1r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:169:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_switch_t1 :: Property
    |
169 | prop_switch_t1 =
    | ^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:169:1: warning: [-Wunused-top-binds]
    Defined but not used: prop_switch_t1
    |
169 | prop_switch_t1 =
    | ^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:191:1: warning: [-Wunused-top-binds]
    Defined but not used: switch_tr
    |
191 | switch_tr = proc (a) -> do
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:193: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)
    |
193 |   let mt = fromIntegral $ floor (mod' t 4.0)
    |            ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:194: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:194:17-21
        (Eq a0)
          arising from the literal 0
          at tests/Test/FRP/Yampa/Switches.hs:195:14
        (Num a0)
          arising from the literal 0
          at tests/Test/FRP/Yampa/Switches.hs:195: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
    |
194 |       v  = case floor (t / 4.0) of
    |                 ^^^^^

tests/Test/FRP/Yampa/Switches.hs:211:25: warning: [GHC-63397] [-Wname-shadowing]
    This binding for a shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:209:22
    |
211 |              >>> arr (\(a, ea) -> (a, fmap (^+^ a) ea)))
    |                         ^

tests/Test/FRP/Yampa/Switches.hs:222:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: switch_t5r :: [Double]
    |
222 | switch_t5r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:230:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: switch_t2 :: [Double]
    |
230 | switch_t2 = take 18 $
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:232:36: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:231:32
    |
232 |          dSwitch (switch_t0b x) $ \x ->
    |                                    ^

tests/Test/FRP/Yampa/Switches.hs:233:36: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:232:36
    |
233 |          dSwitch (switch_t0c x) $ \x ->
    |                                    ^

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:36
    |
234 |          dSwitch (switch_t0c 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_t0d 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_t0e x) $ \x ->
    |                                    ^

tests/Test/FRP/Yampa/Switches.hs:241:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: switch_t2r :: [Double]
    |
241 | switch_t2r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:248:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      switch_t3 :: [(Double, Double, Double)]
    |
248 | switch_t3 = take 32 $ embed (switch_t3rec 42.0) switch_inp1
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:252:29: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:251:14
    |
252 |   dSwitch (switch_t1a x) $ \x ->
    |                             ^

tests/Test/FRP/Yampa/Switches.hs:253:29: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:252:29
    |
253 |   dSwitch (switch_t1b x) $ \x ->
    |                             ^

tests/Test/FRP/Yampa/Switches.hs:257:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      switch_t3r :: [(Double, Double, Double)]
    |
257 | switch_t3r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:270:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: switch_t4 :: [Double]
    |
270 | switch_t4 = take 25 $
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:286:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: switch_t4r :: [Double]
    |
286 | switch_t4r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:293: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)))])
    |
293 | rswitch_inp1 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:309: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)))])
    |
309 | rswitch_inp2 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:325:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: rswitch_t0 :: [Double]
    |
325 | rswitch_t0 = take 20 $ embed (rSwitch (arr (+3))) rswitch_inp1
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:336:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: rswitch_t1 :: [Double]
    |
336 | rswitch_t1 = take 20 $ embed (rSwitch integral) rswitch_inp1
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:347:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: rswitch_t2 :: [Double]
    |
347 | rswitch_t2 = take 20 $ embed (rSwitch (arr (+100))) rswitch_inp2
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:358:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: rswitch_t3 :: [Double]
    |
358 | rswitch_t3 = take 20 $ embed (drSwitch (arr (+100))) rswitch_inp2
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:380:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      rswitch_inp3 :: (Double, [(DTime, Maybe Double)])
    |
380 | rswitch_inp3 = deltaEncode 0.5 (repeat 0.0)
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:380: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:380:16-26
        (Fractional a0)
          arising from the literal 0.0
          at tests/Test/FRP/Yampa/Switches.hs:380: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)
    |
380 | rswitch_inp3 = deltaEncode 0.5 (repeat 0.0)
    |                ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:382:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: rswitch_t4 :: [Double]
    |
382 | rswitch_t4 = take 40 $ embed rswitch_sawTooth rswitch_inp3
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:384:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: rswitch_t4r :: [Double]
    |
384 | rswitch_t4r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:395:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      kswitch_inp1 :: (Double, [(DTime, Maybe Double)])
    |
395 | kswitch_inp1 = deltaEncode 0.1 [0.0, 0.5 ..]
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:405: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))
    |
405 |       kSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ ->
    |                                                       ^^^

tests/Test/FRP/Yampa/Switches.hs:408:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: kswitch_t0r :: [Double]
    |
408 | kswitch_t0r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:420: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))
    |
420 |       kSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ ->
    |                                                       ^^^

tests/Test/FRP/Yampa/Switches.hs:423:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: kswitch_t2r :: [Double]
    |
423 | kswitch_t2r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:435: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))
    |
435 |       dkSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ ->
    |                                                        ^^^

tests/Test/FRP/Yampa/Switches.hs:438:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: kswitch_t1r :: [Double]
    |
438 | kswitch_t1r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:450: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))
    |
450 |       dkSwitch (integral >>> arr (+x)) (whenSndGE 1.0 (1.0)) $ \_ _ ->
    |                                                        ^^^

tests/Test/FRP/Yampa/Switches.hs:453:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: kswitch_t3r :: [Double]
    |
453 | kswitch_t3r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:462:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: kswitch_t4 :: [Double]
    |
462 | kswitch_t4 = take 40 $
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:477:5: warning: [GHC-63397] [-Wname-shadowing]
    This binding for arr2 shadows the existing binding
      imported from FRP.Yampa at tests/Test/FRP/Yampa/Switches.hs:29:1-25
      (and originally defined in FRP.Yampa.Arrow)
    |
477 |     arr2 f = arr (\(x,y) -> (f x, f y))
    |     ^^^^

tests/Test/FRP/Yampa/Switches.hs:479:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: kswitch_t4r :: [Double]
    |
479 | kswitch_t4r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:493:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      coc_inp1 :: (Double, [(DTime, Maybe Double)])
    |
493 | coc_inp1 = deltaEncode 0.1 [0.0, 0.5 ..]
    | ^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:498:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: coc_t0r :: [[Double]]
    |
498 | coc_t0r =
    | ^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:523:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_broadcast :: Property
    |
523 | prop_broadcast =
    | ^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:530:5: 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)
    |
530 |     pred = (\x [y,z] -> x == y && (x + 1) == z)
    |     ^^^^

tests/Test/FRP/Yampa/Switches.hs:530:13: warning: [GHC-62161] [-Wincomplete-uni-patterns]
    Pattern match(es) are non-exhaustive
    In a lambda abstraction:
        Patterns of type Float, [Float] not matched:
            _ []
            _ [_]
            _ (_:_:_:_)
    |
530 |     pred = (\x [y,z] -> x == y && (x + 1) == z)
    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:532:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      pswitch_inp1 :: (Double, [(DTime, Maybe Double)])
    |
532 | pswitch_inp1 = deltaEncode 0.1 [0.0, 0.5 ..]
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:541: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)
    |
541 |       pSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x ->
    |                                   ^^^^

tests/Test/FRP/Yampa/Switches.hs:541:48: warning: [-Wunused-matches]
    Defined but not used: x
    |
541 |       pSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x ->
    |                                                ^

tests/Test/FRP/Yampa/Switches.hs:542:56: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:541:44
    |
542 |       pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                        ^^^

tests/Test/FRP/Yampa/Switches.hs:542:60: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:541:48
    |
542 |       pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                            ^

tests/Test/FRP/Yampa/Switches.hs:543:67: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:542:56
    |
543 |       pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x->
    |                                                                   ^^^

tests/Test/FRP/Yampa/Switches.hs:543:71: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:542:60
    |
543 |       pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x->
    |                                                                       ^

tests/Test/FRP/Yampa/Switches.hs:544: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)
    |
544 |       pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0) $ \sfs _->
    |                                                          ^^^^

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:67
    |
544 |       pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0) $ \sfs _->
    |                                                                   ^^^

tests/Test/FRP/Yampa/Switches.hs:547:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pswitch_t0r :: [[Double]]
    |
547 | pswitch_t0r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:574: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)
    |
574 |       pSwitchB [] (now 10.0) $ \sfs x ->
    |                        ^^^^

tests/Test/FRP/Yampa/Switches.hs:574:37: warning: [-Wunused-matches]
    Defined but not used: x
    |
574 |       pSwitchB [] (now 10.0) $ \sfs x ->
    |                                     ^

tests/Test/FRP/Yampa/Switches.hs:575:56: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:574:33
    |
575 |       pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                        ^^^

tests/Test/FRP/Yampa/Switches.hs:575:60: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:574:37
    |
575 |       pSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                            ^

tests/Test/FRP/Yampa/Switches.hs:576:67: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:575:56
    |
576 |       pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x->
    |                                                                   ^^^

tests/Test/FRP/Yampa/Switches.hs:576:71: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:575:60
    |
576 |       pSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0) $ \sfs x->
    |                                                                       ^

tests/Test/FRP/Yampa/Switches.hs:577: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)
    |
577 |       pSwitchB ((integral>>>arr(+x)):sfs)(now 20.0) $ \sfs _->
    |                                               ^^^^

tests/Test/FRP/Yampa/Switches.hs:577:56: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:576:67
    |
577 |       pSwitchB ((integral>>>arr(+x)):sfs)(now 20.0) $ \sfs _->
    |                                                        ^^^

tests/Test/FRP/Yampa/Switches.hs:580:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pswitch_t2r :: [[Double]]
    |
580 | pswitch_t2r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:628:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      pswitch_t5r :: [([Double], Double)]
    |
628 | pswitch_t5r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:665: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)
    |
665 |       dpSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x ->
    |                                    ^^^^

tests/Test/FRP/Yampa/Switches.hs:665:49: warning: [-Wunused-matches]
    Defined but not used: x
    |
665 |       dpSwitchB [] (whenFstGE 1.25 10.0) $ \sfs x ->
    |                                                 ^

tests/Test/FRP/Yampa/Switches.hs:666:57: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:665:45
    |
666 |       dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                         ^^^

tests/Test/FRP/Yampa/Switches.hs:666:61: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:665:49
    |
666 |       dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                             ^

tests/Test/FRP/Yampa/Switches.hs:667:67: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:666:57
    |
667 |       dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x->
    |                                                                   ^^^

tests/Test/FRP/Yampa/Switches.hs:667:71: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:666:61
    |
667 |       dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x->
    |                                                                       ^

tests/Test/FRP/Yampa/Switches.hs:668: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)
    |
668 |       dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0)$ \sfs _->
    |                                                           ^^^^

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:67
    |
668 |       dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 7.25 20.0)$ \sfs _->
    |                                                                   ^^^

tests/Test/FRP/Yampa/Switches.hs:671:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pswitch_t1r :: [[Double]]
    |
671 | pswitch_t1r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:698: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)
    |
698 |       dpSwitchB [] (now 10.0) $ \sfs x ->
    |                         ^^^^

tests/Test/FRP/Yampa/Switches.hs:698:38: warning: [-Wunused-matches]
    Defined but not used: x
    |
698 |       dpSwitchB [] (now 10.0) $ \sfs x ->
    |                                      ^

tests/Test/FRP/Yampa/Switches.hs:699:57: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:698:34
    |
699 |       dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                         ^^^

tests/Test/FRP/Yampa/Switches.hs:699:61: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:698:38
    |
699 |       dpSwitchB (integral:sfs) (whenFstGE 3.75 10.0) $ \sfs x ->
    |                                                             ^

tests/Test/FRP/Yampa/Switches.hs:700:67: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:699:57
    |
700 |       dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x->
    |                                                                   ^^^

tests/Test/FRP/Yampa/Switches.hs:700:71: warning: [GHC-63397] [-Wname-shadowing]
    This binding for x shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:699:61
    |
700 |       dpSwitchB ((integral>>>arr(+x)):sfs)(whenFstGE 5.25 20.0)$ \sfs x->
    |                                                                       ^

tests/Test/FRP/Yampa/Switches.hs:701: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)
    |
701 |       dpSwitchB ((integral>>>arr(+x)):sfs) (now 20.0) $ \sfs _->
    |                                                 ^^^^

tests/Test/FRP/Yampa/Switches.hs:701:58: warning: [GHC-63397] [-Wname-shadowing]
    This binding for sfs shadows the existing binding
      bound at tests/Test/FRP/Yampa/Switches.hs:700:67
    |
701 |       dpSwitchB ((integral>>>arr(+x)):sfs) (now 20.0) $ \sfs _->
    |                                                          ^^^

tests/Test/FRP/Yampa/Switches.hs:704:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pswitch_t3r :: [[Double]]
    |
704 | pswitch_t3r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:757:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pswitch_t4r :: [[Double]]
    |
757 | pswitch_t4r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:790: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])))])
    |
790 | rpswitch_inp1 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:806: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])))])
    |
806 | rpswitch_inp2 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:825:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      rpswitch_t0r :: [[Double]]
    |
825 | rpswitch_t0r =
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:851:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      rpswitch_t2r :: [[Double]]
    |
851 | rpswitch_t2r =
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:877:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      rpswitch_t1r :: [[Double]]
    |
877 | rpswitch_t1r =
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:903:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      rpswitch_t3r :: [[Double]]
    |
903 | rpswitch_t3r =
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:952:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      rpswitch_t4r :: [[Double]]
    |
952 | rpswitch_t4r =
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:1933:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t6r :: [Int]
     |
1933 | utils_t6r =
     | ^^^^^^^^^

tests/Test/FRP/Yampa/Switches.hs:2113:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
     |
2113 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b)
     | ^^^^

tests/Test/FRP/Yampa/Switches.hs:2143: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.
     |
2143 | 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.15/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.15/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.15/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.15/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:118:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arr_naturality :: Property
    |
118 | prop_arr_naturality =
    | ^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:119:24: warning: [-Wunused-matches]
    Defined but not used: stream
    |
119 |     forAll myStream $ \stream ->
    |                        ^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:128:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: comp_t0 :: [Double]
    |
128 | comp_t0 = testSF1 ((arr (+1)) >>> (arr (+2)))
    | ^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:135:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: comp_t1 :: [Double]
    |
135 | comp_t1 = testSF2 ((arr (+1)) >>> (arr (+2)))
    | ^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:142:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: comp_t2 :: [Double]
    |
142 | comp_t2 = testSF1 ((constant 5.0) >>> (arr (+1)))
    | ^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:149:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: comp_t3 :: [Double]
    |
149 | comp_t3 = testSF2 ((constant 5.0) >>> (arr (+1)))
    | ^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:157:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: comp_t4 :: [Double]
    |
157 | comp_t4 = testSF1 ((constant 2.0) >>> integral)
    | ^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:165:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: comp_t5 :: [Double]
    |
165 | comp_t5 = testSF2 ((constant 2.0) >>> integral)
    | ^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:173:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_comp_1 :: Property
    |
173 | prop_arrow_comp_1 =
    | ^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:180: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)
    |
180 |     pred = (\x y -> x + 3 == y)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:183:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_comp_2 :: Property
    |
183 | prop_arrow_comp_2 =
    | ^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:190: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)
    |
190 |     pred = const (== 6.0)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:190:19: 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:190:19-20
        (Fractional c'0)
          arising from the literal 6.0
          at tests/Test/FRP/Yampa/InternalCore.hs:190:22-24
        (Fractional c'0)
          arising from the literal 5.0
          at tests/Test/FRP/Yampa/InternalCore.hs:189:21-23
        (Num c'0)
          arising from a use of +
          at tests/Test/FRP/Yampa/InternalCore.hs:189:34
    " In the expression: (==)
      In the first argument of const, namely (== 6.0)
      In the expression: const (== 6.0)
    |
190 |     pred = const (== 6.0)
    |                   ^^

tests/Test/FRP/Yampa/InternalCore.hs:193:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_comp_3 :: Property
    |
193 | prop_arrow_comp_3 =
    | ^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:202: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)
    |
202 |     pred = const (== 0.5)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:228:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      first_t2r :: [(Double, Double)]
    |
228 | first_t2r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:238:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      first_t3r :: [(Double, Double)]
    |
238 | first_t3r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:248:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      first_t4r :: [(Double, Double)]
    |
248 | first_t4r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:258:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      first_t5r :: [(Double, Double)]
    |
258 | first_t5r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:266:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_first_1 :: Property
    |
266 | prop_arrow_first_1 =
    | ^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:273: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)
    |
273 |     pred = (\x y -> (7 :: Int, x) == y)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:275:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_first_2 :: Property
    |
275 | prop_arrow_first_2 =
    | ^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:282: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)
    |
282 |     pred = (\x y -> (x + 1, x) == y)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:305:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_second_1 :: Property
    |
305 | prop_arrow_second_1 =
    | ^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:312: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)
    |
312 |     pred = (\x y -> (x, 7 :: Int) == y)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:314:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_second_2 :: Property
    |
314 | prop_arrow_second_2 =
    | ^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:321: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)
    |
321 |     pred = (\x y -> (x, x + 1) == y)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:334:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_id_0 :: Property
    |
334 | prop_arrow_id_0 =
    | ^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:339: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)
    |
339 |     pred = arr $ uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:349:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_id_2 :: Property
    |
349 | prop_arrow_id_2 =
    | ^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:354: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)
    |
354 |     pred = arr $ uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:364:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_assoc :: Property
    |
364 | prop_arrow_assoc =
    | ^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:369: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)
    |
369 |     pred = arr $ uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:379:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_arr_comp :: Property
    |
379 | prop_arrow_arr_comp =
    | ^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:384: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)
    |
384 |     pred = arr (uncurry (==))
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:389:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: prop_arrow_2 :: Property
    |
389 | prop_arrow_2 = forAll myStream $ evalT $
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:389:1: warning: [-Wunused-top-binds]
    Defined but not used: prop_arrow_2
    |
389 | prop_arrow_2 = forAll myStream $ evalT $
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:399:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: prop_arrow_2' :: Property
    |
399 | prop_arrow_2' =
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:399:1: warning: [-Wunused-top-binds]
    Defined but not used: prop_arrow_2'
    |
399 | prop_arrow_2' =
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:413:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_2'' :: Eq c' => (a -> b) -> (b -> c') -> TPred a
    |
413 | prop_arrow_2'' f g =
    | ^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:413:1: warning: [-Wunused-top-binds]
    Defined but not used: prop_arrow_2''
    |
413 | prop_arrow_2'' f g =
    | ^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:424:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_first_3 :: Property
    |
424 | prop_arrow_first_3 =
    | ^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:429: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)
    |
429 |     pred = uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:439:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_first_distrib :: Property
    |
439 | prop_arrow_first_distrib =
    | ^^^^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:444: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)
    |
444 |     pred = uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:454:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_first_id_comm :: Property
    |
454 | prop_arrow_first_id_comm =
    | ^^^^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:459: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)
    |
459 |     pred = uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:476:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_arrow_first_nested :: Property
    |
476 | prop_arrow_first_nested =
    | ^^^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:482: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)
    |
482 |     pred = uncurry (==)
    |     ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:493: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))
    |
493 | loop_t0 = testSF1 (loop (constant (42.0, 43.0)))
    |                                          ^^^^

tests/Test/FRP/Yampa/InternalCore.hs:494:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t0r :: [Double]
    |
494 | loop_t0r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:502:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t1r :: [Double]
    |
502 | loop_t1r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:510:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t2r :: [Time]
    |
510 | loop_t2r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:521: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))
    |
521 | loop_t3 = testSF1 (loop (second (iPre 0)))
    |                                       ^

tests/Test/FRP/Yampa/InternalCore.hs:522:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t3r :: [Time]
    |
522 | loop_t3r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:532:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t4r :: [Double]
    |
532 | loop_t4r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:542:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t5r :: [Double]
    |
542 | loop_t5r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:552:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t6r :: [Double]
    |
552 | loop_t6r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:562:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t7r :: [Double]
    |
562 | loop_t7r = loop_t4r
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:566:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t8r :: [Double]
    |
566 | loop_t8r = loop_t5r
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:570:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t9r :: [Double]
    |
570 | loop_t9r =
    | ^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:580:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t10r :: [Double]
    |
580 | loop_t10r = loop_t4r
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:584:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t11r :: [Double]
    |
584 | loop_t11r = loop_t5r
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:591:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t12r :: [Double]
    |
591 | loop_t12r = loop_t9r
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:602:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t13r :: [Double]
    |
602 | loop_t13r = [1.0,2.71692, 7.38167, 20.05544, 54.48911, 148.04276]
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:609:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t14r :: [Double]
    |
609 | loop_t14r = loop_t13r
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:618:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t15r :: [Double]
    |
618 | loop_t15r = loop_t13r
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:623:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      factGen :: (Eq t, Num t) => (t -> t) -> t -> t
    |
623 | factGen f n = if (n==0) then 1 else n*f(n-1)
    | ^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:628:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t16r :: [Int]
    |
628 | loop_t16r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:635: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))
    |
635 | loop_t17 = testSF1 (loop $ second $ (switch identity (const (arr fst))) >>> arr (\x -> (x,noEvent)) >>> (iPre (25, noEvent)))
    |                                                                                                                ^^

tests/Test/FRP/Yampa/InternalCore.hs:636:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: loop_t17r :: [Double]
    |
636 | loop_t17r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:652:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      looplaws_t0_f :: SF (d, Double) (Double, d)
    |
652 | looplaws_t0_f = second integral >>> arr swap
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:661:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      looplaws_t1_f :: SF (d, Double) (Double, d)
    |
661 | looplaws_t1_f = second integral >>> arr swap
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:673:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      looplaws_t2_k :: (b, Double) -> (b, Double)
    |
673 | looplaws_t2_k = id *** (+42.0)
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:684:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      looplaws_t3_f :: SF ((b, a), Double) ((a, Double), b)
    |
684 | looplaws_t3_f = second integral
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:693:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      looplaws_t4_f :: SF (d, Double) (Double, d)
    |
693 | looplaws_t4_f = second integral >>> arr swap
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:702:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      looplaws_t5_f :: (a, [a]) -> ([a], [a])
    |
702 | looplaws_t5_f = \(a,c) -> (take 5 c, a : c)
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/InternalCore.hs:711:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
    |
711 | 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Integration.o )

tests/Test/FRP/Yampa/Integration.hs:196:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t7r :: [Double]
    |
196 | utils_t7r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:215:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_inp1 :: (Event Double, [(DTime, Maybe (Event Double))])
    |
215 | utils_inp1 = deltaEncode 1.0 $
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:215: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:215:14-24
        (Fractional a0)
          arising from the literal 1.0
          at tests/Test/FRP/Yampa/Integration.hs:216: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
    |
215 | utils_inp1 = deltaEncode 1.0 $
    |              ^^^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:234:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_inp2 :: (Event Double, [(DTime, Maybe (Event Double))])
    |
234 | utils_inp2 = deltaEncode 1.0 $
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:234: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:234:14-24
        (Fractional a0)
          arising from the literal 1.0
          at tests/Test/FRP/Yampa/Integration.hs:235: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
    |
234 | utils_inp2 = deltaEncode 1.0 $
    |              ^^^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:244:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: der_step :: DTime
    |
244 | der_step = 0.001
    | ^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:245:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: der_N :: Int
    |
245 | der_N = 1000
    | ^^^^^

tests/Test/FRP/Yampa/Integration.hs:268:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: der_t0_max_diff :: Double
    |
268 | der_t0_max_diff = (maximum (zipWith (\x y -> abs (x - y))
    | ^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:272:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_derivative_1 :: Property
    |
272 | prop_derivative_1 =
    | ^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:287:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_derivative_2 :: Property
    |
287 | prop_derivative_2 =
    | ^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Integration.hs:359:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
    |
359 | 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Hybrid.o )

tests/Test/FRP/Yampa/Hybrid.hs:65:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: wfg_t0r :: [Double]
   |
65 | wfg_t0r =
   | ^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:72:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      wfg_inp1 :: (Event Double, [(DTime, Maybe (Event Double))])
   |
72 | wfg_inp1 = deltaEncode 1.0 $
   | ^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:83:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: wfg_t1r :: [Double]
   |
83 | wfg_t1r =
   | ^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:90:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_inp1 :: (Event Double, [(DTime, Maybe (Event Double))])
   |
90 | utils_inp1 = deltaEncode 1.0 $
   | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:98:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_inp2 :: (Event Double, [(DTime, Maybe (Event Double))])
   |
98 | utils_inp2 = deltaEncode 1.0 $
   | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:109:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t0r :: [Double]
    |
109 | utils_t0r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:119:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t1r :: [Double]
    |
119 | utils_t1r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:126:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      wfg_inp2 :: (Event Double, [(DTime, Maybe (Event Double))])
    |
126 | wfg_inp2 = deltaEncode 1.0 $
    | ^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:137:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: wfg_t2r :: [Double]
    |
137 | wfg_t2r =
    | ^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:145:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      wfg_inp3 :: (Maybe Double, [(DTime, Maybe (Maybe Double))])
    |
145 | wfg_inp3 = deltaEncode 1.0 $
    | ^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:156:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: wfg_t3r :: [Double]
    |
156 | wfg_t3r =
    | ^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:164:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      wfg_inp4 :: (Maybe Double, [(DTime, Maybe (Maybe Double))])
    |
164 | wfg_inp4 = deltaEncode 1.0 $
    | ^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:175:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t2r :: [Double]
    |
175 | utils_t2r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:183:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_inp3 :: (Maybe Double, [(DTime, Maybe (Maybe Double))])
    |
183 | utils_inp3 = deltaEncode 1.0 $
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:194:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t3r :: [Double]
    |
194 | utils_t3r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:202:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_inp4 :: (Maybe Double, [(DTime, Maybe (Maybe Double))])
    |
202 | utils_inp4 = deltaEncode 1.0 $
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:215:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_t0r :: [Event Double]
    |
215 | accum_t0r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:222:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_inp1 :: (Event (Double -> Double),
                     [(DTime, Maybe (Event (Double -> Double)))])
    |
222 | accum_inp1 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:235:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_t1r :: [Event Double]
    |
235 | accum_t1r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:242:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_inp2 :: (Event (Double -> Double),
                     [(DTime, Maybe (Event (Double -> Double)))])
    |
242 | accum_inp2 = (fromJust (head delta_inp), zip (repeat 1.0) (tail delta_inp))
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:253: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:253:50-54
        (Eq a0)
          arising from a use of deltaEncode
          at tests/Test/FRP/Yampa/Hybrid.hs:263:14-24
        (Fractional a0)
          arising from the literal 1.0
          at tests/Test/FRP/Yampa/Hybrid.hs:264: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)
    |
253 | accum_t2 = take 16 $ embed (accumBy (\a d -> a + floor d) 0) accum_inp3
    |                                                  ^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:263:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_inp3 :: (Event Double, [(DTime, Maybe (Event Double))])
    |
263 | accum_inp3 = deltaEncode 1.0 $
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:272: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:272:50-54
        (Eq a0)
          arising from a use of deltaEncode
          at tests/Test/FRP/Yampa/Hybrid.hs:282:14-24
        (Fractional a0)
          arising from the literal 1.0
          at tests/Test/FRP/Yampa/Hybrid.hs:283: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)
    |
272 | accum_t3 = take 16 $ embed (accumBy (\a d -> a + floor d) 0) accum_inp4
    |                                                  ^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:282:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_inp4 :: (Event Double, [(DTime, Maybe (Event Double))])
    |
282 | accum_inp4 = deltaEncode 1.0 $
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:309:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_inp5 :: ((), [(DTime, Maybe ())])
    |
309 | accum_inp5 = deltaEncode 0.25 (repeat ())
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:364: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))
    |
364 | accum_accFiltFun1 a d =
    | ^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:381: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))
    |
381 | accum_accFiltFun2 a d =
    | ^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:398: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)
    |
398 |     attach c = arr (fmap (\a -> (c, a)))
    |     ^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:403:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_t6r :: [Event (Bool, Int)]
    |
403 | accum_t6r = accum_t4 -- Should agree!
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:408:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      accum_t7r :: [Event (Bool, Int)]
    |
408 | accum_t7r = accum_t5 -- Should agree!
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Hybrid.hs:573:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
    |
573 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b)
    | ^^^^

tests/Test/FRP/Yampa/Hybrid.hs:576: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.
    |
576 | 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/EventS.o )

tests/Test/FRP/Yampa/EventS.hs:91:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: evsrc_t0r :: [Event a]
   |
91 | evsrc_t0r =
   | ^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:101:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_event_noevent :: Property
    |
101 | 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:131:20-23
    " 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:133:8: warning: [-Wunused-matches]
    Defined but not used: x
    |
133 |     p0 x y = y == Event 42.0
    |        ^

tests/Test/FRP/Yampa/EventS.hs:134:8: warning: [-Wunused-matches]
    Defined but not used: x
    |
134 |     pn x y = y == noEvent
    |        ^

tests/Test/FRP/Yampa/EventS.hs:152:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_event_after_0 :: Property
    |
152 | prop_event_after_0 =
    | ^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:155: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:155:22-23
        (Fractional b0)
          arising from a use of p0
          at tests/Test/FRP/Yampa/EventS.hs:155:22-23
        (Fractional b0)
          arising from the literal 42.0
          at tests/Test/FRP/Yampa/EventS.hs:159:20-23
    " In the expression: p0
      In the first argument of prop, namely (sf, p0)
      In the first argument of And, namely (prop (sf, p0))
    |
155 |       And (prop (sf, p0))                 -- Initially
    |                      ^^

tests/Test/FRP/Yampa/EventS.hs:161:8: warning: [-Wunused-matches]
    Defined but not used: x
    |
161 |     p0 x y = y == Event 42.0
    |        ^

tests/Test/FRP/Yampa/EventS.hs:162:8: warning: [-Wunused-matches]
    Defined but not used: x
    |
162 |     pn x y = y == noEvent
    |        ^

tests/Test/FRP/Yampa/EventS.hs:347: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)
    |
347 |     delay = 0.01
    |     ^^^^^

tests/Test/FRP/Yampa/EventS.hs:355:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      evsrc_t28r :: [(Event Int, Event Int)]
    |
355 | evsrc_t28r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:440:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      evsrc_t29r :: [Event [Double]]
    |
440 | evsrc_t29r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:465:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: evsrc_t12r :: [Event a]
    |
465 | evsrc_t12r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:478:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: evsrc_t13r :: [Event ()]
    |
478 | evsrc_t13r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:561:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      evsrc_isEdge :: Bool -> Bool -> Maybe ()
    |
561 | evsrc_isEdge False False = Nothing
    | ^^^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:569:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: evsrc_t14r :: [Event ()]
    |
569 | evsrc_t14r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:582:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: evsrc_t15r :: [Event ()]
    |
582 | evsrc_t15r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:593:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      evsrc_isEdge2 :: Bool -> Bool -> Maybe Bool
    |
593 | evsrc_isEdge2 False False = Nothing
    | ^^^^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:603:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      evsrc_t16r :: [Event Bool]
    |
603 | evsrc_t16r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:796:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_t10r :: [Event Double]
    |
796 | utils_t10r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:809:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_t11r :: [Event Double]
    |
809 | utils_t11r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:822:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_t12r :: [Event Double]
    |
822 | utils_t12r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:832:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_t15 :: [Event [Time]]
    |
832 | utils_t15 = take 50 (embed (time >>> sampleWindow 5 0.5)
    | ^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:835:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_t15r :: [Event [Time]]
    |
835 | utils_t15r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:879:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_t16 :: [Event [Time]]
    |
879 | utils_t16 = take 50 (embed (time >>> sampleWindow 5 0.4999) input)
    | ^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:889:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      utils_t16r :: [Event [Time]]
    |
889 | utils_t16r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:914:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t13r :: [Event ()]
    |
914 | utils_t13r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:927:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t14r :: [Event Int]
    |
927 | utils_t14r =
    | ^^^^^^^^^^

tests/Test/FRP/Yampa/EventS.hs:940:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
    |
940 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b)
    | ^^^^

tests/Test/FRP/Yampa/EventS.hs:944: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.
    |
944 | 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Delays.o )

tests/Test/FRP/Yampa/Delays.hs:66:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pre_t0 :: [Double]
   |
66 | pre_t0 = testSF1 (iPre 17)
   | ^^^^^^

tests/Test/FRP/Yampa/Delays.hs:67:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pre_t0r :: [Double]
   |
67 | pre_t0r =
   | ^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:72:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pre_t1 :: [Double]
   |
72 | pre_t1 = testSF2 (iPre 17)
   | ^^^^^^

tests/Test/FRP/Yampa/Delays.hs:73:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pre_t1r :: [Double]
   |
73 | pre_t1r =
   | ^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:78:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pre_t2 :: [Time]
   |
78 | pre_t2 = testSF1 (time
   | ^^^^^^

tests/Test/FRP/Yampa/Delays.hs:83:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: pre_t2r :: [Time]
   |
83 | pre_t2r =
   | ^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:258:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t0 :: [Double]
    |
258 | delay_t0 = testSF1 (delay 0.0 undefined)
    | ^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:259:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t0r :: [Double]
    |
259 | delay_t0r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:264:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t1 :: [Double]
    |
264 | delay_t1 = testSF1 (delay 0.0001 17)
    | ^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:265:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t1r :: [Double]
    |
265 | delay_t1r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:270:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t2 :: [Double]
    |
270 | delay_t2 = testSF2 (delay 0.0001 17)
    | ^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:271:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t2r :: [Double]
    |
271 | delay_t2r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:276:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t3 :: [Time]
    |
276 | delay_t3 = testSF1 (time
    | ^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:280:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t3r :: [Time]
    |
280 | delay_t3r =
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:285:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: dts_t4 :: [DTime]
    |
285 | dts_t4 = take 15 (repeat 0.1)
    | ^^^^^^

tests/Test/FRP/Yampa/Delays.hs:291:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      input_t4 :: (Int, [(DTime, Maybe Int)])
    |
291 | input_t4 = (0, [ (dt, Just i) | (dt, i) <- zip dts_t4 [1..] ])
    | ^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:306:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t5 :: [Time]
    |
306 | delay_t5 = take 100 (drop 6 (embed sf (deltaEncode 0.1 (repeat ()))))
    | ^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:310:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: delay_t5r :: [Time]
    |
310 | delay_t5r = take 100 (drop 6 (embed sf (deltaEncode 0.1 (repeat ()))))
    | ^^^^^^^^^

tests/Test/FRP/Yampa/Delays.hs:315:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: prop_delay_1 :: Property
    |
315 | 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:341:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
    |
341 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b)
    | ^^^^

tests/Test/FRP/Yampa/Delays.hs:344: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
    |
344 | 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.15/noopt/build/yampa-quicheck/yampa-quicheck-tmp/Test/FRP/Yampa/Conditional.o )

tests/Test/FRP/Yampa/Conditional.hs:38: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)))
   |
38 | utils_t8 = take 50 $ embed (provided (even . floor) integral (constant (-1)))
   |                                       ^^^^

tests/Test/FRP/Yampa/Conditional.hs:47:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t8r :: [Double]
   |
47 | utils_t8r =
   | ^^^^^^^^^

tests/Test/FRP/Yampa/Conditional.hs:56: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)))
   |
56 | utils_t9 = take 50 $ embed (provided (odd . floor) integral (constant (-1)))
   |                                       ^^^

tests/Test/FRP/Yampa/Conditional.hs:65:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: utils_t9r :: [Double]
   |
65 | utils_t9r =
   | ^^^^^^^^^

tests/Test/FRP/Yampa/Conditional.hs:90: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))
   |
90 |     sfPause initialValue = pause initialValue (arr (odd . round)) integral
   |                                                     ^^^

tests/Test/FRP/Yampa/Conditional.hs:95: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))
   |
95 |       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.15/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:62:5: 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)
   |
62 |     pred = (==)
   |     ^^^^

tests/Test/FRP/Yampa/Basic.hs:64:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_basic_identity_2 :: Property
   |
64 | prop_basic_identity_2 =
   | ^^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Basic.hs:74:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: basicsf_t1r :: [Double]
   |
74 | basicsf_t1r =
   | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Basic.hs:80:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_basic_constant :: Property
   |
80 | prop_basic_constant =
   | ^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Basic.hs:87:5: 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)
   |
87 |     pred = const (== 42.0)
   |     ^^^^

tests/Test/FRP/Yampa/Basic.hs:87:19: 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:87:19-20
        (Fractional c'0)
          arising from the literal 42.0
          at tests/Test/FRP/Yampa/Basic.hs:87:22-25
        (Fractional c'0)
          arising from the literal 42.0
          at tests/Test/FRP/Yampa/Basic.hs:86:21-24
    " In the expression: (==)
      In the first argument of const, namely (== 42.0)
      In the expression: const (== 42.0)
   |
87 |     pred = const (== 42.0)
   |                   ^^

tests/Test/FRP/Yampa/Basic.hs:144: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:144:58
        (Num a0)
          arising from the literal 2
          at tests/Test/FRP/Yampa/Basic.hs:144:60
    " In the expression: (^)
      In the first argument of arr, namely (^ 2)
      In the second argument of (>>>), namely arr (^ 2)
    |
144 |           sfStep = (initialValue -:> arr (* 2)) >>> arr (^ 2)
    |                                                          ^

tests/Test/FRP/Yampa/Basic.hs:153: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:153:61
        (Num b0)
          arising from the literal 2
          at tests/Test/FRP/Yampa/Basic.hs:153: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)
    |
153 |            (SP $ (==) <$> sfStep <*> constant (initialValue ^ 2))
    |                                                             ^

tests/Test/FRP/Yampa/Basic.hs:157: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:157:60
        (Num a0)
          arising from the literal 2
          at tests/Test/FRP/Yampa/Basic.hs:157:62
    " In the expression: (^)
      In the first argument of (.), namely (^ 2)
      In the first argument of arr, namely ((^ 2) . (* 2))
    |
157 |            (Next $ Always $ SP $ (==) <$> sfStep <*> arr ((^ 2) . (* 2)))
    |                                                            ^

tests/Test/FRP/Yampa/Basic.hs:208: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:208:35
        (Num a0)
          arising from the literal 2
          at tests/Test/FRP/Yampa/Basic.hs:208:37
    " In the expression: (^)
      In the first argument of arr, namely (^ 2)
      In the second argument of (-=>), namely arr (^ 2)
    |
208 |           sfStep = (* 4) -=> arr (^ 2)
    |                                   ^

tests/Test/FRP/Yampa/Basic.hs:215: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:215:52
        (Num a0)
          arising from the literal 2
          at tests/Test/FRP/Yampa/Basic.hs:215:54
    " In the expression: (^)
      In the second argument of (.), namely (^ 2)
      In the first argument of arr, namely ((* 4) . (^ 2))
    |
215 |            (SP $ (==) <$> sfStep <*> arr ((* 4) . (^ 2)))
    |                                                    ^

tests/Test/FRP/Yampa/Basic.hs:218: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:218:59
        (Num a0)
          arising from the literal 2
          at tests/Test/FRP/Yampa/Basic.hs:218:61
    " In the expression: (^)
      In the first argument of arr, namely (^ 2)
      In the second argument of (<*>), namely arr (^ 2)
    |
218 |            (Next $ Always $ SP $ (==) <$> sfStep <*> arr (^ 2))
    |                                                           ^

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:257:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: basicsf_t4r :: [Double]
    |
257 | basicsf_t4r =
    | ^^^^^^^^^^^

tests/Test/FRP/Yampa/Basic.hs:263:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop_basic_initially :: Property
    |
263 | prop_basic_initially =
    | ^^^^^^^^^^^^^^^^^^^^

tests/Test/FRP/Yampa/Basic.hs:270:5: 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)
    |
270 |     pred = const (== 42.0)
    |     ^^^^

tests/Test/FRP/Yampa/Basic.hs:275:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      prop :: (SF c c', c -> c' -> Bool) -> TPred c
    |
275 | prop (a,b) = SP ((identity &&& a) >>^ uncurry b)
    | ^^^^

tests/Test/FRP/Yampa/Basic.hs:278: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
    |
278 | 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.15/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.15/noopt/build/yampa-quicheck/yampa-quicheck
Running 1 test suites...
Test suite yampa-quicheck: RUNNING...
Test suite yampa-quicheck: FAIL
Test suite logged to:
/home/builder/builder-dir/build-cache/tmp-install/reports/yampa-test-0.15.test
Writing: yampa-test-0.15-inplace/FRP.Yampa.Stream.hs.html
Writing: yampa-test-0.15-inplace/FRP.Yampa.QuickCheck.hs.html
Writing: yampa-test-0.15-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.15/noopt/hpc/vanilla/html/yampa-quicheck/hpc_index.html
0 of 1 test suites (0 of 1 test cases) passed.
Writing: yampa-test-0.15-inplace/FRP.Yampa.Stream.hs.html
Writing: yampa-test-0.15-inplace/FRP.Yampa.QuickCheck.hs.html
Writing: yampa-test-0.15-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.15/noopt/hpc/vanilla/html/yampa-test-0.15/hpc_index.html
Error: cabal: Tests failed for yampa-test-0.15.