Believe '%assert_total' for coverage checking
commit01e4d9c6cf2609de778a35abb48336c55ff059b2
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 11 Dec 2012, 12:56 (14 years ago)
parent267f044
src/Idris/ElabDecls.hs+1−1
@@ -386,7 +386,7 @@ elabClauses info fc opts n_in cs = let n = liftname info n_in in
386386 iputStrLn $ show fc ++
387387 ":warning - Unreachable case: " ++
388388 show (delab ist x)) xs
389− let knowncovering = pcover && cov
389+ let knowncovering = (pcover && cov) || AssertTotal `elem` opts
390390
391391 tree' <- tclift $ simpleCase tcase knowncovering RunTime fc pdef'
392392 logLvl 3 (show tree)