@@ -671,7 +671,8 @@ checkMP ist i mp = if i > 0
671 = case lookupTotalExact f (tt_ctxt ist) of
671 = case lookupTotalExact f (tt_ctxt ist) of
672 Just (Total _) -> Unchecked -- okay so far
672 Just (Total _) -> Unchecked -- okay so far
673 Just (Partial _) -> Partial (Other [f])
673 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 | [TyDecl (TCon _ _) _] <- lookupDef f (tt_ctxt ist)
676 | [TyDecl (TCon _ _) _] <- lookupDef f (tt_ctxt ist)
676 = Total []
677 = Total []
677 tryPath desc path (e@(f, args) : es) arg
678 tryPath desc path (e@(f, args) : es) arg