@@ -246,7 +246,7 @@ checkExhaustive env mn numArgs cas = makeResult . first nub $ foldl' step ([init
246246 step :: ([[Binder]], (Either RedudancyError Bool, [[Binder]])) -> CaseAlternative -> ([[Binder]], (Either RedudancyError Bool, [[Binder]]))
247247 step (uncovered, (nec, redundant)) ca =
248248 let (missed, pr) = unzip (map (missingAlternative env mn ca) uncovered)
249− (missed', approx) = splitAt 10000 (concat missed)
249+ (missed', approx) = splitAt 10000 (nub (concat missed))
250250 cond = liftA2 (&&) (or <$> sequenceA pr) nec
251251 in (missed', ( if null approx
252252 then cond