ocaml-base-compiler

Official release 4.14.0
package ocaml-base-compiler
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library ocamlcommon
Module Diffing_with_keys
type 'a with_pos = {
pos : int;
data : 'a;
}
val with_pos : 'a list -> 'a with_pos list
type ('l, 'r, 'diff) mismatch =
| Name of {
pos : int;
got : string;
expected : string;
types_match : bool;
}
| Type of {
pos : int;
got : 'l;
expected : 'r;
reason : 'diff;
}
type ('l, 'r, 'diff) change =
| Change of ( 'l, 'r, 'diff ) mismatch
| Swap of {
pos : int * int;
first : string;
last : string;
}
| Move of {
name : string;
got : int;
expected : int;
}
| Insert of {
pos : int;
insert : 'r;
}
| Delete of {
pos : int;
delete : 'l;
}

This specialized version of changes introduces two composite changes: Move and Swap

val prefix : Format.formatter -> ( 'l, 'r, 'diff ) change -> unit
module Define (D : Diffing.Defs with type eq := unit) : sig ... end