There are quite a lot of non-exhaustive pattern matching in these lines. The code is correct but generate warnings.  What we want is:

- to succeed if all `convert_camlp4_toplevel_phrase` succeed
- to fail with the first error if one of them fails

It is probably best to write a specific function here.