The Coq mailing list

[Dan Synek <synek AT cs.ru.nl>]

How do I rewrite this code so that the error message gets returned?
Lemma F:False.
match goal with
  | _ => fail "error message"
end.
(It prints the following error message:
User error: No matching clauses for match goal
)
thanks
Dan