Module Ocaml_typing.Errortrace_reportSource
Functions for reporting core level type errors.
Source
val ambiguous_type :
Merlin_utils.Format_doc.formatter ->
Env.t ->
(Path.t * Path.t) ->
(Path.t * Path.t) list ->
Merlin_utils.Format_doc.t ->
Merlin_utils.Format_doc.t ->
Merlin_utils.Format_doc.t ->
unitSource
val unification :
Merlin_utils.Format_doc.formatter ->
Env.t ->
Errortrace.unification_error ->
?type_expected_explanation:Merlin_utils.Format_doc.t ->
Merlin_utils.Format_doc.t ->
Merlin_utils.Format_doc.t ->
unitSource
val equality :
Merlin_utils.Format_doc.formatter ->
Out_type.type_or_scheme ->
Env.t ->
Errortrace.equality_error ->
Merlin_utils.Format_doc.t ->
Merlin_utils.Format_doc.t ->
unitSource
val moregen :
Merlin_utils.Format_doc.formatter ->
Out_type.type_or_scheme ->
Env.t ->
Errortrace.moregen_error ->
Merlin_utils.Format_doc.t ->
Merlin_utils.Format_doc.t ->
unitSource
val comparison :
Merlin_utils.Format_doc.formatter ->
Out_type.type_or_scheme ->
Env.t ->
Errortrace.comparison_error ->
Merlin_utils.Format_doc.t ->
Merlin_utils.Format_doc.t ->
unitSource
val subtype :
Merlin_utils.Format_doc.formatter ->
Env.t ->
Errortrace.Subtype.error ->
string ->
unit