|
@@ -22,7 +22,6 @@ open Globals
|
|
|
open Lookup
|
|
|
open Define
|
|
|
open NativeLibraries
|
|
|
-open Warning
|
|
|
|
|
|
type package_rule =
|
|
|
| Forbidden
|
|
@@ -265,7 +264,7 @@ type context = {
|
|
|
mutable error_ext : Error.error -> unit;
|
|
|
mutable info : ?depth:int -> ?from_macro:bool -> string -> pos -> unit;
|
|
|
mutable warning : Gctx.warning_function;
|
|
|
- mutable warning_options : Warning.warning_option list list;
|
|
|
+ mutable warning_options : warning_option list list;
|
|
|
mutable get_messages : unit -> compiler_message list;
|
|
|
mutable filter_messages : (compiler_message -> bool) -> unit;
|
|
|
mutable run_command : string -> int;
|
|
@@ -352,7 +351,7 @@ let ignore_error com =
|
|
|
b
|
|
|
|
|
|
let module_warning com m w options msg p =
|
|
|
- if com.display.dms_full_typing then DynArray.add m.m_extra.m_cache_bound_objects (Warning(w,msg,p));
|
|
|
+ if com.display.dms_full_typing then DynArray.add m.m_extra.m_cache_bound_objects (Warning(w,options,msg,p));
|
|
|
com.warning w options msg p
|
|
|
|
|
|
(* Defines *)
|
|
@@ -1110,4 +1109,4 @@ let make_unforced_lazy t_proc f where =
|
|
|
| Error.Error e ->
|
|
|
raise (Error.Fatal_error e)
|
|
|
);
|
|
|
- r
|
|
|
+ r
|