David Allsopp

Results 633 comments of David Allsopp

(rebased prior to addressing @damiendoligez's review comments)

I messed up the renaming of the options for `-runtime-search` - pushed back to just having addressed all the other review comments, and I shall re-do that change a bit...

Rebased to the same base as #14244

Rebased on to #14244, with various consequential updates (and current review commits squashed). Renaming of the `-runtime-search` options still to go.

`-runtime-search` options are now `disable` (as before, which is the default behaviour via `--disable-runtime-search`), `fallback` (which was `enable`, now activated by default with `--enable-runtime-search=fallback`), and `enable` (which was `always`, now...

@shym, @damiendoligez - I believe all points are now addressed, and the rename is complete. Once this run has passed CI, I'll rebase on to trunk so that it can...

cf. the new commit https://github.com/ocaml/ocaml/pull/14245/commits/dd4a6190160c63c0f0f4533c81005148d51a0c0b added to the end of the series 🥳

Hopefully final rebase. Thank you @shym and @damiendoligez for the reviewing for this one as well! It's going through [precheck#1089](https://ci.inria.fr/ocaml/job/precheck/1089/) and, assuming nothing gets thrown up by any of the...

I thought that I fixed these by testing on precheck a couple of years ago, but that's definitely worth a look, thanks! The full test is: ```console $ cat hello.ml...

I pushed an extra commit applying the pattern of 7be1ad0 (`OBJECT`..`ENDOBJECT`) so the s390x backend, but are we sure about this... we're emitting `.size` directives for the functions either??