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