package patdiff
Install
Dune Dependency
Authors
Maintainers
Sources
md5=ed1fd8166e2e99774432c1e28515f37e
sha512=7833f95ce42eeb17ecbef514eab13a37a0ab125b3c6e7e8af09c5b0efa3be6b971c6c4a40f3d809f1c254c8bc720ddaa46b54ff0514ddb9db0f5be03d99f5fd0
doc/patdiff.kernel/Patdiff_kernel/Configuration/index.html
Module Patdiff_kernel.Configuration
Source
Default amount of context shown around each change in the diff
The following constants were all chosen empirically.
Default cutoff for line-level semantic cleanup. Any match of default_line_big_enough
or more will not be deleted, even if it's surrounded by large inserts and deletes. Raising this quantity can only decrease the number of matches, and lowering it can only increase the number of matches.
Analogous to default_line_big_enough
, but for word-level refinement
Governs the behavior of split_for_readability
. We will only split ranges around matches of size greater than too_short_to_split
. Note that this should always be at least 1, otherwise we will split on a single `Newline token. Raising this quantity will result in less ranges being split, and setting it to infinity is the same as passing in ~interleave:false
.
type t = private {
output : Output.t;
rules : Format.Rules.t;
float_tolerance : Core.Percent.t option;
produce_unified_lines : bool;
unrefined : bool;
keep_ws : bool;
split_long_lines : bool;
interleave : bool;
assume_text : bool;
context : int;
line_big_enough : int;
word_big_enough : int;
shallow : bool;
quiet : bool;
double_check : bool;
mask_uniques : bool;
prev_alt : string option;
next_alt : string option;
location_style : Format.Location_style.t;
warn_if_no_trailing_newline_in_both : bool;
}
val create_exn :
output:Output.t ->
rules:Format.Rules.t ->
float_tolerance:Core.Percent.t option ->
produce_unified_lines:bool ->
unrefined:bool ->
keep_ws:bool ->
split_long_lines:bool ->
interleave:bool ->
assume_text:bool ->
context:int ->
line_big_enough:int ->
word_big_enough:int ->
shallow:bool ->
quiet:bool ->
double_check:bool ->
mask_uniques:bool ->
prev_alt:string option ->
next_alt:string option ->
location_style:Format.Location_style.t ->
warn_if_no_trailing_newline_in_both:bool ->
t
Raises if invariant t
fails.
val override :
?output:Output.t ->
?rules:Format.Rules.t ->
?float_tolerance:Core.Percent.t option ->
?produce_unified_lines:bool ->
?unrefined:bool ->
?keep_ws:bool ->
?split_long_lines:bool ->
?interleave:bool ->
?assume_text:bool ->
?context:int ->
?line_big_enough:int ->
?word_big_enough:int ->
?shallow:bool ->
?quiet:bool ->
?double_check:bool ->
?mask_uniques:bool ->
?prev_alt:string option ->
?next_alt:string option ->
?location_style:Format.Location_style.t ->
?warn_if_no_trailing_newline_in_both:bool ->
t ->
t