Module MessageMg.MakeSource

Parameters

module M : MSG

Signature

Sourcetype t
Sourcetype msg =
  1. | Msg_Only of M.t
  2. | Msg_and_Full_Location of M.t * string option * location option
  3. | Msg_and_Location of M.t * location option
  4. | Msg_in_Full_Context of M.t
Sourceexception Stop
Sourceval empty : context -> t
Sourceval set_context : context -> t -> t
Sourceval register : ?blocking:bool -> msg -> t -> t
Sourceval issue_msg : ?filename:string -> ?location:location -> t -> t