Explorar el Código

don't rush metadata argument typing (closes #5663)

Simon Krajewski hace 9 años
padre
commit
7331f44288
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. 1 1
      src/typing/typeload.ml

+ 1 - 1
src/typing/typeload.ml

@@ -1825,7 +1825,7 @@ let check_global_metadata ctx meta f_add mpath tpath so =
 			List.iter (fun e ->
 				if Display.is_display_position (pos e) then begin
 					let e = Display.ExprPreprocessing.process_expr ctx.com e in
-					ignore(type_expr ctx e Value);
+					delay ctx PTypeField (fun _ -> ignore(type_expr ctx e Value));
 				end
 			) args
 		) meta