From c0d17fb01ff7606f91238a27d2fde273ccdae81b Mon Sep 17 00:00:00 2001
From: Roman Leshchinskiy <rl@cse.unsw.edu.au>
Date: Tue, 27 Mar 2007 14:25:39 +0000
Subject: [PATCH] Another SpecConstr test
---
examples/spec-constr/Pipelines.hs | 4 ++++
examples/spec-constr/spec-constr.hs | 1 +
2 files changed, 5 insertions(+)
diff --git a/examples/spec-constr/Pipelines.hs b/examples/spec-constr/Pipelines.hs
index fbc4058b..697ba805 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 a3b88964..80ef69a6 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)
--
GitLab