-
Mário Pereira authored
If [e1] is a ghost expression but [if e1 then e2 else e3] doesn't, then either [e2] or [e3] (or both) are Eabsurd. If [e] is a ghost expression but [match e with bl] doesn't, then the first pattern in [bl] is irrefutable.
88c5725a