diff --git a/examples/spec-constr/Pipelines.hs b/examples/spec-constr/Pipelines.hs index fbc4058bafaded1131c94b34ef0960402052198e..697ba80580bbd1c632ec43fc05a32514c586db37 100644 --- a/examples/spec-constr/Pipelines.hs +++ b/examples/spec-constr/Pipelines.hs @@ -18,3 +18,7 @@ pipe4 :: SUArr Int -> Int pipe4 = maximumU . sumSU {-# NOINLINE pipe4 #-} +pipe5 :: UArr Int -> UArr Int +{-# NOINLINE pipe5 #-} +pipe5 xs = sumSU (replicateSU (replicateU (lengthU xs) 5) xs) + diff --git a/examples/spec-constr/spec-constr.hs b/examples/spec-constr/spec-constr.hs index a3b889640580f9306d22514118e2d4dcc975881f..80ef69a600184eb869bbb56ba62d789d73bb7607 100644 --- a/examples/spec-constr/spec-constr.hs +++ b/examples/spec-constr/spec-constr.hs @@ -17,6 +17,7 @@ algs = [("pipe1", Algo (uncurry pipe1) (uarr >< uarr)) ,("pipe2", Algo pipe2 uarr) ,("pipe3", Algo pipe3 uarr) ,("pipe4", Algo pipe4 suarr) + ,("pipe5", Algo pipe5 uarr) ] uarr :: (UA a, Random a) => Gen (UArr a)