# HG changeset patch
# User wenzelm
# Date 1237915318 -3600
# Node ID d9ca766bf24c683bb0ab3aa225ed19e5f2ecd858
# Parent  83df88b6d082f3537a23f305d914b70d4faf546a
report ML typing;

diff -r 83df88b6d082 -r d9ca766bf24c src/Pure/ML/ml_test.ML
--- a/src/Pure/ML/ml_test.ML	Tue Mar 24 16:11:42 2009 +0100
+++ b/src/Pure/ML/ml_test.ML	Tue Mar 24 18:21:58 2009 +0100
@@ -43,11 +43,13 @@
 
 (* parse trees *)
 
-fun report_parse_tree context =
+fun report_parse_tree context depth =
   let
     val pos_of = pos_of_location context;
-    fun report loc (PTtype types) =  (* FIXME body text *)
-          Position.report Markup.ML_typing (pos_of loc)
+    fun report loc (PTtype types) =
+          PolyML.NameSpace.displayTypeExpression (types, depth)
+          |> pretty_ml |> Pretty.from_ML |> Pretty.string_of
+          |> Position.report_text Markup.ML_typing (pos_of loc)
       | report loc (PTdeclaredAt decl) =
           Markup.markup (Markup.properties (Position.properties_of (pos_of decl)) Markup.ML_def) ""
           |> Position.report_text Markup.ML_ref (pos_of loc)
@@ -96,6 +98,9 @@
 
     (* results *)
 
+    val depth = get_print_depth ();
+    val with_struct = ! PolyML.Compiler.printTypesWithStructureName;
+
     fun apply_result {fixes, types, signatures, structures, functors, values} =
       let
         fun add_prefix prefix (PrettyBlock (ind, consistent, context, prts)) =
@@ -110,9 +115,6 @@
               if prefix = "" then prt else PrettyString (prefix ^ s)
           | add_prefix _ (prt as PrettyBreak _) = prt;
 
-        val depth = get_print_depth ();
-        val with_struct = ! PolyML.Compiler.printTypesWithStructureName;
-
         fun display disp x =
           if depth > 0 then
             (disp x
@@ -143,7 +145,7 @@
 
     fun result_fun (phase1, phase2) () =
      (case phase1 of NONE => ()
-      | SOME parse_tree => report_parse_tree (the (Context.thread_data ())) parse_tree;
+      | SOME parse_tree => report_parse_tree (the (Context.thread_data ())) depth parse_tree;
       case phase2 of NONE => error "Static Errors"
       | SOME code => apply_result (Toplevel.program code));