Caml1999I037,.Cmm_invariants#run@&Stdlib&Format)formatter@@@@@@#Cmm'fundecl@@@@@$boolE@@@@@@@@:asmcomp/cmm_invariants.mlicc@@+E@@@G.Cmm_invariants0.> CV8yᠠ(Warnings0Ef{&)Unit_info0'T Χ@aR%Types0"|Vȷ`X .Type_immediacy00$ jbv\"k&)Targetint0ﲵ+^| y栠%Subst0=aqT/!p+-Stdlib__Uchar0=H^V9>ɠ+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:%Shape0 M``ll)Primitive0dU=\I/}$Path0k.tbGmᠠ)Parsetree0v o[pY Y+Outcometree0BuG^)= 9c $Misc0Bpg]?[q)Longident0wP q;ɡ(Location0nBɊOn?7~ؠ)Load_path0,j " nn7ݠ&Lambda0x_edT-uq,Identifiable0]/*N %Ident0>ЃzV)j⠠*Format_doc0uy@GmWUࠠ#Env0S B2)Debuginfo0_ |PooGq*Data_types0v\3,Svh#Cmm0ϝI1R*Cmi_format0`M{?w}@0CamlinternalLazy0zY# #4#-8CamlinternalFormatBasics0|.e1R$|o5Build_path_prefix_map0DGl}%Y5Lhi+Backend_var0Xʮz{9`z(Asttypes0eT$BbRM dc@@@Caml1999T037iC.Cmm_invariants*ocaml.text&_none_@@A 3 Check a number of continuation-related invariants :asmcomp/cmm_invariants.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#run۠cc@б@г&Format)formattercc@ cc@@@@@@K @@б@г#Cmm'fundecl#Cmmcc@ cc@@@@@@ʰ @@г$boolcc@@ @@@ װ@@@@@!@@"ܰ @@@4@@# @@$<@@@c@)ocaml.doc [run ppf fundecl] analyses the given function, and returns whether any errors were encountered (with corresponding error messages printed on the given formatter). `br@@@@@@@E@@$@ @@@@@@@q"@@3@s$@A@ H************************************************************************ A@@A@L@ H BMMBM@ H OCaml CC@ H D D3@ H Vincent Laviron, OCamlPro %E44&E4@ H +F,F@ H Copyright 2017 OCamlPro SAS 1G2G@ H 7H8Hg@ H All rights reserved. This file is distributed under the terms of =Ihh>Ih@ H the GNU Lesser General Public License version 2.1, with the CJDJ@ H special exception on linking described in the file LICENSE. IKJKN@ H OLOOPLO@ H************************************************************************UMVM@ 4* Check a number of continuation-related invariants [  Currently, this checks that : - Every use of a continuation occurs within the scope of its handler - Exit instructions take the same number of arguments as their handler. - In every function declaration, a given continuation can only be declared in a single handler. This is intended to document what invariants the backend can rely upon. The first two would trigger errors later, and the last one, while harmless for now, is not that hard to ensure, could be useful for future work on the backend, and helped detect a code duplication bug. These invariants are not checked by default, but the check can be turned on with the -dcmm-invariants compilation flag. ^Q$$_^@ * [run ppf fundecl] analyses the given function, and returns whether any errors were encountered (with corresponding error messages printed on the given formatter). n@-./boot/ocamlc)-nostdlib"-I&./boot*-use-prims2runtime/primitives"-g0-strict-sequence*-principal(-absname"-w8+a-4-9-40-41-42-44-45-48+-warn-error"+a*-bin-annot/-strict-formats"-I'asmcomp"-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"-c ?/home/ci/builds/workspace/main/flambda/false/label/ocaml-alpine >10/.-,+*)('&%$#"! @@0.fd_yQt3@@@(Asttypes0eT$BbRM dc+Backend_var0Xʮz{9`z5Build_path_prefix_map0DGl}%Y5Lhi8CamlinternalFormatBasics0|.e1R$|o0CamlinternalLazy0zY# #4#-*Cmi_format0`M{?w}@0ϝI1R0.> CV8yᠠ*Data_types0v\3,Svh)Debuginfo0_ |PooGq#Env0S B2*Format_doc0uy@GmWUࠠ%Ident0>ЃzV)j⠠,Identifiable0]/*N &Lambda0x_edT-uq)Load_path0,j " nn7ݠ(Location0nBɊOn?7~ؠ)Longident0wP q;ɡ$Misc0Bpg]?[q+Outcometree0BuG^)= 9c )Parsetree0v o[pY Y$Path0k.tbGmᠠ)Primitive0dU=\I/}%Shape0 M``ll&Stdlib0t0VoS%{<F:.Stdlib__Buffer0,I[?z.Stdlib__Digest0#z25I*.Stdlib__Domain0'Ϳo\0m.K.Stdlib__Either0HD ?|>.Stdlib__Format00FClW/Stdlib__Hashtbl0(L%bԠ,Stdlib__Lazy0$1mlࠠ.Stdlib__Lexing0^m|e+Stdlib__Map0*4ɇ2ɠ%Subst0=aqT/!p+)Targetint0ﲵ+^| y栠.Type_immediacy00$ jbv\"k&%Types0"|Vȷ`X )Unit_info0'T Χ@aR(Warnings0Ef{&@0.> CV8yAAC@@@@@@@@@@@@@@@@@P@@