9ba9b7f09e62a763cc97911f3018dcdf7e45e06f
[ghc.git] / testsuite / tests / determinism / determ001 / determinism001.hs
1 module Main where
2
3 import Digraph
4
5 main = mapM_ print
6 [ test001
7 , test002
8 , test003
9 , test004
10 ]
11
12 -- These check that the result of SCCs doesn't depend on the order of the key
13 -- type (Int here).
14
15 test001 = testSCC [("a", 1, []), ("b", 2, []), ("c", 3, [])]
16
17 test002 = testSCC [("a", 2, []), ("b", 3, []), ("c", 1, [])]
18
19 test003 = testSCC [("b", 1, []), ("c", 2, []), ("a", 3, [])]
20
21 test004 = testSCC [("b", 2, []), ("c", 3, []), ("a", 1, [])]
22
23 testSCC = flattenSCCs . stronglyConnCompFromEdgedVerticesOrd