Browse Source

[display] don't use doc-gen because it's evil

Simon Krajewski 7 years ago
parent
commit
b5b835f2cc
2 changed files with 1 additions and 2 deletions
  1. 0 1
      src/context/display/displayJson.ml
  2. 1 1
      src/typing/typeload.ml

+ 0 - 1
src/context/display/displayJson.ml

@@ -168,7 +168,6 @@ class display_handler (jsonrpc : jsonrpc_handler) com cs = object(self)
 		com.display <- create mode;
 		Parser.display_mode := mode;
 		Common.define_value com Define.Display "1";
-		Common.define com Define.DocGen;
 		Parser.use_doc := true;
 
 	method set_display_file was_auto_triggered requires_offset is_completion =

+ 1 - 1
src/typing/typeload.ml

@@ -202,7 +202,7 @@ let check_param_constraints ctx types t pl c p =
 		) ctl
 
 let requires_value_meta com co =
-	Common.defined com Define.DocGen || (match co with
+	Common.defined com Define.DocGen || com.display.dms_kind <> DMNone && (match co with
 		| None -> false
 		| Some c -> c.cl_extern || Meta.has Meta.Rtti c.cl_meta)