package patdiff
File Diff using the Patience Diff algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=f4f2b060ea39870e238f5be744e84d1d8030864a02f8fc2368866e4d3d7e1b72
doc/src/patdiff.kernel/file_name.ml.html
Source file file_name.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
open! Core open! Import type t = | Real of { real_name : string ; alt_name : string option } | Fake of string [@@deriving compare, equal] let real_name_exn = function | Real { real_name; alt_name = _ } -> real_name | Fake _ -> raise_s [%message "File_name.real_name_exn got a fake file"] ;; let display_name = function | Real { real_name; alt_name } -> Option.value alt_name ~default:real_name | Fake name -> name ;; let to_string_hum = display_name let append t part = match t with | Real { real_name; alt_name } -> Real { real_name = Filename.concat real_name part ; alt_name = Option.map alt_name ~f:(fun name -> Filename.concat name part) } | Fake name -> Fake (Filename.concat name part) ;; let dev_null = Real { real_name = "/dev/null"; alt_name = None }
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>