META Issue: formatting did not stabilize after 10 iterations

[hhugo]

Describe the bug
Follows #985
There are many occurrences of the Formatting did not stabilize after 10 iterations bug.
I'm opening this dedicated issue to track progress about this bug.

Here is a list of problematic files found in opam-repository (extracted from #985)

bddapron.2.3.3/bdd/cond.mli
bddapron.2.3.3/bdd/cond.ml
dolmen_type.0.9/src/model/bitv.ml
stog_server.0.20.0/lib/tmap.mli
bitvec-sexp.2.5.0/lib/bap_c/bap_c_abi.mli
bare.2.5.0/lib/bap_c/bap_c_abi.mli
plasma.0.6.2/src/pfs_namenode/nn_alloc_balanced.ml
plasma.0.6.2/src/pfs_namenode/nn_elect.ml
plasma.0.6.2/src/pfs_namenode/nn_blockmap.ml
plasma.0.6.2/src/pfs_namenode/nn_commit.ml
plasma.0.6.2/src/pfs_namenode/nn_monitor.ml
plasma.0.6.2/src/plasmaclient/plasma_inodecache.ml
plasma.0.6.2/src/pfs_namenode/nn_state.ml
plasma.0.6.2/src/pfs_namenode/nn_db.ml
plasma.0.6.2/src/plasmasupport/plasma_util.ml
plasma.0.6.2/src/pfs_namenode/nn_coord.ml
plasma.0.6.2/src/mr_framework/mapred_sched1.ml
plasma.0.6.2/src/pfs_datanode/dn_manager.ml
plasma.0.6.2/src/pfs_nfs3/nfs3d_manager.ml
plasma.0.6.2/src/plasmaclient/plasma_client.ml
plasma.0.6.2/src/mr_framework/mapred_sched.ml
obrowser.1.1.1/axo/AXOHtml.ml
obrowser.1.1.1/axo/AXOWidgets.ml
plasma.0.6.2/src/mr_framework/mapred_io.ml
libzipperposition.2.1/src/demo/resolution/resolution1.ml
libzipperposition.2.1/src/core/Unif_intf.ml
kind2.2.0.0/src/model.ml
pacomb.1.1/lib/comb.ml
capnp.3.5.0/src/runtime/structPointer.ml
capnp.3.5.0/src/runtime/listPointer.ml
ocamlbuild.0.14.2+win/src/ocaml_specific.ml
tezt-tezos.17.1/src/lib_epoxy_tx/tx_rollup.ml
ppx_netblob.1.2.1/src/ppx_netblob.ml
gopcaml-mode.0.0.6/gopcaml_state.ml
lablgtk3-sourceview3.3.1.3/src/glib.mli
bitvec.2.5.0/lib/bap_c/bap_c_abi.mli
shcaml.0.2.1/examples/downsample.ml
shcaml.0.2.1/doc/tutorial.ml
coccinelle.1.1.1/bundles/menhirLib/menhir-20181113/src/LRijkstra.ml
monads.2.5.0/lib/bap_c/bap_c_abi.mli
ocaml-http.0.1.6/examples/threads.ml
stog_extern.0.20.0/lib/tmap.mli
logtk.2.1/src/demo/resolution/resolution1.ml
logtk.2.1/src/core/Unif_intf.ml
stog_rel_href.0.20.0/lib/tmap.mli
dolmen_loop.0.9/src/model/bitv.ml
goblint.2.1.0/src/solvers/td3.ml
goblint.2.1.0/src/analyses/base.ml
bitvec-order.2.5.0/lib/bap_c/bap_c_abi.mli
stog_noexec.0.20.0/lib/tmap.mli
stog_sitemap.0.20.0/lib/tmap.mli
stog_multi_doc.0.20.0/lib/tmap.mli
lablgtk3-gtkspell3.3.1.3/src/glib.mli
cordova-plugin-fcm.1.0/cordova_fcm.mli
simple-bmc.0.0.1/src/type.ml
menhirLib.20230608/src/LRijkstraClassic.ml
menhirLib.20230608/src/LRijkstraFast.ml
ocaml-variants.5.2.0+trunk/testsuite/tests/weak-ephe-final/weaklifetime2.ml
ocaml-variants.5.2.0+trunk/testsuite/tests/backtrace/backtrace2.ml
alba.0.4.4/ocaml/alba1/signature.ml
alba.0.4.4/ocaml/alba1/term_table.ml
alba.0.4.4/ocaml/alba1/context.ml
alba.0.4.4/ocaml/alba1/class_table.ml
alba.0.4.4/ocaml/alba1/term.ml
alba.0.4.4/ocaml/alba1/proof_context.ml
lem.2022-12-10/src/typed_ast.ml
gtk-light.0.0.1/myocamlbuild.ml
coq-core.8.17.1/kernel/cooking.ml
coq-core.8.17.1/kernel/indtypes.ml
coq-core.8.17.1/kernel/reduction.ml
coq-core.8.17.1/kernel/cClosure.ml
stog_dot.0.20.0/lib/tmap.mli
stog_rdf.0.20.0/lib/tmap.mli
regular.2.5.0/lib/bap_c/bap_c_abi.mli
stog_markdown.0.20.0/lib/tmap.mli
ocaml-src.5.0.dev/testsuite/tests/weak-ephe-final/weaklifetime2.ml
ocaml-src.5.0.dev/testsuite/tests/backtrace/backtrace2.ml
stk_iconv.0.1.0/lib/textbuffer.ml
coq-stdlib.8.17.1/kernel/cooking.ml
coq-stdlib.8.17.1/kernel/indtypes.ml
coq-stdlib.8.17.1/kernel/reduction.ml
coq-stdlib.8.17.1/kernel/cClosure.ml
ocamlfind-secondary.1.9.6/src/findlib/fl_lint.ml
rmlbuild.0.14.0-00/src/ocaml_specific.ml
bitvec-binprot.2.5.0/lib/bap_c/bap_c_abi.mli
jenga.v0.11.0/lib/api.mli
vg.0.9.4/db/arrowhead.ml
vg.0.9.4/db/illusions.ml
ocamlspot.4.07.0.2.3.2/tests/test.ml
ocamlspot.4.07.0.2.3.2/tests/functor_call.ml
SZXX.3.0.1/src/xml.mli
why.2.41/jc/jc_typing.ml
why.2.41/src/encoding_mono.ml
why.2.41/src/encoding_mono_inst.ml
why.2.41/jc/jc_interp.ml
why.2.41/src/smtlib.ml
why.2.41/src/encoding_mono2.ml
why.2.41/src/theoryreducer.ml
why.2.41/src/z3.ml
dolmen_bin.0.9/src/model/bitv.ml
coq.8.17.1/kernel/cooking.ml
coq.8.17.1/kernel/indtypes.ml
coq.8.17.1/kernel/reduction.ml
coq.8.17.1/kernel/cClosure.ml
ocsfml.2.0/OcsfmlWindow/ocsfmlWindow.mli
dolmen.0.9/src/model/bitv.ml
opam-lib.1.3.1/src/core/opamProcess.mli
opam-lib.1.3.1/src/format/opamTypes.mli
lwt_named_threads.0.1/lib/lwt_mark.ml
spdiff.0.1/localcocci/parsing_cocci/comm_assoc.ml
ocp_reveal.0.1/src/reveal.ml
spdiff.0.1/localcocci/parsing_cocci/iso_pattern.ml
stog_all.0.20.0/lib/tmap.mli
menhir.20230608/src/LRijkstraClassic.ml
menhir.20230608/src/LRijkstraFast.ml
planck.2.2.0/test/expr.ml
stog.0.20.0/lib/tmap.mli
ogre.2.5.0/lib/bap_c/bap_c_abi.mli
ppx_deriving_qcheck.0.4.0/src/core/QCheck.mli
qcheck-ounit.0.21.1/src/core/QCheck.mli
stog_plugins.0.20.0/lib/tmap.mli
advi.2.0.0/src/rc.mli
merlin-extend.0.6.1/extend_protocol.ml
ocaml-base-compiler.5.1.0~beta1/testsuite/tests/weak-ephe-final/weaklifetime2.ml
ocaml-base-compiler.5.1.0~beta1/testsuite/tests/backtrace/backtrace2.ml
nit.0.6/argE.ml
extprot.1.7.0/runtime/limits.mli
not-ocamlfind.0.10/local-packages/ocamlfind/src/findlib/fl_lint.ml
ketrew.3.2.1/src/lib/engine.ml
yurt.0.6/example/example.ml
coqide-server.8.17.1/kernel/cooking.ml
coqide-server.8.17.1/kernel/indtypes.ml
coqide-server.8.17.1/kernel/reduction.ml
coqide-server.8.17.1/kernel/cClosure.ml
graphlib.2.5.0/lib/bap_c/bap_c_abi.mli
alphaCaml.20061214/tool/kind.ml
ocaml-secondary-compiler.4.08.1-1/testsuite/tests/misc/weaklifetime2.ml
ocaml-secondary-compiler.4.08.1-1/testsuite/tests/backtrace/backtrace2.ml
stog_asy.0.20.0/lib/tmap.mli
ocaml-webworker.0.0.1/ocaml_webworker/merlin_lite/src/extend/extend_protocol.ml
qcheck-alcotest.0.21.1/src/core/QCheck.mli
squirrel.0.1/src/reduction.ml
squirrel.0.1/src/equiv.ml
ocaml-gist.0.0.1/ocaml_webworker/merlin_lite/src/extend/extend_protocol.ml
tezt-performance-regression.17.1/src/lib_epoxy_tx/tx_rollup.ml
camlp4.4.14+1/camlp4/boot/camlp4boot.ml
0install-solver.2.18/src/tests/test_sat.ml
dolmen_lsp.0.9/src/model/bitv.ml
ocamlfind.1.9.6/src/findlib/fl_lint.ml
stog_writing.0.20.0/lib/tmap.mli
lablgtk3.3.1.3/src/glib.mli
archsat.1.1/src/core/ext_logic.ml
archsat.1.1/src/middle/pipe.ml
archsat.1.1/src/core/ext_rewrite.ml
archsat.1.1/src/proof/logic.ml
archsat.1.1/src/main.ml
archsat.1.1/src/proof/term.ml
archsat.1.1/src/util/escape.ml
lemonade.0.6.0/ppx/ppx_lemonade.ml
cordova-plugin-push-notifications.1.1.2/cordova_push.mli
zipperposition.2.1/src/demo/resolution/resolution1.ml
zipperposition.2.1/src/core/Unif_intf.ml
sibylfs-lem.0.4.0/src/typed_ast.ml
cil.1.7.3/src/cil.mli
cil.1.7.3/src/frontc/cabs2cil.ml
cil.1.7.3/src/cil.ml
morbig.0.11.0/src/CST.mli
morbig.0.11.0/src/engine.ml
morbig.0.11.0/src/prelexerState.ml
qcheck-core.0.21.1/src/core/QCheck.mli
beluga.1.0/src/core/context.ml
boomerang.1.1.0/lib/binterp.ml
qcheck.0.21.1/src/core/QCheck.mli
lablgtk.2.18.13/src/glib.mli
ocaml-data-notation.0.0.11/test/data/oasis-examples/PropList.ml
stog_server_multi.0.20.0/lib/tmap.mli
flowtype.0.94.0/src/services/inference/types_js.ml
flowtype.0.94.0/src/typing/env.ml
flowtype.0.94.0/src/common/utils/utils_js.ml
flowtype.0.94.0/src/server/command_handler/commandHandler.ml
flowtype.0.94.0/src/typing/statement.ml
flowtype.0.94.0/src/typing/flow_js.ml
stog_nocaml.0.20.0/lib/tmap.mli
0install.2.18/src/tests/test_sat.ml
lablgtk3-goocanvas2.3.1.3/src/glib.mli
stk.0.1.0/lib/textbuffer.ml
dolmen_model.0.9/src/model/bitv.ml
hdfs.0.4/src/hdfs.mli
hdfs.0.4/src/hdfs.ml
frama-c-base.15.0/src/kernel_services/ast_data/alarms.mli
frama-c-base.15.0/src/kernel_services/plugin_entry_points/db.mli
frama-c-base.15.0/src/kernel_services/ast_data/ast.ml
frama-c-base.15.0/src/libraries/datatype/datatype.ml
frama-c-base.15.0/src/kernel_services/analysis/dataflow2.ml
frama-c-base.15.0/src/kernel_services/abstract_interp/fval.ml
frama-c-base.15.0/src/kernel_services/ast_queries/filecheck.ml
frama-c-base.15.0/src/kernel_services/abstract_interp/offsetmap.ml
frama-c-base.15.0/src/plugins/pdg/build.ml
frama-c-base.15.0/src/kernel_services/ast_queries/cil.ml
frama-c-base.15.0/src/plugins/value/domains/gauges/gauges_domain.ml
oci.0.3/src/Oci_Git.ml
libra-tk.1.1.2/src/idspn/idspn.ml
clangml.4.8.0/clangml/clang__ast.ml
opam-monorepo.0.3.6/duniverse/0install/src/tests/test_sat.ml
zipperposition-tools.2.1/src/demo/resolution/resolution1.ml
zipperposition-tools.2.1/src/core/Unif_intf.ml
rtime.0.9.3/src/rtime.mli
linksem.0.8/papers/oopsla-elf-linking-2016/artefact/linker/lem/src/typed_ast.ml
coqide.8.17.1/kernel/cooking.ml
coqide.8.17.1/kernel/indtypes.ml
coqide.8.17.1/kernel/reduction.ml
coqide.8.17.1/kernel/cClosure.ml
posix-clock.0.4.0-0/src/posix_clock.mli
text-tags.2.5.0/lib/bap_c/bap_c_abi.mli
gopcaml-mode-merlin.0.0.6/gopcaml_state.ml
bap.2.5.0/lib/bap_c/bap_c_abi.mli
0install-gtk.2.18/src/tests/test_sat.ml
menhirSdk.20230608/src/LRijkstraClassic.ml
menhirSdk.20230608/src/LRijkstraFast.ml
batteries.3.6.0/build/myocamlbuild.ml
batteries.3.6.0/examples/benchmark/myocamlbuild.ml
ocamlnet.4.1.9-2/src/netstring/netauth.ml
ocamlnet.4.1.9-2/src/rpc/rpc_proxy.ml
opa-base.1.1.0+4263/compiler/libbsl/bslGeneration.mli
opa-base.1.1.0+4263/compiler/libbsl/bslGeneration.ml
opa-base.1.1.0+4263/compiler/libqmlcompil/qmlTypes.mli
opa-base.1.1.0+4263/compiler/libqmlcompil/typer_w/w_InferErrors.ml
opa-base.1.1.0+4263/compiler/libqmlcompil/typer_w/w_SchemeGenAndInst.mli
opa-base.1.1.0+4263/compiler/libqmlcompil/typer_w/w_Exceptions.ml
opa-base.1.1.0+4263/compiler/libqmlcompil/typer_w/w_SchemeGenAndInst.ml
opa-base.1.1.0+4263/compiler/libqmlcompil/typer_w/w_PublicExport.ml
opa-base.1.1.0+4263/compiler/libqmlcompil/typer_w/w_PrintTypes.ml
opa-base.1.1.0+4263/compiler/libqmlcompil/typer_w/w_ReportErrors.ml

Related issues

• Bug: formatting did not stabilize after 10 iterations. #2454
• Bug: Unable to process a file in xen-api #2057