package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Unification traces are used to explain unification errors when printing error messages

type position =

type desc = {

}

type 'a diff = {

}

type 'a escape =

| Constructor of Path.t
| Univ of Types.type_expr
(*
The type_expr argument of Univ is always a Tunivar _, we keep a type_expr to track renaming in Printtyp
*)
| Self
| Module_type of Path.t
| Equation of 'a

Scope escape related errors

type variant =

Errors for polymorphic variants

type obj =

type 'a elt =

| Diff of 'a diff
| Variant of variant
| Obj of obj
| Escape of {
1. context : Types.type_expr option;
2. kind : 'a escape;
}
| Incompatible_fields of {
1. name : string;
2. diff : Types.type_expr diff;
}
| Rec_occur of Types.type_expr * Types.type_expr

type t = desc elt list

val diff : Types.type_expr -> Types.type_expr -> desc elt

val map_diff : ('a -> 'b) -> 'a diff -> 'b diff

map_diff f {expected;got} is {expected=f expected; got=f got}

val flatten : (Types.type_expr -> Types.type_expr -> 'a) -> t -> 'a elt list

flatten f trace flattens all elements of type desc in trace to either f x.t expanded if x.expanded=Some expanded or f x.t x.t otherwise

val swap : t -> t

Switch expected and got