Minor problem with previous coverage checker patch fixed
commit83956b4a52acb473396331f31ff11da2b645ac38
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 26 Jul 2013, 22:20 (13 years ago)
parentb8bba09
src/Idris/Coverage.hs+1−1
@@ -78,7 +78,7 @@ genClauses fc n xs given
7878 let xs' = filter (\t -> case matchClause i x t of
7979 Right _ -> False
8080 Left _ -> True) xs in
81− x : mnub i xs
81+ x : mnub i xs'
8282
8383-- if (any (\t -> case matchClause i x t of
8484-- Right _ -> True