package merlin-lib

You can search for identifiers within the package.

in-package search v0.2.0

Merlin's libraries

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (10)

Authors

T

The Merlin team

Maintainers

D

defree@gmail.com

Sources

merlin-4.16-501.tbz

sha256=da5bf309b040645c292ae4572cc6a0a700dbd2bcfc996ac13c8e5c3836c21e26

sha512=99eba17b2bdec5411d239093f4e8e11ada79b2b84ae88074a1b46e47eb836bbf8cb7836c472c22e7f9e68cff1b9ea6d9b9989b70055c3277edb4cddc4a86460c

doc/merlin-lib.ocaml_utils/Ocaml_utils/Diffing_with_keys/index.html

Module `Ocaml_utils.Diffing_with_keys`Source

When diffing lists where each element has a distinct key, we can refine the diffing patch by introducing two composite edit moves: swaps and moves.

Swaps exchange the position of two elements. Swap cost is set to 2 * change - epsilon. Moves change the position of one element. Move cost is set to delete + addition - epsilon.

When the cost delete + addition is greater than change and with those specific weights, the optimal patch with Swaps and Moves can be computed directly and cheaply from the original optimal patch.

Sourcetype 'a with_pos = {

pos : int;
data : 'a;

}

Sourceval with_pos : 'a list -> 'a with_pos list

Sourcetype ('l, 'r, 'diff) mismatch =

| Name of {
1. pos : int;
2. got : string;
3. expected : string;
4. types_match : bool;
}
| Type of {
1. pos : int;
2. got : 'l;
3. expected : 'r;
4. reason : 'diff;
}

Sourcetype ('l, 'r, 'diff) change =

| Change of ('l, 'r, 'diff) mismatch
| Swap of {
1. pos : int * int;
2. first : string;
3. last : string;
}
| Move of {
1. name : string;
2. got : int;
3. expected : int;
}
| Insert of {
1. pos : int;
2. insert : 'r;
}
| Delete of {
1. pos : int;
2. delete : 'l;
}

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

Sourceval prefix : Format.formatter -> ('l, 'r, 'diff) change -> unit

Sourcemodule Define (D : Diffing.Defs with type eq := unit) : sig ... end