Double `<ocaml ...> <ocaml ...>` annotation not merged properly about atd HOT 2 OPEN

Merging the double annotation into one as <ocaml from="Proto" predef> works.

Either we should internally merge these, or issue a warning or error when a double annotation is found.

from atd.

A possible location to do an adhoc merge might be in atd/src/annot.ml, line 12:

let field ~section ~field l =
  let open Option.O in
  List.assoc section l >>= fun (_, l2) -> List.assoc field l2

Instead of choosing the first matching section and look for a matching field there, we could scan the annotation for all matches for section an field in l and proceed according to the number of matches:

• for zero or one match, behaviour is unchanged
• for two or more matches, options are:
  1. Choose first match and warn of duplicate fields (allows ambiguous fields)
  2. Fail with error "duplicate field" (may break stuff)

If this is the right solution and there is a decision on the behaviour, I would give it a try.

That is, if this issue is still relevant :-)

from atd.