浏览代码

don't explore macro results in diagnostics mode (closes #5601)

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

+ 1 - 0
src/typing/typer.ml

@@ -4370,6 +4370,7 @@ and build_call ctx acc el (with_type:with_type) p =
 			!ethis_f();
 			raise (Fatal_error ((error_msg m),p))
 		in
+		let e = if ctx.com.display.DisplayMode.dms_is_diagnostics_run then mk (TMeta((Meta.Extern,[],e.epos),e)) e.etype e.epos else e in
 		ctx.on_error <- old;
 		!ethis_f();
 		e