summaryrefslogtreecommitdiff
path: root/atddiff/src/lib/Atddiff_output_t.ml
blob: fbb2bbe21939b96f0599a51a6af6cfd88d5afedd (plain)
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
(* Auto-generated from "Atddiff_output.atd" *)
[@@@ocaml.warning "-27-32-33-35-39"]

type variant_info = { variant_name: string }

type position = { path: string; line: int; column: int }

type location = { start: position; end_ (*atd end *): position }

type field_info = { field_name: string }

type incompatibility_kind = 
    Missing_field of field_info
  | Missing_variant of variant_info
  | Missing_variant_argument of variant_info
  | Default_required of field_info
  | Incompatible_type
  | Deleted_type
  | Added_type


type direction =  Backward | Forward | Both 

type finding = {
  hash: string;
  direction: direction;
  kind: incompatibility_kind;
  location_old: location option;
  location_new: location option;
  description: string;
  affected_types: string list
}

type result = { findings: finding list }