src/Pure/General/position.ML

--- a/src/Pure/General/position.ML	Fri Sep 17 17:31:20 2010 +0200
+++ b/src/Pure/General/position.ML	Fri Sep 17 20:18:27 2010 +0200
@@ -28,9 +28,9 @@
   val properties_of: T -> Properties.T
   val default_properties: T -> Properties.T -> Properties.T
   val markup: T -> Markup.T -> Markup.T
-  val reported_text: Markup.T -> T -> string -> string
-  val report_text: Markup.T -> T -> string -> unit
-  val report: Markup.T -> T -> unit
+  val reported_text: T -> Markup.T -> string -> string
+  val report_text: T -> Markup.T -> string -> unit
+  val report: T -> Markup.T -> unit
   val str_of: T -> string
   type range = T * T
   val no_range: range
@@ -132,12 +132,12 @@
 
 (* reports *)
 
-fun reported_text m (pos as Pos (count, _)) txt =
+fun reported_text (pos as Pos (count, _)) m txt =
   if invalid_count count then ""
   else Markup.markup (markup pos m) txt;
 
-fun report_text markup pos txt = Output.report (reported_text markup pos txt);
-fun report markup pos = report_text markup pos "";
+fun report_text pos markup txt = Output.report (reported_text pos markup txt);
+fun report pos markup = report_text pos markup "";
 
 
 (* str_of *)