Jelajahi Sumber

add k=metadata for @type requests

Simon Krajewski 9 tahun lalu
induk
melakukan
10c785bc1a
3 mengubah file dengan 4 tambahan dan 2 penghapusan
  1. 1 0
      src/display/display.ml
  2. 2 1
      src/main.ml
  3. 1 1
      src/typing/typeload.ml

+ 1 - 0
src/display/display.ml

@@ -10,6 +10,7 @@ type display_field_kind =
 	| FKMethod
 	| FKType
 	| FKPackage
+	| FKMetadata
 
 exception Diagnostics of string
 exception Statistics of string

+ 2 - 1
src/main.ml

@@ -167,7 +167,8 @@ let complete_fields com fields =
 				| Display.FKVar -> "var"
 				| Display.FKMethod -> "method"
 				| Display.FKType -> "type"
-				| Display.FKPackage -> "package")
+				| Display.FKPackage -> "package"
+				| Display.FKMetadata -> "metadata")
 			| None -> ""
 		in
 		if details then

+ 1 - 1
src/typing/typeload.ml

@@ -1835,7 +1835,7 @@ let check_global_metadata ctx meta f_add mpath tpath so =
 			List.iter (fun (meta,_,p) ->
 				if Display.is_display_position p then begin
 					let all,_ = MetaInfo.get_documentation_list() in
-					let all = List.map (fun (s,doc) -> (s,t_dynamic,None,Some doc)) all in
+					let all = List.map (fun (s,doc) -> (s,t_dynamic,Some Display.FKMetadata,Some doc)) all in
 					raise (Display.DisplayFields all)
 				end
 			) meta