@@ -150,12 +150,16 @@ main = hspec $ do
152 describe "Nested parallel and serial compositions" $ do
152 describe "Nested parallel and serial compositions" $ do
154+ -- This is not correct, the result can also be [4,4,8,0,8,0,2,2]
155+ -- because of parallelism of [8,0] and [8,0].
153 it "Nest <|>, <>, <|> (1)" $
156 it "Nest <|>, <>, <|> (1)" $
154 let t = timed
157 let t = timed
155 in toListSerial (
158 in toListSerial (
156 ((t 8 <|> t 4) <> (t 2 <|> t 0))
159 ((t 8 <|> t 4) <> (t 2 <|> t 0))
157 <|> ((t 8 <|> t 4) <> (t 2 <|> t 0)))
160 <|> ((t 8 <|> t 4) <> (t 2 <|> t 0)))
158 `shouldReturn` ([4,4,8,8,0,0,2,2])
161 `shouldReturn` ([4,4,8,8,0,0,2,2])
159 it "Nest <|>, <>, <|> (2)" $
163 it "Nest <|>, <>, <|> (2)" $
160 let t = timed
164 let t = timed
161 in toListSerial (
165 in toListSerial (