File: patch.mli

package info (click to toggle)
approx 5.10-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 340 kB
  • sloc: ml: 2,220; sh: 42; makefile: 32
file content (21 lines) | stat: -rw-r--r-- 652 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
(* approx: proxy server for Debian archive files
   Copyright (C) 2007  Eric C. Cooper <ecc@cmu.edu>
   Released under the GNU General Public License *)

(* Abstract type representing a sequence of ed commands
   (append, change, or delete) *)

(* Note that "diff --ed" also produces substitute commands of the form
   "s/.././" in the case where a "." text line is emitted as ".." and
   then modified. These are not handled here since valid Debian
   control files cannot contain "." lines. *)

type t

(* Parse a stream of ed commands *)

val parse : in_channel -> t

(* Apply a patch sequence *)

val apply : t -> in_channel -> out_channel -> unit