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.
made SML/NJ happy;
authorwenzelm
Mon, 11 Jul 2011 22:50:29 +0200
changeset 43760 ef8375a4dae4
parent 43759 d93a69672362
child 43761 e72ba84ae58f
made SML/NJ happy; tuned error;
src/Pure/General/output.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/output.ML	Mon Jul 11 22:19:11 2011 +0200
+++ b/src/Pure/General/output.ML	Mon Jul 11 22:50:29 2011 +0200
@@ -96,9 +96,8 @@
   val prompt_fn = Unsynchronized.ref raw_stdout;
   val status_fn = Unsynchronized.ref (fn _: output => ());
   val report_fn = Unsynchronized.ref (fn _: output => ());
-  val raw_message_fn =
-    Unsynchronized.ref
-      (fn _: Properties.T => fn _: output => raise Fail "Output.raw_message undefined");
+  val raw_message_fn: (Properties.T -> output -> unit) Unsynchronized.ref =
+    Unsynchronized.ref (fn _ => fn _ => raise Fail "Output.raw_message undefined in TTY mode");
 end;
 
 fun writeln s = ! Private_Hooks.writeln_fn (output s);
isabelle