Caml1999I037 @  'HarnessӠ&Import@+launch_mode;@@*Header_exe@@;testsuite/tools/harness.mliUU@@A@.Header_shebang@@ V V@@ B@@@A@@@@@T@@A@#@@A@*executable;@@(Tendered&header@@,@@@$Zq%Zq@@:D@$dlls@@$boolE@@@2[3[@@HE@'runtime@@&stringQ@@@@\A\@@VF@"idw@@&optionL$Misc)RuntimeID!t@@@@@@Y]Z]@@oG@&searchz@@(Byterntm-search_method@@@i^j^3@@H@@@mZqsn^4@@I@&Custom{@@vckmwcku@@J@'Vanilla|@@ff@@K@@@A@@@@@Y]_@@@@C@A@%phase;@@(Original~@@kk@@R@)Execution@@ll@@S@'Renamed@@o  o  @@T@@@A@@@@@j@@A@Q@A@$mode;@@(Bytecode@@s  s  @@V@&Native@@u ; =u ; E@@W@@@A@@@@@r  @@A@U@A@&config;@@,has_ocamlnat@@@@@z  z  @@Y@,has_ocamlopt@@@@@|  |  @@Z@3has_relative_libdir@@@@@@@@~ Y ]~ Y @@[@2has_runtime_search@@&Config-search_method@@@A  A  !@@\@>launcher_searches_for_ocamlrun@@@@@ C e i C e @@"]@ %target_launcher_searches_for_ocamlrun@@@@@G e iG e @@.^@ɠ+Stdlib__Sys0b'8=OIn.Stdlib__String0 w_OA4D"Q~~+Stdlib__Set0ܔ@Z8XWaa2+Stdlib__Seq0?72#[O.Stdlib__Result0p~ !ԥ//+Stdlib__Map0*4ɇ2.Stdlib__Domain0'Ϳo\0m.K.Stdlib__Digest0#z25I*.Stdlib__Buffer0,I[?z&Stdlib0t0VoS%{<F:$Misc0]\/j*^e*Format_doc0uy@GmWUࠠ&Config0܈[P(N {~Š8CamlinternalFormatBasics0|.e1R$|o,Bytesections0@3\f(Byterntm0udTw|dxv 5Build_path_prefix_map0DGl}%Y5Lhi@@@Caml1999T037d -82C'Harness*ocaml.text&_none_@@A + Test harness support functions and types. ;testsuite/tools/harness.mliOO@@@@@@3@@@@@@#intA;@@#intA@@@@@;@A@$charB;@@$charA@@@@@A@A@&stringQ;@@&stringA@@@@@G@@@%bytesC;@@%bytesA@@@@@M@@@%floatD;@@%floatA@@@@@S@@@$boolE;@@%falsec@@]@$trued@@c@@@A@@@@@d@A@$unitF;@@"()e@@n@@@A@@@@@o@A@ #exnG;@@@A@@@@@s@@@#effH;@@O@A@A@@@@@@|@@@,continuationI;@@Q@@P@B,continuationA@nY@@@@@@@@@%arrayJ;@@R@A%arrayA@@@@@@@@@ $listK;@@S@A"[]f@@@"::g@@@T@@@ @@A@Y@@@@@@@@&optionL;@@V@A$Noneh@@@$Somei@@@@@A@Y@@@@@@@@)nativeintM;@@)nativeintA@@@@@@@@%int32N;@@%int32A@@@@@@@@%int64O;@@%int64A@@@@@@@@&lazy_tP;@@X@A&lazy_tA@Y@@@@@@@@ 5extension_constructorR;@@5extension_constructorA@@@@@@@@*floatarrayS;@@*floatarrayA@@@@@@@@&iarrayT;@@Y@A&iarrayA@Y@@@@@@@@ *atomic_locU;@@Z@A*atomic_locA@@@@@@ @@@ .Assert_failure`#@@@@@J@@@@@@@@[@@A!=ocaml.warn_on_literal_pattern%@&@0Division_by_zero]#@@@A+ . .@+End_of_file\#$@@@A366@'FailureY#,@'@@A<??@0Invalid_argumentX#5@0@@AE$H#H@-Match_failureV#>@@=@9@;@@a@@AV5Y4Y@)Not_foundZ#O@@@A^=a<a@-Out_of_memoryW#W@@@AfEiDi@.Stack_overflow^#_@@@AnMqLq@.Sys_blocked_io_#g@@@AvUyTy@)Sys_error[#o@j@@A^]@:Undefined_recursive_modulea#x@@w@s@u@@h@@Aon@:Continuation_already_takenb#@@@Awv@&Stdlib@A&ImportARCJRCP@b@@БA++launch_modeBTT@@;@@*Header_exe@@UU@)ocaml.docȐ 3 Executable launcher (see {v stdlib/header*.c v}). UU@@@@@@@A@.Header_shebang@@VV@ & Shebang ({v #! v}) interpreter line. VV>@@@@@@@B@@@A@@@@@T@* @ Mechanism used by a tendered bytecode image to find a runtime. SWYSW@@@@@@@A@@@@#BBU@@/@@@C@?>@>>@@@>@>@#::V8@)@@@;Q98@88@@@8@8@@A@4\#32@22@@@2@2@@3@@A@Q@A+*executableC)Y]d*Y]n@@;@@(Tendered&header@@@@@;Zq{  @@@@@@@VY@,has_ocamlopt@@@@@ WI|  J|  @ 4 {v [$(NATIVE_COMPILER)] v} - {v Makefile.config v} W}  X}  X@@@@@@@pZ@3has_relative_libdir@@0@@@ Z@@@ \h~ Y ]i~ Y @ g {v $(TARGET_LIBDIR_IS_RELATIVE) v} and {v $(TARGET_LIBDIR) v} - {v Makefile.build_config v} v  w@  @@@@@@@[@2has_runtime_search@@&Config-search_method@@@7A  A  !@ѐ 7 {v $(RUNTIME_SEARCH) v} - {v Makefile.build_config v} B " (B " d@@@@@@@\@>launcher_searches_for_ocamlrun@@W@@@:C e iC e @될 Indicates whether bytecode executables in the compiler distribution a launcher that is capable of searching PATH to find ocamlrun. This used to be the behaviour for native Windows. D  F + d@@@@@@@]@ %target_launcher_searches_for_ocamlrun@@q@@@=G e iG e @ Indicates whether the executable launcher used by ocamlc is capable of searching PATH to find ocamlrun. This used to be the behaviour for native Windows. H  J4P@@@@@@@^@@6843@33@@@3@3@#//*KQq@@@Ш@г2$boolKQsKQw@@:İ@@=@@A@9U76@66@@@6@6@#22-N@@@Ш@г5$bool$N%N@@=@@@@@D@<r9:9@99@@@9@9@#55&8Per@@@Ш@г8$listAPeBPe@г=$listJPe{KPe@гB&stringSPetTPez@@J@@@O @@@T@@W@@K@IjGF@FF@@@F@F@@A@Bu@?@??@@@?@?@@3mllmmmmm@*@ANM@@A@QKA@A@A@^XA@@3yxxyyyyy@7`Z@A |RCST@@ ! Types (opened in other modules) QQB@@@@@@@RCC@@ࠐ&ImportVV@@A3@ @A@~A@A@A@A@@,+@++@@@+@+@( @AV@@3@@A@#exeX!%X!(@б@г&stringX!+X!1@@ @@@5@@г&stringX!5X!;@@ @@@B@@@@@@@G @@@X!! @4 J [exe "foo"] is ["foo"] on Linux (and Cygwin) and ["foo.exe"] on Windows. Y<<Y<@@@@@@@d@@@D @@@@@@f7no_caml_executable_name[[@г̠$bool[[@@ @@@3@}]6@A@@@![ @k [true] if the [caml_executable_name] runtime function is not implemented on this platform, which means that it is not guaranteed to be possible to work out the absolute path of the currently-running executable. .\/^P@@@@@@@Ge@@@{B@@@@@@!*erase_fileE`F`@б@г&stringP`Q`@@ @@@3RQQRRRRR@:M8@A@@г$unit_```@@ @@@@@@@@@@ @@@l` @ [erase_file file] calls [Sys.remove file], wrapped with the usual dances required on Windows to try to be sure that the file is actually deleted. yazbO@@@@@@@f@@@@@@@@@3#libdQUdQX@б@г$modedQ[dQ_@@ @@@3@La8@A@@б@гs&stringdQcdQi@@ @@@@@г&stringdQmdQs@@ @@@@@@@@@@# @@@+@@ @@(.@@@dQQ@ \ [lib mode file] appends [".cma"] if [mode = Bytecode] or [".cmxa"] if [mode = Native]. ettf@@@@@@@g@@"@%쐠@@@@@@G)files_forhh@б.source_and_cmiг$boolii@@ @@@3@bw:@A@@б@гp$mode ii@@ @@@@@б@г㠐&stringi i@@ @@@ @@б@г$list+i,i@г&string5i6i@@ @@@9@@@@@@> @@г$listGi)Hi-@г&stringQi"Ri(@@ @@@U@@@@@@Z @@@%@@ @@_,@@@G@@ @@dJ@@@[@@ @@i^#@@zʠu@@@@@@@sui.@@ @xh1@ % [files_for ~source_and_cmi mode name files] adds filenames to [files] for the {i name}{v .ml v} and {i name}{v .cmi v} if [~source_and_cmi:true] and also {i name}{v .cmo v} or {i name}{v .cmx v} depending on [mode]. If [mode] is [Native], then the assembled object is also added. j..mX@@@@@@@h@@A@@@@@@@,fail_becauseoZ^oZj@б@г'format4oZoZ@А!a@G@3@>@AoZnoZp@@гc$unitoZroZv@@ @@@@@г&stringoZxoZ~@@ @@@ @@А!b@G@*oZoZ@@@?5"@@@4oZm@@@А!a>9oZoZ@@@@@E@@@ @@@oZZ @? [fail_because fmt] displays a formatted message on [stderr], followed by a new line and then aborts the harness with code 1.  p q@@@@@@@ i@@@O @@@@@@_9ocamlc_fails_after_rename s s8@б@г&config $s; %sA@@ @@@3 & % % & & & & &@x8@A@@г蠐$bool 3sE 4sI@@ @@@@@@@@@@ @@@ @s @ \ [true] if the {v ocamlc v} command will not execute after the prefix has been renamed.  MtJJ Nu@@@@@@@ fj@@@ a@@@@@@3'pp_path dw ew@б&prefixг 8&string qx rx@@ @@@3 s r r s s s s s@Nc:@A@@б-bindir_suffixг K&string x x@@ @@@@@б-libdir_suffixг \&string x x@@ @@@$@@б)test_rootг m&string y  y@@ @@@5@@б@г#&Format)formatter y y@  y y#@@@@@@M @@б@г &string y' y-@@ @@@\@@г ~$unit y1 y5@@ @@@i@@@@@@@n @@@)@@ @@s1@@OF@@ @@x y@@f]@@ @@~ x@@}t@@ @@ x!@@@@ @@ x'@@@ w*@N  [pp_path ~prefix ~bindir_suffix ~libdir_suffix ~test_root f path] jumps through some mildly convoluted hoops to create slightly more readable output by substituting some recognised paths with shell-like variables. It applies the following transformations: - ["$bindir"] or ["$libdir"] if [path] is exactly [~bindir_suffix] or [~libdir_suffix] (this captures passing those two variabes to the test programs) - if [path] begins with [~prefix] then the text is replaced with ["$prefix"] (which can create ["$prefix.new/"], etc.). Additionally, if the next part of [path] after the following directory separator is [bindir_suffix] or [libdir_suffix] then this is replaced with ["$bindir"] or ["$libdir"] (i.e. this can generate ["$prefix.new/$bindir"] but not ["$prefix.new/foo/$bindir"] - if [path] begins [~test_root] (i.e. the current directory) then this is replaced with ["$PWD"] but unlike [~prefix] either nothing must follow or the next character must be a directory separator. (i.e. it generates ["$PWD/"] but never ["$PWDnew/"]) Both simpler and more convoluted ways of doing this are available. On Windows, the comparisons treat forward and back slashes as being the same.  z66 @@@@@@@@ *k@@:@^ %@@@@@@@@t@@d=@@@b@B@<@@1@@3 0 / / 0 0 0 0 0@3@A@ H************************************************************************ 9A@@ :A@L@ H  ?BMM @BM@ H OCaml  EC FC@ H  KD LD3@ H David Allsopp, University of Cambridge & Tarides  QE44 RE4@ H  WF XF@ H Copyright 2025 David Allsopp Ltd.  ]G ^G@ H  cH dHg@ H All rights reserved. This file is distributed under the terms of  iIhh jIh@ H the GNU Lesser General Public License version 2.1, with the  oJ pJ@ H special exception on linking described in the file LICENSE.  uK vKN@ H  {LOO |LO@ H************************************************************************ M M@ ,* Test harness support functions and types.  "* Types (opened in other modules)  A* Mechanism used by a tendered bytecode image to find a runtime.  4* Executable launcher (see {v stdlib/header*.c v}). ˠ '* Shebang ({v #! v}) interpreter line. 6* Kinds of executable ˠ +* Tendered bytecode image. Executable uses the given mechanism to locate a suitable runtime to execute the image. [dlls] is [true] if the bytecode image requires additional C libraries to be loaded. [runtime] is the runtime system which it ultimately attempts to exec.  * {v -custom v} bytecode executable. The executable {e is} the OCaml bytecode runtime, with the bytecode image appended to the file.  C* Normal executable, produced by a linker and not further altered. 堠7* Test harness phases. ߠ 7 Compiler installed in its original configured prefix.  k k@ Executing programs built by the compiler installed in its original prefix after the compiler has been moved to a different prefix.  l n u @ > Compiler moved to a different prefix from its configuration.  o   o  @0 Tooling modes.  q   q  @1 Bytecode OCaml.  t  % t  :@/ Native OCaml.  v F L v F _@ (* Compiler installation's configuration  <* {v [$(INSTALL_OCAMLNAT)] v} - {v Makefile.build_config v}  5* {v [$(NATIVE_COMPILER)] v} - {v Makefile.config v} x h* {v $(TARGET_LIBDIR_IS_RELATIVE) v} and {v $(TARGET_LIBDIR) v} - {v Makefile.build_config v} \ 8* {v $(RUNTIME_SEARCH) v} - {v Makefile.build_config v} A * Indicates whether bytecode executables in the compiler distribution a launcher that is capable of searching PATH to find ocamlrun. This used to be the behaviour for native Windows. * * Indicates whether the executable launcher used by ocamlc is capable of searching PATH to find ocamlrun. This used to be the behaviour for native Windows.  {* True if ocamlc uses a shebang-style header rather than an executable header for tendered bytecode executables.  >* True if the Runtime ID is being used for filename mangling. 堠 z* Sorted list of basenames of libraries to test. Derived from {v [$(OTHERLIBRARIES)] v} - {v Makefile.config v} Ġ K* [exe "foo"] is ["foo"] on Linux (and Cygwin) and ["foo.exe"] on Windows.  * [true] if the [caml_executable_name] runtime function is not implemented on this platform, which means that it is not guaranteed to be possible to work out the absolute path of the currently-running executable.  * [erase_file file] calls [Sys.remove file], wrapped with the usual dances required on Windows to try to be sure that the file is actually deleted. t ]* [lib mode file] appends [".cma"] if [mode = Bytecode] or [".cmxa"] if [mode = Native].  &* [files_for ~source_and_cmi mode name files] adds filenames to [files] for the {i name}{v .ml v} and {i name}{v .cmi v} if [~source_and_cmi:true] and also {i name}{v .cmo v} or {i name}{v .cmx v} depending on [mode]. If [mode] is [Native], then the assembled object is also added. n * [fail_because fmt] displays a formatted message on [stderr], followed by a new line and then aborts the harness with code 1.  ]* [true] if the {v ocamlc v} command will not execute after the prefix has been renamed.  * [pp_path ~prefix ~bindir_suffix ~libdir_suffix ~test_root f path] jumps through some mildly convoluted hoops to create slightly more readable output by substituting some recognised paths with shell-like variables. It applies the following transformations: - ["$bindir"] or ["$libdir"] if [path] is exactly [~bindir_suffix] or [~libdir_suffix] (this captures passing those two variabes to the test programs) - if [path] begins with [~prefix] then the text is replaced with ["$prefix"] (which can create ["$prefix.new/"], etc.). Additionally, if the next part of [path] after the following directory separator is [bindir_suffix] or [libdir_suffix] then this is replaced with ["$bindir"] or ["$libdir"] (i.e. this can generate ["$prefix.new/$bindir"] but not ["$prefix.new/foo/$bindir"] - if [path] begins [~test_root] (i.e. the current directory) then this is replaced with ["$PWD"] but unlike [~prefix] either nothing must follow or the next character must be a directory separator. (i.e. it generates ["$PWD/"] but never ["$PWDnew/"]) Both simpler and more convoluted ways of doing this are available. On Windows, the comparisons treat forward and back slashes as being the same. @(./ocamlc)-nostdlib"-I(./stdlib"-g0-strict-sequence*-principal(-absname"-w8+a-4-9-40-41-42-44-45-48+-warn-error"+a*-bin-annot/-strict-formats"-I/testsuite/tools"-I%utils"-I'parsing"-I&typing"-I(bytecomp"-I,file_formats"-I&lambda"-I*middle_end"-I2middle_end/closure"-I2middle_end/flambda"-I=middle_end/flambda/base_types"-I'asmcomp"-I&driver"-I(toplevel"-I%tools"-I'runtime"-I1otherlibs/dynlink"-I-otherlibs/str"-I4otherlibs/systhreads"-I.otherlibs/unix"-I8otherlibs/runtime_events"-I/testsuite/tools"-I/testsuite/tools"-I/testsuite/tools"-c : ; N/home/ci-ocaml/builds64/workspace/precheck/flambda/false/label/ocaml-ppc-64-be B76543210/.-,+*)('&%$#"! @@0168&q8PG\u ,H3 X W W X X X X X@ V@@5Build_path_prefix_map0DGl}%Y5Lhi0udTw|dxv ,Bytesections0@3\f8CamlinternalFormatBasics0|.e1R$|oȐ0܈[P(N {~Š*Format_doc0uy@GmWUࠠ 06la7̖nU0]\/j*^e&Stdlib0t0VoS%{<F:.Stdlib__Buffer0,I[?z.Stdlib__Digest0#z25I*.Stdlib__Domain0'Ϳo\0m.K.Stdlib__Either0HD ?|>.Stdlib__Format0b HvkR/Stdlib__Hashtbl0(L%bԠ+Stdlib__Map0*4ɇ2@06la7̖nAf@@P `@ C @  @]`@ 2y@@C=K q@ړ@1!@@ߐM@@^@E @ M W@.  @@i@ }@@P.  @@@   6 @  @  b@ِװC0@ݒ @֕@@@P@@