浏览代码

[display] print back document symbols

Simon Krajewski 7 年之前
父节点
当前提交
ceb3a437e9
共有 1 个文件被更改,包括 8 次插入0 次删除
  1. 8 0
      src/typing/typeloadParse.ml

+ 8 - 0
src/typing/typeloadParse.ml

@@ -40,6 +40,14 @@ let parse_file_from_lexbuf com file p lexbuf =
 			t();
 			raise e
 	in
+	begin match !Parser.display_mode with
+		| DMModuleSymbols (Some "") -> ()
+		| DMModuleSymbols filter when filter = None && Display.is_display_file file ->
+			let ds = DocumentSymbols.collect_module_symbols (filter = None) data in
+			DisplayException.raise_module_symbols (DocumentSymbols.Printer.print_module_symbols com [file,ds] filter);
+		| _ ->
+			()
+	end;
 	t();
 	Common.log com ("Parsed " ^ file);
 	data