evTree does not handle ImpossibleCase
commit21f2ce346cca7fd683bc48a714f6d88fc2f05abd
authorraichoo <raichoo@googlemail.com>
dateMon 11 Mar 2013, 11:29 (14 years ago)
parent69d3216
src/Core/Evaluate.hs+1
@@ -281,6 +281,7 @@ eval traceon ctxt ntimes genv tm opts = ev ntimes [] True [] tm where
281281 Just (altmap, sc) -> evTree ntimes stk top env altmap sc
282282 _ -> return Nothing
283283 _ -> return Nothing
284+ evTree ntimes stk top env amap ImpossibleCase = return Nothing
284285
285286 conHeaded tm@(App _ _)
286287 | (P (DCon _ _) _ _, args) <- unApply tm = True