diff options
author | Stephane Glondu <steph@glondu.net> | 2024-02-18 11:27:10 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2024-02-18 11:27:10 +0100 |
commit | 895000003597c3f14f1440b942369a79856ff016 (patch) | |
tree | 8ef710e0325f85ab9ec09f8375968f16c7f94e45 /atddiff/src/lib/Atddiff_output_t.ml | |
parent | c7db718bd8afae12e20ac8d58038e170db3d4423 (diff) | |
parent | d0b346d9ba0914a86575396b2a638fcd279837b1 (diff) |
Update upstream source from tag 'upstream/2.15.0'
Update to upstream version '2.15.0'
with Debian dir 24cbe27141ae2f9f69e85a31ebc4a0d8a975edec
Diffstat (limited to 'atddiff/src/lib/Atddiff_output_t.ml')
-rw-r--r-- | atddiff/src/lib/Atddiff_output_t.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/atddiff/src/lib/Atddiff_output_t.ml b/atddiff/src/lib/Atddiff_output_t.ml index c096bd9..fbb2bbe 100644 --- a/atddiff/src/lib/Atddiff_output_t.ml +++ b/atddiff/src/lib/Atddiff_output_t.ml @@ -22,13 +22,13 @@ type incompatibility_kind = type direction = Backward | Forward | Both type finding = { + hash: string; direction: direction; kind: incompatibility_kind; location_old: location option; location_new: location option; - description: string + description: string; + affected_types: string list } -type full_finding = { finding: finding; affected_types: string list } - -type result = { findings: full_finding list } +type result = { findings: finding list } |