src/Pure/ML/ml_test.ML

   | _ => Position.line_file line file);
 
 
 (* 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)
       | report _ (PTnextSibling tree) = report_tree (tree ())
       | report _ (PTfirstChild tree) = report_tree (tree ())

       put (Pretty.string_of (Pretty.from_ML (pretty_ml message)));
       put (Position.str_of (pos_of_location (the (Context.thread_data ())) location) ^ "\n"));
 
 
     (* 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)) =
               let

                 val this_prefix = make_prefix context;
               in PrettyBlock (ind, consistent, context, map (add_prefix this_prefix) prts) end
           | add_prefix prefix (prt as PrettyString s) =
               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
               |> with_struct ? add_prefix ""

         List.app apply_val values
       end;
 
     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));
 
 
     (* compiler invocation *)