Module `Jkind.Violation`

type violation =

| Not_a_subjkind : (Ocaml_typing.Allowance.allowed * 'r1) Ocaml_typing.Types.jkind * ('l * 'r2) Ocaml_typing.Types.jkind * Ocaml_typing.Jkind.Sub_failure_reason.t list -> Ocaml_typing.Jkind.Violation.violation
| No_intersection : 'd Ocaml_typing.Types.jkind * ('l * Ocaml_typing.Allowance.allowed) Ocaml_typing.Types.jkind -> Ocaml_typing.Jkind.Violation.violation

type t

Set ?missing_cmi to mark t as having arisen from a missing cmi

val of_ : 
  context:Ocaml_typing.Jkind.jkind_context ->
  ?missing_cmi:Ocaml_typing.Path.t ->
  Ocaml_typing.Jkind.Violation.violation ->
  Ocaml_typing.Jkind.Violation.t

val is_missing_cmi : Ocaml_typing.Jkind.Violation.t -> bool

Is this error from a missing cmi?

val report_with_offender : 
  offender:(Stdlib.Format.formatter -> unit) ->
  level:int ->
  Stdlib.Format.formatter ->
  Ocaml_typing.Jkind.Violation.t ->
  unit

Prints a violation and the thing that had an unexpected jkind (offender, which you supply an arbitrary printer for).

val report_with_offender_sort : 
  offender:(Stdlib.Format.formatter -> unit) ->
  level:int ->
  Stdlib.Format.formatter ->
  Ocaml_typing.Jkind.Violation.t ->
  unit

Like report_with_offender, but additionally prints that the issue is that a representable jkind was expected.

val report_with_name : 
  name:string ->
  level:int ->
  Stdlib.Format.formatter ->
  Ocaml_typing.Jkind.Violation.t ->
  unit

Simpler version of report_with_offender for when the thing that had an unexpected jkind is available as a string.

Module Jkind.Violation

Module `Jkind.Violation`