Remove a "can't happen" error
This one can happen if there's been an error previously, but we still
want to make a bit of progress on coverage checking.
commit1d0e33c8738fdf551491c1495161003c64bfa6ca
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 22 Apr 2016, 14:01 (11 years ago)
parentc931e38
src/Idris/Coverage.hs+2−1
@@ -671,7 +671,8 @@ checkMP ist i mp = if i > 0
671671 = case lookupTotalExact f (tt_ctxt ist) of
672672 Just (Total _) -> Unchecked -- okay so far
673673 Just (Partial _) -> Partial (Other [f])
674− x -> error $ "CAN'T HAPPEN: " ++ show x ++ " for " ++ show f
674+ x -> Unchecked -- An error elsewhere, set as Unchecked to make
675+ -- some progress
675676 | [TyDecl (TCon _ _) _] <- lookupDef f (tt_ctxt ist)
676677 = Total []
677678 tryPath desc path (e@(f, args) : es) arg