strictness, ci

[minfp.git] / scc.dcl

diff --git a/scc.dcl b/scc.dcl
index 0bbe3c8..d9edde0 100644 (file)
--- a/scc.dcl
+++ b/scc.dcl
@@ -10,4 +10,4 @@ from StdClass import class Ord, class Eq
  * @param list of nodes together with their their successors
  * @return the strongly connected components
  */
-scc :: [(a, [a])] -> [[a]] | Eq, Ord a
+scc :: ![(a, [a])] -> [[a]] | Eq, Ord a