Bläddra i källkod

[display] support Dynamic on typeDefinition

closes #7295
Simon Krajewski 7 år sedan
förälder
incheckning
9b8f48031f
1 ändrade filer med 1 tillägg och 0 borttagningar
  1. 1 0
      src/context/display/displayEmitter.ml

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

@@ -181,6 +181,7 @@ let raise_position_of_type t =
 				| TMono r -> (match !r with None -> raise_position [null_pos] | Some t -> follow_null t)
 				| TLazy f -> follow_null (lazy_type f)
 				| TAbstract({a_path = [],"Null"},[t]) -> follow_null t
+				| TDynamic _ -> !t_dynamic_def
 				| _ -> t
 		in
 		try