diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-16 18:01:26 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-05-16 18:01:26 +0000 |
commit | e9820ad33cd3ba4d34f7b51ffcf19216f4104ccc (patch) | |
tree | 719cf47df7bb93615a8a40dff407efc0945ef38a /README | |
parent | a343907e8c60ac3a33de6660de243c5beb9aeaa3 (diff) |
Repair the "Fail" command after recent changes in exception handling
For that, I introduce a explicit classification function
is_user_error : exn -> bool, instead of the previous hack
of explain_exn_default_aux (fun () -> raise e).
By the way, clean a bit explain_exn_default_aux : many cases
are just printed fine by default's Printexn.to_string (for example
Not_found).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14129 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions