@@ -281,6 +281,7 @@ eval traceon ctxt ntimes genv tm opts = ev ntimes [] True [] tm where
281 Just (altmap, sc) -> evTree ntimes stk top env altmap sc
281 Just (altmap, sc) -> evTree ntimes stk top env altmap sc
282 _ -> return Nothing
282 _ -> return Nothing
283 _ -> return Nothing
283 _ -> return Nothing
284+ evTree ntimes stk top env amap ImpossibleCase = return Nothing
285 conHeaded tm@(App _ _)
286 conHeaded tm@(App _ _)
286 | (P (DCon _ _) _ _, args) <- unApply tm = True
287 | (P (DCon _ _) _ _, args) <- unApply tm = True