Commit c0d17fb0 authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Another SpecConstr test

parent b6eb31f5
......@@ -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)
......@@ -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)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment