Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
exn_message FAIL;
authorwenzelm
Wed, 18 Nov 1998 11:12:29 +0100
changeset 5930 41aa67a045f7
parent 5929 890f2f9b926d
child 5931 325300576da7
exn_message FAIL;
src/Pure/Isar/toplevel.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/toplevel.ML	Wed Nov 18 11:03:49 1998 +0100
+++ b/src/Pure/Isar/toplevel.ML	Wed Nov 18 11:12:29 1998 +0100
@@ -233,6 +233,7 @@
 
 fun exn_message TERMINATE = "Exit."
   | exn_message (BREAK _) = "Break."
+  | exn_message (FAIL (exn, msg)) = cat_lines [exn_message exn, msg]
   | exn_message Interrupt = "Interrupt (exec)."
   | exn_message (ERROR_MESSAGE msg) = msg
   | exn_message (THEORY (msg, _)) = msg
isabelle