Caml1999I037„•¦¾UBR<:6 3Simple_value_approx Á )boxed_intm; À!aõá@ýŒ@A¢ à %Int32@À³ À³£%int32N@@õá@ý‘@@õá@ý’°À *middle_end/flambda/simple_value_approx.mliXŒŽÀXŒ§@@±"A@ à %Int64@À³ À³£%int64O@@õá@ý@@õá@ý°ÀY¨ªÀY¨Ã@@±6B@ à )Nativeint@À³* À³£)nativeintM@@õá@ý@@õá@ýŽ°À)ZÄÆÀ*ZÄç@@±JC@@@A@ @ @@@@°À/Wxx@@A@±O@@A@ Á ,value_stringn;@@¡ ð (contents@@À³£&optionL À³£&stringQ@@õá@ý”@@õá@ý•°ÀI]ÿÀJ]ÿ@@±jE@ ð $size@@À³£#intA@@õá@ý“°ÀW^?AÀX^?L@@±xF@@@A@@@@@°À[\ééÀ\_MN@@@@±|D@A@ Á 0unresolved_valueo;@@¢ à 2Set_of_closures_id À³¡’2Set_of_closures_id!t@@õá@ý—@@°ÀsbhjÀtbh–@@±”H@ à &Symbol( À³¡’&Symbol!t@@õá@ý–@@°À…c—™À†c—@@±¦I@@@A@@@@@°À‰aPP@@@@±©G@A@ Á 2unknown_because_ofp;@@¢ à 0Unresolved_value; À³:@@õá@ý˜@@°ÀœfÉËÀfÉñ@@±½K@ à %Other<@@°À¥gòôÀ¦gòû@@±ÆL@@@A@@@@@°À©e¯¯@@@@±ÉJ@A@ Á !tq;@@¡ ð %descrF@@À³ %descrr@@õá@ý °À¼vƒÀ½v‘@@±ÝV@ ð #var_@@À³ˆ À³¡’(Variable!t@@õá@ýž@@õá@ýŸ°ÀÑw’”ÀÒw’¬@@±òW@ ð &symbol`@@À³ À’ @À³¡d!t@@õá@ý› @À³ À³œ@@õá@ý™@@õá@ýš@õá@ýœ@@õá@ý°Àóx¯Àôx×@@±X@@@@@@@@@°À÷unnÀøyØÙ@@@@±M@A@ ÁD;@@¢ à +Value_blocka À³¡’#Tag!t@@õá@ý² À³£%arrayJ À³i@@õá@ý°@@õá@ý±@@°À|ïñÀ|ï@@±:Y@ à )Value_intp À³Ò@@õá@ý¯@@°À'}À(}&@@±HZ@ à *Value_charq À³£$charB@@õá@ý®@@°À7~')À8~'=@@±X[@ à +Value_floatr À³ À³£%floatD@@õá@ý¬@@õá@ý@@°ÀL>@ÀM>]@@±m\@ à /Value_boxed_ints À³a À!aõá@ý©@@õá@ýª @À³ª@@õá@ý«°Àc€^`Àd€^Ž@@±„]@ à 5Value_set_of_closurest À³ 5value_set_of_closuresw@@õá@ý¨@@°Às‘ÀtÁ@@±”^@ à -Value_closureu À³ -value_closures@@õá@ý§@@°Àƒ‚ÂÄÀ„‚Âä@@±¤_@ à ,Value_stringv À³\@@õá@ý¦@@°À‘ƒåçÀ’ƒå@@±²`@ à 1Value_float_arrayw À³ 1value_float_arrayy@@õá@ý¥@@°À¡„À¢„0@@±Âa@ à -Value_unknownx À³ @@õá@ý¤@@°À¯…13À°…1X@@±Ðb@ à ,Value_bottomy@@°À¸†Y[À¹†Yi@@±Ùc@ à ,Value_externz À³¡’)Export_id!t@@õá@ý£@@°ÀÊ‡jlÀË‡j‰@@±ëd@ à ,Value_symbolˆ À³¡W!t@@õá@ý¢@@°ÀÚˆŠŒÀÛˆŠ¦@@±ûe@ à 0Value_unresolved‰ À³L@@õá@ý¡@@°Àç‰§©Àè‰§Ï@@±f@@@@@@@@@°Àë{ÛÛ@@@@±N@B@ Áp;@@¡ ð /set_of_closuresŠ@@À³â@@õá@ý´°ÀùÀú/@@±g@ ð *closure_id@@À³¡’*Closure_id!t@@õá@ý³°À Ž02À Ž0L@@±*h@@@A@@@@@°À ŒÀMN@@@@±.O@B@ Á 5function_declarationst;@@¡ ð /is_classic_modež@@À³£$boolE@@õá@ý¹°À!’vxÀ"’vŽ@@±Bi@ ð 2set_of_closures_idŸ@@À³¡¾!t@@õá@ý¸°À/“‘À0“»@@±Pj@ ð 6set_of_closures_origin@@À³¡’6Set_of_closures_origin!t@@õá@ý·°À?”¼¾À@”¼ð@@±`k@ ð $funsè@@À³¡¡€#Map!t À³ 4function_declarationv@@õá@ýµ@@õá@ý¶°ÀV•ñóÀW•ñ@@±wl@@@@@@@@@°ÀZ‘PPÀ[– @@@@±{P@B@ Á -function_bodyu;@@¡ ð .free_variables@@À³¡¡¡#Set!t@@õá@ýÂ°Àp™@BÀq™@b@@±‘m@ ð ,free_symbolsL@@À³¡¡ü#Set!t@@õá@ýÁ°À€šceÀšc@@±¡n@ ð $stubM@@À³m@@õá@ýÀ°ÀŒ›‚„À›‚@@±o@ ð #dbg\@@À³¡’)Debuginfo!t@@õá@ý¿°Àœœ‘“Àœ‘¥@@±½p@ ð &inline²@@À³¡’&Lambda0inline_attribute@@õá@ý¾°À¬¦¨À¦É@@±Ís@ ð *specialise³@@À³¡4specialise_attribute@@õá@ý½°ÀºžÊÌÀ»žÊõ@@±Ût@ ð ,is_a_functor´@@À³§@@õá@ý¼°ÀÆŸöøÀÇŸö@@±çu@ ð $bodyù@@À³¡’'Flambda!t@@õá@ý»°ÀÖ À× @@±÷v@ ð $pollú@@À³¡:.poll_attribute@@õá@ýº°Àä¡!#Àå¡!?@@±w@@@@@@@@@°Àè˜""Àé¢@A@@@@± Q@B@ Áœ;@@¡ ð .closure_originö@@À³¡’.Closure_origin!t@@õá@ýÇ°Àü¥hjÀý¥hŒ@@±x@ ð ¶ms@@À³£$listK À³¡’)Parameter!t@@õá@ýÅ@@õá@ýÆ°À¦À¦©@@±4y@ ð -function_body@@À³ß À³Â@@õá@ýÃ@@õá@ýÄ°À$§ª¬À%§ªÑ@@±Ez@@@@@@@@@°À(¤CCÀ)¨ÒÓ@@@@±IR@B@ Á¾;@@¡ ð .function_decls @@À³$@@õá@ýÚ°À8µ«À9µ«Ô@@±Y{@ ð *bound_varsV@@À³¡¡’2Var_within_closure#Map!t À³6@@õá@ýØ@@õá@ýÙ°ÀN¶Õ×ÀO¶Õÿ@@±o|@ ð )free_varsW@@À³¡¡#Map!t À³¡.specialised_to@@õá@ýÖ@@õá@ý×°Àe·Àf·4@@±†}@ ð 0invariant_paramsa@@À³¡¡’&Stdlib$Lazy!t À³¡¡°#Map!t À³¡¡¸#Set!t@@õá@ýÓ@@õá@ýÔ@@õá@ýÕ°À‰¸57ÀŠ¸5o@@±ª~@ ð )recursiveb@@À³¡¡$$Lazy!t À³¡¡Ñ#Set!t@@õá@ýÑ@@õá@ýÒ°À¡¹prÀ¢¹p”@@±Â@ ð $sizec@@À³¡¡<$Lazy!t À³¡¡é#Map!t À³| À³k@@õá@ýÍ@@õá@ýÎ@@õá@ýÏ@@õá@ýÐ°ÀÃº•—ÀÄº•¿@@±ä@@ ð 0specialised_argsd@@À³¡¡#Map!t À³¡.specialised_to@@õá@ýË@@õá@ýÌ°ÀÚ½"$ÀÛ½"]@@±ûA@ ð *freshening@@À³¡¡’*Freshening+Project_var!t@@õá@ýÊ°Àì¿ ¢Àí¿ È@@± B@ ð 6direct_call_surrogates¼@@À³¡¡ô#Map!t À³¡û!t@@õá@ýÈ@@õá@ýÉ°ÀÀÉËÀÀÉ@@±$C@@@@@@@@@°À´……ÀÁ@@@@±(S@B@ Á :value_float_array_contentsx;@@¢ à (Contents½ À³ À³@@õá@ýÛ@@õá@ýÜ@@°ÀÄ')À Ä'>@@±@D@ à 2Unknown_or_mutable¾@@°À(Å?AÀ)Å?U@@±IE@@@A@@@@@°À,Ã@@@@±LT@B@ Á“;@@¡ ð (contents¿@@À³-@@õá@ýÞ°À;ÈqsÀ<Èq™@@±\F@ ð $sizeÀ@@À³ò@@õá@ýÝ°ÀGÉšœÀHÉš§@@±hG@@@A@@@@@°ÀKÇWWÀLÊ¨©@@@@±lU@B@ ° %descrzÐÀÁ@ÀªÀ³D@@õá@ýß@õá@ýàÀ³¥@@õá@ýá@õá@ýâ@°À^ÍååÀ_Íåû@@±H@@ ° &descrs{ÐÀÁ@ÀªÀ³g À³[@@õá@ýã@@õá@ýä@õá@ýåÀ³o À³Á@@õá@ýæ@@õá@ýç@õá@ýè@°À{ÎüüÀ|Îü@@±œI@@ ° %print|ÐÀÁ@ÀªÀ³¡¡&Format)formatter@@õá@ýé@õá@ýêÀÁ@ÀªÀ³@@õá@ýë@õá@ýìÀ³£$unitF@@õá@ýí@õá@ýî@õá@ýï@°ÀœÑXXÀÑX@@±½J@@ ° +print_descr}ÐÀÁ@ÀªÀ³¡¡<&Format)formatter@@õá@ýð@õá@ýñÀÁ@ÀªÀ³þ@@õá@ýò@õá@ýóÀ³!@@õá@ýô@õá@ýõ@õá@ýö@°À»Ò‚‚À¼Ò‚µ@@±ÜK@@ ° ;print_value_set_of_closures~ÐÀÁ@ÀªÀ³¡¡[&Format)formatter@@õá@ý÷@õá@ýøÀÁ@ÀªÀ³f@@õá@ýù@õá@ýúÀ³@@@õá@ýû@õá@ýü@õá@ýý@°ÀÚÓ¶¶ÀÛÖ @@±ûL@@ ° ;print_function_declarationsÐÀÁ@ÀªÀ³¡¡z&Format)formatter@@õá@ýþ@õá@ýÿÀÁ@ÀªÀ³¾@@õá@þ@õá@þÀ³_@@õá@þ@õá@þ@õá@þ@°Àù× ÀúÚ a j@@±M@@ ° À³@@õá@þ?@õá@þ@@°Àó#¾#¾Àó#¾#Ö@@±>R@@ ° *value_char…ÐÀÁ@ÀªÀ³ù@@õá@þA@õá@þBÀ³@@õá@þC@õá@þD@°À1ô#×#×À2ô#×#ñ@@±RS@@ ° +value_float†ÐÀÁ@ÀªÀ³ù@@õá@þE@õá@þFÀ³.@@õá@þG@õá@þH@°ÀEõ#ò#òÀFõ#ò$@@±fT@@ ° /value_any_float‡ÐÀ³:@@õá@þI@°ÀQö$$ÀRö$$&@@±rU@@ ° 9value_mutable_float_arrayˆÐÀÁ$sizeÀªÀ³@@õá@þJ@õá@þKÀ³P@@õá@þL@õá@þM@°Àg÷$'$'Àh÷$'$T@@±ˆV@@ ° ;value_immutable_float_array‰ÐÀÁ@ÀªÀ³f À³d@@õá@þN@@õá@þO@õá@þPÀ³h@@õá@þQ@õá@þR@°Àø$U$UÀ€ø$U$ƒ@@± W@@ ° ,value_stringŠÐÀÁ@ÀªÀ³;@@õá@þS@õá@þTÀÁ@ÀªÀ³X À³V@@õá@þU@@õá@þV@õá@þWÀ³‰@@õá@þX@õá@þY@õá@þZ@°À ù$„$„À¡ù$„$°@@±ÁX@@ ° /value_boxed_int‹ÐÀÁ@ÀªÀ³¸ À!iõá@þ]@@õá@þ[@õá@þ\ÀÁ@Àª @õá@þ^À³¥@@õá@þ_@õá@þ`@õá@þa@°À¼ú$±$±À½ú$±$Þ@@±ÝY@@ ° +value_blockŒÐÀÁ@ÀªÀ³¡Ä!t@@õá@þb@õá@þcÀÁ@ÀªÀ³Å À³Ã@@õá@þd@@õá@þe@õá@þfÀ³Ç@@õá@þg@õá@þh@õá@þi@°ÀÞû$ß$ßÀßû$ß%@@±ÿZ@@ ° ,value_externÐÀÁ@ÀªÀ³¡)!t@@õá@þj@õá@þkÀ³Ý@@õá@þl@õá@þm@°Àôü%%Àõü%%*@@±[@@ ° ,value_symbolŽÐÀÁ@ÀªÀ³¡„!t@@õá@þn@õá@þoÀ³ó@@õá@þp@õá@þq@°À ý%+%+Àý%+%K@@±+\@@ ° ,value_bottomÐÀ³ÿ@@õá@þr@°Àþ%L%LÀþ%L%`@@±7]@@ ° 0value_unresolvedÐÀÁ@ÀªÀ³‹@@õá@þs@õá@þtÀ³@@õá@þu@õá@þv@°À)ÿ%a%aÀ*ÿ%a%@@±J^@@ ° -value_closure‘ÐÀÁ‘+closure_varÀªÀ³ü À³¡t!t@@õá@þw@@õá@þx@õá@þyÀÁ‘3set_of_closures_varÀªÀ³ À³¡„!t@@õá@þz@@õá@þ{@õá@þ|ÀÁ‘6set_of_closures_symbolÀªÀ³! À³¡ß!t@@õá@þ}@@õá@þ~@õá@þÀÁ@ÀªÀ³ú@@õá@þ€@õá@þÀÁ@ÀªÀ³¡m!t@@õá@þ‚@õá@þƒÀ³`@@õá@þ„@õá@þ…@õá@þ†@õá@þ‡@õá@þˆ@õá@þ‰@°Àw'#'#Àx 'Ê'Ð@@±˜_@@ ° 5value_set_of_closures’ÐÀÁ‘3set_of_closures_varÀªÀ³N À³¡Á!t@@õá@þŠ@@õá@þ‹@õá@þŒÀÁ@ÀªÀ³'@@õá@þ@õá@þŽÀ³ƒ@@õá@þ@õá@þ@õá@þ‘@°Àš(c(cÀ›(½(Ã@@±»`@@ ° .make_const_int“ÐÀÁ@ÀªÀ³V@@õá@þ’@õá@þ“À’ @À³¡á!t@@õá@þ• @À³£@@õá@þ”@õá@þ–@õá@þ—@°Àº)M)MÀ»)M)v@@±Ûa@@ ° /make_const_char”ÐÀÁ@ÀªÀ³–@@õá@þ˜@õá@þ™À’ @À³¡!t@@õá@þ› @À³Ã@@õá@þš@õá@þœ@õá@þ@°ÀÚ)w)wÀÛ)w)¢@@±ûb@@ ° /make_const_bool•ÐÀÁ@ÀªÀ³Ì@@õá@þž@õá@þŸÀ’ @À³¡!!t@@õá@þ¡ @À³ã@@õá@þ @õá@þ¢@õá@þ£@°Àú)£)£Àû)£)Î@@±c@@ ° 0make_const_float–ÐÀÁ@ÀªÀ³Â@@õá@þ¤@õá@þ¥À’ @À³¡A!t@@õá@þ§ @À³@@õá@þ¦@õá@þ¨@õá@þ©@°À)Ï)ÏÀ)Ï)ü@@±;d@@ ° 4make_const_boxed_int—ÐÀÁ@ÀªÀ³2 À!iõá@þ¬@@õá@þª@õá@þ«ÀÁ@Àª @õá@þÀ’ @À³¡i!t@@õá@þ¯ @À³+@@õá@þ®@õá@þ°@õá@þ±@õá@þ²@°ÀB)ý)ýÀC)ý*;@@±ce@@ ° 4make_const_int_named˜ÐÀÁ@ÀªÀ³þ@@õá@þ³@õá@þ´À’ @À³¡‰%named@@õá@þ¶ @À³K@@õá@þµ@õá@þ·@õá@þ¸@°Àb*=*=Àc*=*p@@±ƒf@@ ° 5make_const_char_named™ÐÀÁ@ÀªÀ³>@@õá@þ¹@õá@þºÀ’ @À³¡©%named@@õá@þ¼ @À³k@@õá@þ»@õá@þ½@õá@þ¾@°À‚*q*qÀƒ*q*¦@@±£g@@ ° 5make_const_bool_namedšÐÀÁ@ÀªÀ³t@@õá@þ¿@õá@þÀÀ’ @À³¡É%named@@õá@þÂ @À³‹@@õá@þÁ@õá@þÃ@õá@þÄ@°À¢ *§*§À£ *§*Ü@@±Ãh@@ ° 6make_const_float_named›ÐÀÁ@ÀªÀ³j@@õá@þÅ@õá@þÆÀ’ @À³¡é%named@@õá@þÈ @À³«@@õá@þÇ@õá@þÉ@õá@þÊ@°ÀÂ!*Ý*ÝÀÃ!*Ý+@@±ãi@@ ° :make_const_boxed_int_namedœÐÀÁ@ÀªÀ³Ú À!iõá@þÍ@@õá@þË@õá@þÌÀÁ@Àª @õá@þÎÀ’ @À³¡%named@@õá@þÐ @À³Ó@@õá@þÏ@õá@þÑ@õá@þÒ@õá@þÓ@°Àê"++Àë"++]@@± j@@ ° 5augment_with_variableÐÀÁ@ÀªÀ³ã@@õá@þÔ@õá@þÕÀÁ@ÀªÀ³¡6!t@@õá@þÖ@õá@þ×À³ð@@õá@þØ@õá@þÙ@õá@þÚ@°À ',4,4À ',4,d@@± (k@@ ° 3augment_with_symbolžÐÀÁ@ÀªÀ³@@õá@þÛ@õá@þÜÀÁ@ÀªÀ³¡ž!t@@õá@þÝ@õá@þÞÀ³ @@õá@þß@õá@þà@õá@þá@°À $*,§,§À %*,§,Ó@@± El@@ ° 9augment_with_symbol_fieldŸÐÀÁ@ÀªÀ³@@õá@þâ@õá@þãÀÁ@ÀªÀ³¡»!t@@õá@þä@õá@þåÀÁ@ÀªÀ³ñ@@õá@þæ@õá@þçÀ³2@@õá@þè@õá@þé@õá@þê@õá@þë@°À I---À J---S@@± jm@@ ° 3replace_description ÐÀÁ@ÀªÀ³B@@õá@þì@õá@þíÀÁ@ÀªÀ³§@@õá@þî@õá@þïÀ³L@@õá@þð@õá@þñ@õá@þò@°À c0--À d0--¶@@± „n@@ ° 1augment_with_kind¡ÐÀÁ@ÀªÀ³\@@õá@þó@õá@þôÀÁ@ÀªÀ³¡Ó*value_kind@@õá@þõ@õá@þöÀ³i@@õá@þ÷@õá@þø@õá@þù@°À €3-÷-÷À 3-÷.*@@± ¡o@@ ° 8augment_kind_with_approx¢ÐÀÁ@ÀªÀ³y@@õá@þú@õá@þûÀÁ@ÀªÀ³¡ð*value_kind@@õá@þü@õá@þýÀ³¡ö*value_kind@@õá@þþ@õá@þÿ@õá@ÿ@°À 6.k.kÀ ¡6.k.µ@@± Áp@@ ° /equal_boxed_int£ÐÀÁ@ÀªÀ³ ¸ À!aõá@ÿ@@õá@ÿ@õá@ÿÀÁ@Àª @õá@ÿÀÁ@ÀªÀ³ È À!bõá@ÿ@@õá@ÿ@õá@ÿÀÁ@Àª @õá@ÿÀ³®@@õá@ÿ @õá@ÿ @õá@ÿ@õá@ÿ@õá@ÿ @°À Í8.·.·À Î8.·.ý@@± îq@@ ° $meet¤ÐÀÁ4really_import_approxÀªÀÁ@ÀªÀ³Ì@@õá@ÿ@õá@ÿÀ³Ï@@õá@ÿ@õá@ÿ@õá@ÿÀÁ@ÀªÀ³Ö@@õá@ÿ@õá@ÿÀÁ@ÀªÀ³Ý@@õá@ÿ@õá@ÿÀ³à@@õá@ÿ@õá@ÿ@õá@ÿ@õá@ÿ@°À ÷À³É@@õá@ÿ?@õá@ÿ@@õá@ÿAÀÁ@ÀªÀ³¡!t@@õá@ÿB@õá@ÿCÀ³2@@õá@ÿD@õá@ÿE@õá@ÿF@õá@ÿG@°À õ\4¾4¾À ö`551@@±}@@ ° .simplify_named®ÐÀÁ@ÀªÀ³ î@@õá@ÿH@õá@ÿIÀÁ@ÀªÀ³¡;%named@@õá@ÿJ@õá@ÿKÀ³…@@õá@ÿL@õá@ÿM@õá@ÿN@°Àb5353Àb535y@@±4~@@ ° 8simplify_named_using_env¯ÐÀÁ@ÀªÀ³ @@õá@ÿO@õá@ÿPÀÁ1is_present_in_envÀªÀÁ@ÀªÀ³¡ e!t@@õá@ÿQ@õá@ÿRÀ³ @@õá@ÿS@õá@ÿT@õá@ÿUÀÁ@ÀªÀ³¡m%named@@õá@ÿV@õá@ÿWÀ³2@@õá@ÿX@õá@ÿY@õá@ÿZ@õá@ÿ[@°ÀDd5{5{ÀEh5Þ5þ@@±e@@ ° =simplify_var_to_var_using_env°ÐÀÁ@ÀªÀ³ =@@õá@ÿ\@õá@ÿ]ÀÁ1is_present_in_envÀªÀÁ@ÀªÀ³¡ –!t@@õá@ÿ^@õá@ÿ_À³ I@@õá@ÿ`@õá@ÿa@õá@ÿbÀ³, À³¡ ¤!t@@õá@ÿc@@õá@ÿd@õá@ÿe@õá@ÿf@°Àsm6¼6¼Àtp77'@@±”€@@ ° ,simplify_var±ÐÀÁ@ÀªÀ³ l@@õá@ÿg@õá@ÿhÀ³G À’ @À³¡½%named@@õá@ÿj @À³ @@õá@ÿi@õá@ÿk@@õá@ÿl@õá@ÿm@°À—r7)7)À˜r7)7[@@±¸@@ Á 0get_field_result²;@@¢ à "Ok© À³ “@@õá@ÿn@@°Àªu7u7wÀ«u7u7€@@±Ëƒ@ à +Unreachableª@@°À³v77ƒÀ´v77@@±Ô„@@@A@@@@@°À·t7]7]@@@@±×‚@A@ ° )get_field³ÐÀÁ@ÀªÀ³ ¯@@õá@ÿo@õá@ÿpÀÁ+field_indexÀªÀ³{@@õá@ÿq@õá@ÿrÀ³6@@õá@ÿs@õá@ÿt@õá@ÿu@°ÀÔ~99ÀÕ~99;@@±õ…@@ Á 8checked_approx_for_block´;@@¢ à %Wrong@@°Àã9]9_Àä9]9f@@±‡@ à "Ok® À³¡ è!t@@õá@ÿx À³ æ À³ ä@@õá@ÿv@@õá@ÿw@@°Àü‚9g9iÀý‚9g9€@@±ˆ@@@A@@@@@°À€9=9=@@@@± †@A@ ° 6check_approx_for_blockµÐÀÁ@ÀªÀ³ ø@@õá@ÿy@õá@ÿzÀ³8@@õá@ÿ{@õá@ÿ|@°À†9Ü9ÜÀ†9Ü:@@±4‰@@ ° 4approx_for_bound_var¶ÐÀÁ@ÀªÀ³ ³@@õá@ÿ}@õá@ÿ~ÀÁ@ÀªÀ³¡æ!t@@õá@ÿ@õá@€À³@@õá@@õá@‚@õá@ƒ@°À0‹:Ë:ËÀ1‹:Ë;@@±QŠ@@ ° @@±â”@ à "Ok» À³ À³¡!t@@õá@“@@õá@” À³j@@õá@’@@°ÀÚ¥>Ž>ÀÛ¥>Ž>Á@@±û•@@@A@@@@@°ÀÞž=u=u@@@@±þ@A@ ° check_approx_for_set_of_closures»ÐÀÁ@ÀªÀ³Ö@@õá@—@õá@˜À³[@@õá@™@õá@š@°Àñª?ˆ?ˆÀòª?ˆ?Ö@@± –@@ Á :checked_approx_for_closure¼;@@¢ à %Wrong¾@@°À ?ú?üÀ ?ú@@@± !˜@ à "Ok¿ À³@@õá@ À³Ò À³¡J!t@@õá@ž@@õá@Ÿ À³Þ À³¡¡!t@@õá@œ@@õá@ À³¹@@õá@›@@°À )®@@À *¯@0@c@@± J™@@@A@@@@@°À -¬?Ø?Ø@@@@± M—@A@ ° 8check_approx_for_closure½ÐÀÁ@ÀªÀ³%@@õá@¡@õá@¢À³H@@õá@£@õá@¤@°À @¶AžAžÀ A¶AžAÜ@@± aš@@ Á .checked_approx_for_closure_allowing_unresolved¾;@@¢ à %WrongÂ@@°À O¹BBÀ P¹BB@@± pœ@ à *UnresolvedÃ À³Á@@õá@¬@@°À \ºBB À ]ºBB@@@± }@ à 'UnknownÄ@@°À e»BABCÀ f»BABL@@± †ž@ à #Unknown_because_of_unresolved_valueÅ À³×@@õá@«@@°À r¼BMBOÀ s¼BMBˆ@@± “Ÿ@ à "OkÆ À³ÿ@@õá@ª À³ D À³¡¼!t@@õá@¨@@õá@© À³ P À³¡ !t@@õá@¦@@õá@§ À³+@@õá@¥@@°À ›½B‰B‹À œ¾BµBè@@± ¼ @@@A@@@@@°À Ÿ¸AÞAÞ@@@@± ¿›@A@ ° ,check_approx_for_closure_allowing_unresolved¿ÐÀÁ@ÀªÀ³—@@õá@@õá@®À³k@@õá@¯@õá@°@°À ²ÂCxCxÀ ³ÄC°Cã@@± Ó¡@@ ° 6check_approx_for_floatÀÐÀÁ@ÀªÀ³«@@õá@±@õá@²À³ † À³@@õá@³@@õá@´@õá@µ@°À ËÇD)D)À ÌÇD)DW@@± ì¢@@ ° 7float_array_as_constantÁÐÀÁ@ÀªÀ³=@@õá@¶@õá@·À³ Ÿ À³ Û À³ž@@õá@¸@@õá@¹@@õá@º@õá@»@°À éÊD£D£À êÊD£Dç@@± £@@ ° 7check_approx_for_stringÂÐÀÁ@ÀªÀ³â@@õá@¼@õá@½À³ ½ À³ »@@õá@¾@@õá@¿@õá@À@°ÀÍE.E.ÀÍE.E^@@±#¤@@ Á 7switch_branch_selectionÃ;@@¢ à /Cannot_be_takenÌ@@°ÀÐEEÀÐEE’@@±2¦@ à ,Can_be_takenÍ@@°ÀÑE“E•ÀÑE“E£@@±;§@ à -Must_be_takenÎ@@°À#ÒE¤E¦À$ÒE¤Eµ@@±D¨@@@A@@@@@°À'ÏE`E`@@A@±G¥@A@ ° %potentially_taken_const_switch_branchÄÐÀÁ@ÀªÀ³ @@õá@Á@õá@ÂÀÁ@ÀªÀ³ é@@õá@Ã@õá@ÄÀ³9@@õá@Å@õá@Æ@õá@Ç@°ÀBÕEùEùÀCÕEùFH@@±c©@@ ° %potentially_taken_block_switch_branchÅÐÀÁ@ÀªÀ³ ;@@õá@È@õá@ÉÀÁ@ÀªÀ³@@õá@Ê@õá@ËÀ³@@õá@Ì@õá@Í@õá@Î@°À]ÖFIFIÀ^ÖFIF˜@@±~ª@@ ° .function_arityÆÐÀÁ@ÀªÀ³@@õá@Ï@õá@ÐÀ³@@õá@Ñ@õá@Ò@°ÀqØFšFšÀrØFšFÊ@@±’«@@ ° ¯@@ ° 5clear_function_bodiesËÐÀÁ@ÀªÀ³ö@@õá@û@õá@üÀ³ù@@õá@ý@õá@þ@°À0òIðIðÀ1òIðJ:@@±Q°@@@„•¦¾bJÄÞ 3Simple_value_approx0¼ Ãc[kð%»S\KÑ (Warnings0¹‘¡ûÓÉÎþEëf¹{²&Š (Variable0?ÄÞÕælçŒµÇeY 2Var_within_closure0Œ``Ý—ÓXFì³R–ÿâ )Unit_info0'Á¸›T•ø¶Î§@aÂR %Types0€"˜Í|VÈ·`ØX ù .Type_immediacy00$ôÍjÌbv\"õkö& #Tag0‹&›Óbé… “ÊrÙ¹ &Symbol03ÉæE´?Yßö¦7÷‘( %Subst0—’í=aëqT£/!p+ -Stdlib__Uchar0þ´=‹ÌH^®V9‚˜>ÌÉ +Stdlib__Sys0öb÷'8ï=OðþIn .Stdlib__String0w_‡OA4D"Q~¾õ~ +Stdlib__Set0ø¯Ü”@Z8XäWåaŽa2 +Stdlib__Seq0 ?¯…¨72#š£[O .Stdlib__Result0pŽ~ !Ô¥Â/”/²‚ö +Stdlib__Map0*4É‡Â2ù .Stdlib__Domain0'Í¿‚Žo\¦0m’š¬.K .Stdlib__Digest0#z25§ÆªÂ¶I*… .Stdlib__Buffer0,å¦I÷ú[?¹Ä÷—z &Stdlib0t0µVoS%{<‰F¡: 0Static_exception0JÕm¹yrqÜ’x-¸º8Éž %Shape0• À³M„´Î``ll§ 6Set_of_closures_origin0!Y‹AÊë _’éXO¼ 2Set_of_closures_id0L‰Èb£O`àÜ©&°öðM *Projection02h‹ÂS xíj56 )Primitive0õÛdU˜=úÑ\IÆ/ø} $Path0¸Ðk.tåb ûÃGêmá )Parsetree0v Ýo[p÷…¯îÓY Y )Parameter0zk^fË2mËÝy£ˆ£1Ù9 +Outcometree0B³u©Gê^)=¾ú 9cÂ 'Numbers0 qàÞ·Heüš‡ù³– 0Mutable_variable0ÈC«ÁQâá·§£$òÜ´‰ $Misc0Ž€Bâõú¾åpg]?[q… )Longident0ØwPqÍ;°œ±É¡ (Location0–ÈnBÉŠÄOn?§ö7~Ø )Load_path0Å,jÚ ¡ö"¡–nn7Ý ,Linkage_name0t–Š¼†ÔˆïK¨1G« &Lambda0®xÏ_eódT Õ-uq 7Internal_variable_names0TbÁg€Ñ¹•äG+L› ,Identifiable0ä]¡/§*N »Ì‡ %Ident0>®Ðƒ²Ðz€V)±j¢â *Freshening0xWŸþ(¥"-9wõV¥öÔ *Format_doc0¯æuy@½…GmWðUà 'Flambda0“¤æVåJíŒÎëÍŸª )Export_id0ÕCJ9D×ŸRaý7Ý·$E #Env0¬–áS—½ ÖïBµ™2 )Debuginfo0_‹·Œí|Po†oÓGq *Data_types0v\ò«É3Ï,¦S€ví¿hø 0Compilation_unit0òöD£lˆ ]wN *Cmi_format0ŸÀø±®µ¡`M¾{?w}@ .Closure_origin0!Hðaðvl³·¨Ú5"_ *Closure_id0 (—ïú‚?ª$ŽŽÏñ /Closure_element0¢ Ç”‰¡¿f#M†ö 2Clambda_primitives0ïØ|&»”Á%ZIÇz 0CamlinternalLazy0é ÈzYØ#¾â #4²ñ#- 8CamlinternalFormatBasics0“…Ä|.e1R¾$½ŠÕ|o 5Build_path_prefix_map0DGl…Ê}Ã%Yÿ5µLhi (Asttypes0ÁeT$B¹b‚RMü Ädc /Allocated_const0—/v«V˜ëÇŸøxšš@„•¦¾ @@Caml1999T037„•¦¾`1—ØOÊãC3Simple_value_approx’° °ž° -ocaml.warning°À *middle_end/flambda/simple_value_approx.mliQ„ˆÀQ„•@ À‘ ²2+a-4-9-30-40-41-42°À Q„—ÀQ„©@@°ÀQ„–ÀQ„ª@°@@@@@°ÀQ„„ÀQ„«@3 @@ @@@§²²²²²²²²²²²²²±±±±±±±±±±±±±±±±±±±±±@£#intA;@@“#intA@@@@@°À&_none_@@ÿA@A@’£$charB;@@“$charA@@@@@ @A@’£&stringQ;@@“&stringA@@@@@@@@’£%bytesC;@@“%bytesA@@@@@@@@’£%floatD;@@“%floatA@@@@@@@@’£$boolE;@@¢ à£%falsec@@%@’ à£$trued@@+@’@@A@@@@@,@A@’£$unitF;@@¢ à£"()e@@6@’@@A@@@@@7@A@’ £#exnG;@@@A@@@@@;@@@’£#effH; À@õá@O@A@A@ @ @@@@D@@@’£,continuationI; À@õá@Q À@õá@P@B“,continuationA@ n Y@ @ @@@@T@@@’£%arrayJ; À@õá@R@A“%arrayA@ @ @@@@_@@@’ £$listK; À@õá@S@A¢ à£"[]f@@l@’ à£"::g À³ @@õá@T@@y@’ @@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\#$@@@Aû ° þþ@’£'FailureY#,@ '@@A ° @’£0Invalid_argumentX#5@ 0@@A ° $#@’£-Match_failureV#>@ À’ @= @9 @;@õá@a@@A ° 5!4!@’£)Not_foundZ#O@@@A& ° =)<)@’£-Out_of_memoryW#W@@@A. ° E1D1@’£.Stack_overflow^#_@@@A6 ° M9L9@’£.Sys_blocked_io_#g@@@A> ° UATA@’£)Sys_error[#o@ j@@AG ° ^J]J@’£:Undefined_recursive_modulea#x@ À’ @w @s @u@õá@h@@AX ° o[n[@’£:Continuation_already_takenb#‰@@@A` ° wcvc@’’&Stdlib@A°•”@ °ž° *ocaml.textn À‘ ² Ä Simple approximations to the runtime results of computations. This pass is designed for speed rather than accuracy; the performance is important since it is used heavily during inlining. °À¹SÀºU9v@@@@@@¥ °¡A +±)boxed_intA °ÀÄWx€ÀÅWx‰@ Ð!aÀõá@|3¸··¸¸¸¸¸@±·; À@õá@{@A@A@ G@ B@@@°ÀØWxxÀÙZÄç@@@@±å@@@A°ÀÜWx}ÀÝWx@@ BA@; @A¢ à %Int32@À³+ À³@@õá@}@@õá@°ÀòXŒŽÀóXŒ§@@±ÿA@ à %Int64@À³> À³!@@õá@€@@õá@‚°ÀY¨ªÀY¨Ã@@±B@ à )Nativeint@À³Q À³@@@õá@ƒ@@õá@…°ÀZÄÆ@@@±$C@@@A@ @ @@@@E@A@B@ #; ;°À!XŒÀ"XŒ•@/@@Ð³= )boxed_int°À+XŒž9@ Ð³A %int32°À3XŒ˜À4XŒ@@Ig°@@@Nh°D@@F@ #B B°À;Y¨¬À@@Ð³K )boxed_int°À_ZÄÞ‡@ Ð³O )nativeint°ÀgZÄÔÀhZÄÝ@@W›°@@@\œ°’@@T@@A@”@@U°”“@ °¡A +±,value_stringB °Àu\éîÀv\éú@@;@@¡ ð (contents@@À³Â À³9@@õá@³@@õá@µ°À‡]ÿÀˆ]ÿ@@±”E@ ð $size@@À³U@@õá@¸°À“^?AÀ”^?L@@± F@@@A@@@@@°À—\ééÀ˜_MN@@@@±¤D@@‘ #" "°ÀŸ]ÿ @@@Ð¨@Ð³% &option°À¨]ÿÀ©]ÿ@ Ð³* &string°À±]ÿÀ²]ÿ@@23œœ@±±ö×E;@@@A@@@@@"@@@@A°@@@<° @@Àª?@õá@¶ @6@ #2 2°-ÀÀ^?E@,@@Ð¨@Ð³5 #int°ÀÉ^?HÀÊ^?K@@=°@@Àª@@õá@¹@<@@A@8@@3¸··¸¸¸¸¸@@A°98@ °¡A +±0unresolved_valueC °ÀÙaPUÀÚaPe@@;@@¢ à 2Set_of_closures_id À³¡’2Set_of_closures_id!t@@õá@)@@°ÀìbhjÀíbh–@@±ùH@ à &Symbol( À³¡’&Symbol!t@@õá@À@@°Àþc—™Àÿc—@@±I@@@A@@@@@°ÀaPP@@@@±G@@ #( (°À bhlÀ bh~@@ Ð³* ¡ 2Set_of_closures_id°Àbh‚Àbh”@ /°Àbh•-@°.@@83@±±i§I;@@@A@@@@@@@@@A°4@@@@6@ #2 2°À%c—›À&c—¡@'@ Ð³4 ¡ &Symbol°À1c—¥À2c—«@ 9°À5c—¬7@°8@@B°9@@@@;@@A@7@@3"!!"""""@@A°8;@ °¡A +±2unknown_because_of:D °ÀCe¯´ÀDe¯Æ@@;@@¢ à 0Unresolved_value; À³{@@õá@Ê@@°ÀRfÉËÀSfÉñ@@±_K@ à %Other<@@°À[gòôÀ\gòû@@±hL@@@A@@@@@°À_e¯¯@@@@±kJ@@ # °ÀffÉÍÀgfÉÝ@@ Ð³ 0unresolved_value°ÀpfÉá@@$3[ZZ[[[[[@±±WŸ™5;@@@A@@@@@@@@@A°$@@@@&@ #" "°À{gòö @@@@#@@A@@@3gffggggg@@A° #@ °¡A +±!t=E °ÀˆunsÀ‰unt@@;@@¡ ð %descrF@@À³±%descr>E@@õá@Ò°À—vƒÀ˜v‘@@±¤V@ ð #var_@@À³ã À³¡’(Variable!t@@õá@ Ã@@õá@ Å°À¬w’”Àw’¬@@±¹W@ ð &symbol`@@À³ø À’ @À³¡Æ!t@@õá@ È @À³ À³Ž@@õá@ É@@õá@ Ë@õá@ Ì@@õá@ Î°ÀÎx¯ÀÏx×@@±ÛX@@@@@@@@@°ÀÒunnÀÓyØÙ@ ° )ocaml.doc— À‘ ² k A value of type [t] corresponds to an "approximation" of the result of a computation in the program being compiled. That is to say, it represents what knowledge we have about such a result at compile time. The simplification pass exploits this information to partially evaluate computations. At a high level, an approximation for a value [v] has three parts: - the "description" (for example, "the constant integer 42"); - an optional variable; - an optional symbol or symbol field. If the variable (resp. symbol) is present then that variable (resp. symbol) may be used to obtain the value [v]. The exact semantics of the variable and symbol fields follows. Approximations are deduced at particular points in an expression tree, but may subsequently be propagated to other locations. At the point at which an approximation is built for some value [v], we can construct a set of variables (call the set [S]) that are known to alias the same value [v]. Each member of [S] will have the same or a more precise [descr] field in its approximation relative to the approximation for [v]. (An increase in precision may currently be introduced for pattern matches.) If [S] is non-empty then it is guaranteed that there is a unique member of [S] that was declared in a scope further out ("earlier") than all other members of [S]. If such a member exists then it is recorded in the [var] field. Otherwise [var] is [None]. Analogous to the construction of the set [S], we can construct a set [T] consisting of all symbols that are known to alias the value whose approximation is being constructed. If [T] is non-empty then the [symbol] field is set to some member of [T]; it does not matter which one. (There is no notion of scope for symbols.) Note about mutable blocks: Mutable blocks are always represented by [Value_unknown] or [Value_bottom]. Any other approximation could leave the door open to a miscompilation. Such bad scenarios are most likely a user using [Obj.magic] or [Obj.set_field] in an inappropriate situation. Such a situation might be: [let x = (1, 1) in Obj.set_field (Obj.repr x) 0 (Obj.repr 2); assert(fst x = 2)] The user would probably expect the assertion to be true, but the compiler could in fact propagate the value of [x] across the [Obj.set_field]. Insisting that mutable blocks have [Value_unknown] or [Value_bottom] approximations certainly won't always prevent this kind of error, but should help catch many of them. It is possible that there may be some false positives, with correct but unreachable code causing this check to fail. However the likelihood of this seems sufficiently low, especially compared to the advantages gained by performing the check, that we include it. An example of a pattern that might trigger a false positive is: [type a = { a : int } type b = { mutable b : int } type _ t = | A : a t | B : b t let f (type x) (v:x t) (r:x) = match v with | A -> r.a | B -> r.b <- 2; 3 let v = let r = ref A in r := A; (* Some pattern that the compiler can't understand *) f !r { a = 1 }] When inlining [f], the B branch is unreachable, yet the compiler cannot prove it and must therefore keep it. °ÀâiýýÀãtkm@@@@@@@@@±ïM@@‘ #Z Z°SÀêvˆ@R@@Ð¨@Ð³] %descr°Àóv‹Àôv@@e3ßÞÞßßßßß@±±±±±±±±±±Á»|;@@@@@@@@@1.@@o;@@@@@@@@@°À{ÛÛÀ‰§Ï@@@@±N@±-value_closure?E;@@@A@@@@@°À ŒÀMN@@@@±O@±5function_declarations@E;@@@@@@@@@°À‘PPÀ– @@@@±"P@±-function_bodyAE;@@@@@@@@@°À˜""À¢@A@@@@±*Q@±4function_declarationBE;@@@@@@@@@°À%¤CCÀ&¨ÒÓ@@@@±2R@±5value_set_of_closuresCE;@@@@@@@@@°À-´……À.Á@@@@±:S@±:value_float_array_contentsDE;@@@A@@@@@°À5ÃÀ6Å?U@@@@±BT@±1value_float_arrayEE;@@@A@@@@@°À=ÇWWÀ>Ê¨©@@@@±JU@@A°NM@@Àª³@õá@ÓN@@ #© ©°›ÀGw’—@š@@Ð¨@Ð³¬ &option°ÀPw’¥ÀQw’«@ Ð³± ¡ (Variable°À[w’šÀ\w’¢@ ¶°À_w’£À`w’¤@°@@Àm°@@@Ån° @@ÀªÈ@õá@ Æq@»@ #· ·°œÀjxµ@›@@Ð¨@Ð³º &option°ÀsxÐÀtxÖ@ Ð’ @Ð³¿ ¡ &Symbol°À‚x¹Àƒx¿@ Æ°À†xÀÀ‡xÁ@°@@Î”°@@ @Ð³É &option°À’xÈÀ“xÎ@ Ð³Î #int°À›xÄÀœxÇ@@Ö¨°@@@Û©°@@@èª° @@@í«°À¡x¸.@@Àªñ@õá@ Ï¯@×@@@@Ó ° Ðf À‘ ²ÏÎ@ÎÎ@@@Î@Î@ + °À³{ÛßÀ´{Ûä@@;@@¢ à +Value_blocka À³¡’#Tag!t@@õá@ % À³3 À³I@@õá@ &@@õá@ (@@°ÀÐ|ïñÀÑ|ï@@±ÝY@ à )Value_intp À³ @@õá@ )@@°ÀÞ}Àß}&@@±ëZ@ à *Value_charq À³¥@@õá@ *@@°Àì~')Àí~'=@@±ù[@ à +Value_floatr À³: À³¥@@õá@ +@@õá@ -@@°Àÿ>@À>]@@±\@ à /Value_boxed_ints À³K À–À!aõá@ 2F@ .@@õá@ 0 À–F@ 3@À³‡@@õá@ 5°À€^`À€^Ž@@±)]@ à 5Value_set_of_closurest À³@@õá@ 6@@°À*‘À+Á@@±7^@ à -Value_closureu À³.@@õá@ 7@@°À8‚ÂÄÀ9‚Âä@@±E_@ à ,Value_stringv À³Ó@@õá@ 8@@°ÀFƒåçÀGƒå@@±S`@ à 1Value_float_arrayw À³@@õá@ 9@@°ÀT„ÀU„0@@±aa@ à -Value_unknownx À³!@@õá@ :@@°Àb…13Àc…1X@@±ob@ à ,Value_bottomy@@°Àk†Y[Àl†Yi@@±xc@ à ,Value_externz À³¡’)Export_id!t@@õá@ @@°À}‡jlÀ~‡j‰@@±Šd@ à ,Value_symbolˆ À³¡‘!t@@õá@ ž@@°ÀˆŠŒÀŽˆŠ¦@@±še@ à 0Value_unresolved‰ À³Ä@@õá@ Ÿ@@°À›‰§©–@@±§f@@@@@@@@@™@@@–@ #ç ç°À¢|ïóÀ£|ïþ@Ò@ Ð³é ¡ #Tag°À®|ïÀ¯|ï@ î°À²|ïÀ³|ï@°@@øÀ°@@ Ð³ñ %array°À½|ïí@ Ð³õ !t°ÀÅ|ï ÀÆ|ï@@ýÒ°@@@Ó°ø@@@@ú@ #ö ö°ÀÍ}ÀÎ}@ï@ Ð³ø #int°À×}#ù@@ÿã°ú@@@@ü@ #ø ø°ÀÝ~'+ÀÞ~'5@ñ@ Ð³ú $char°Àç~'9û@@ó°ü@@@@þ@ #ú ú°Àí>BÀî>M@î@ Ð³ü &option°À÷>Wø@ Ð³ %float°Àÿ>QÀ>V@@°@@@ °@@@@@ # °À€^bÀ€^q@ë@ Ð³ )boxed_int°À€^wÀ€^€@ Ð !°À€^tÀ€^v@@@$°@@ Ð!a )°À€^ƒÀ €^…@@@Ð³ %descr°À(€^‰@@4° @@@ # °À.“À/¨@@ Ð³ 5value_set_of_closures°À8¬@@D°@@@@@ # °À>‚ÂÆÀ?‚ÂÓ@@ Ð³ -value_closure°ÀH‚Â×@@T°@@@@@ # °ÀNƒåéÀOƒåõ@@ Ð³ ,value_string°ÀXƒåù@@d°@@@@@ # °À^„ À_„@ @ Ð³ 1value_float_array°Àh„@@t°@@@@@ # °Àn…15Ào…1B@@ Ð³ 2unknown_because_of°Àx…1F@@„°@@@@@ # °À~†Y]@@@@@ # °À„‡jnÀ…‡jz@@ Ð³ ¡ )Export_id°À‡j~À‘‡j‡@ °À”‡jˆ@°@@"¡°@@@@@ # °À›ˆŠŽÀœˆŠš@@ Ð³ ¡ &Symbol°À§ˆŠžÀ¨ˆŠ¤@ °À«ˆŠ¥@°@@'¸° @@@@"@ # °À²‰§«À³‰§»@@ Ð³ 0unresolved_value°À¼‰§¿·@@'È°¸@@@@$@@@@º@ +¸ ¸°ÀÂŒÀÃŒ@@;@@¡ ð /set_of_closuresŠ@@À³I@@õá@ °ÀÏÀÐ/@@±Üg@ ð *closure_id@@À³¡’*Closure_id!t@@õá@0°ÀßŽ02ÀàŽ0L@@±ìh@@@A@@@@@Ö@@@Ó@‘ # °Àç*@@@Ð¨@Ð³ !t°Àð-Àñ.@@(ý°@@Àª+@õá@ ¡@'@ ## #°ÀùŽ0<@@@Ð¨@Ð³& ¡ *Closure_id°ÀŽ0?ÀŽ0I@ +°ÀŽ0JÀ Ž0K@°@@5°@@Àª8@õá@1@0@@A@@ + °À‘PTÀ‘Pi@@;@@¡ ð /is_classic_modež@@À³À@@õá@3°À’vxÀ ’vŽ@@±,i@ ð 2set_of_closures_idŸ@@À³¡C!t@@õá@6°À-“‘À.“»@@±:j@ ð 6set_of_closures_origin@@À³¡’6Set_of_closures_origin!t@@õá@°À=”¼¾À>”¼ð@@±Jk@ ð $funsè@@À³¡¡£#Map!t À³/@@õá@Ô@@õá@Ö°ÀR•ñóÀS•ñ@@±_l@@@@@@@@@A@@@>@‘ #@ @°;ÀZ’v‡@:@@Ð¨@Ð³C $bool°Àc’v‰Àd’v@@Kp°@@ÀªN@õá@4s@J@ #F F°?Àl“£@>@@Ð¨@Ð³I ¡ 2Set_of_closures_id°Àw“¦Àx“¸@ P°À{“¹À|“º@°@@X‰°@@Àª[@õá@7Œ@U@ #Q Q°HÀ…”¼Ô@G@@Ð¨@Ð³T ¡ 6Set_of_closures_origin°À”¼×À‘”¼í@ Y°À””¼îÀ•”¼ï@°@@c¢°@@Àªf@õá@ž¥@^@ #Z Z°LÀž•ñ÷@K@@Ð¨@Ð³] ¡ ¡ (Variable°À«•ñÀ¬•ñ@ e°À¯•ñÀ°•ñ@°@ i°À´•ñÀµ•ñ@°@ Ð³l 4function_declaration°À¾•ñúÀ¿•ñ@@tË°@@@}Ì° @@Àª€@õá@×Ï@s@@@@°@ +® ®°ÀÈ˜"&ÀÉ˜"3@@;@@¡ ð .free_variables@@À³¡¡/#Set!t@@õá@r°ÀÙ™@BÀÚ™@b@@±æm@ ð ,free_symbolsL@@À³¡¡ì#Set!t@@õá@°ÀéšceÀêšc@@±ön@ ð $stubM@@À³–@@õá@°Àõ›‚„Àö›‚@@±o@ ð #dbg\@@À³¡’)Debuginfo!t@@õá@†°Àœ‘“Àœ‘¥@@±p@ ð &inline²@@À³¡’&Lambda0inline_attribute@@õá@d°À¦¨À¦É@@±"s@ ð *specialise³@@À³¡4specialise_attribute@@õá@g°À#žÊÌÀ$žÊõ@@±0t@ ð ,is_a_functor´@@À³Ð@@õá@j°À/ŸöøÀ0Ÿö@@±@°@@é:°@@Àªì@õá@G=@æ@@@@@ + °À 6¤CGÀ 7¤C[@@;@@¡ ð .closure_originö@@À³¡’.Closure_origin!t@@õá@(2°À G¥hjÀ H¥hŒ@@± Tx@ ð ¶ms@@À³° À³¡’)Parameter!t@@õá@(«@@õá@(°À \¦À ]¦©@@± iy@ ð -function_body@@À³¨ À³R@@õá@(°@@õá@(²°À m§ª¬À n§ªÑ@@± zz@@@@@@@@@L@@@I@‘ #7 7°.À u¥hx@-@@Ð¨@Ð³: ¡ .Closure_origin°À €¥h{À ¥h‰@ ?°À „¥hŠÀ …¥h‹@°@@I’°@@ÀªL@õá@(3•@D@ #@ @°2À Ž¦•@1@@Ð¨@Ð³C $list°À —¦¤À ˜¦¨@ Ð³H ¡ )Parameter°À ¢¦˜À £¦¡@ M°À ¦¦¢À §¦£@°@@W´°@@@\µ° @@Àª_@õá@(®¸@R@ #N N°DÀ ±§ª¹@C@@Ð¨@Ð³Q &option°À º§ªÊÀ »§ªÐ@ Ð³V -function_body°À Ã§ª¼À Ä§ªÉ@@^Ð°@@@cÑ°@@Àªf@õá@(³Ô@]@@@@¥@ +£ £°À Í´…‰À Î´…ž@@;@@¡ ð .function_decls @@À³È@@õá@(µ°À Úµ«À Ûµ«Ô@@± ç{@ ð *bound_varsV@@À³¡¡’2Var_within_closure#Map!t À³j@@õá@-y@@õá@-{°À ñ¶Õ×À ò¶Õÿ@@± þ|@ ð )free_varsW@@À³¡¡W#Map!t À³¡Ê.specialised_to@@õá@-~@@õá@-€°À ·À ·4@@± }@ ð 0invariant_paramsa@@À³¡¡n$Lazy!t À³¡¡u#Map!t À³¡¡}#Set!t@@õá@-Ö@@õá@-Ø@@õá@-Ú°À )¸57À *¸5o@@± 6~@ ð )recursiveb@@À³¡¡$Lazy!t À³¡¡–#Set!t@@õá@-Ý@@õá@-ß°À A¹prÀ B¹p”@@± N@ ð $sizec@@À³¡¡§$Lazy!t À³¡¡®#Map!t À³ œ À³ "@@õá@-â@@õá@-ä@@õá@-æ@@õá@-è°À cº•—À dº•¿@ °‘ À‘ ² Z For functions that are very likely to be inlined, the size of the function's body. °À q»ÀÂÀ r¼!@@@@@@@± ~@@ ð 0specialised_argsd@@À³¡¡×#Map!t À³¡J.specialised_to@@õá@-ë@@õá@-í°À ˆ½"$À ‰½"]@@± •A@ ð *freshening@@À³¡¡’*Freshening+Project_var!t@@õá@/‹°À š¿ ¢À ›¿ È@@± §B@ ð 6direct_call_surrogates¼@@À³¡¡Ì#Map!t À³¡Ó!t@@õá@3Â@@õá@3Ä°À ±ÀÉËÀ ²ÀÉ@@± ¾C@@@@@@@@@ˆ@@@…@‘ #ä ä°ßÀ ¹µ«»@Þ@@Ð¨@Ð³ç 5function_declarations°À Âµ«¾À Ãµ«Ó@@ïÏ°@@Àªò@õá@(¶Ò@î@ #ê ê°ÚÀ Ë¶Õá@Ù@@Ð¨@Ð³í ¡ ¡ 2Var_within_closure°À Ø¶ÕæÀ Ù¶Õø@ ó°À Ü¶ÕùÀ Ý¶Õü@°@ ÷°À á¶ÕýÀ â¶Õþ@°@ Ð³ú !t°À ë¶ÕäÀ ì¶Õå@@ø°@@@ ù° @@Àª@õá@-|ü@@ #ý ý°íÀ õ·@ì@@Ð¨@Ð³ ¡ ¡ (Variable°À·%À·-@ °À·.À·1@°@ °À·2À·3@°@ Ð³ ¡ 'Flambda°À·À·@ °À·À·$@°@@)°@@@'*° @@Àª*@õá@--@@ # °ýÀ&¸5G@ü@@Ð¨@Ð³ ¡ °À0¸5hÀ1¸5l@ °À4¸5mÀ5¸5n@°@ Ð³" ¡ ¡ (Variable°ÀB¸5YÀC¸5a@ *°ÀF¸5bÀG¸5e@°@ .°ÀK¸5fÀL¸5g@°@ Ð³1 ¡ ¡ (Variable°ÀY¸5JÀZ¸5R@ 9°À]¸5SÀ^¸5V@°@ =°Àb¸5WÀc¸5X@°@@Gp° @@@Pq°@@@Xr°3@@Àª[@õá@-Ûu@B@ #> >°-Àn¹p{@,@@Ð¨@Ð³A ¡ C°Àx¹pÀy¹p‘@ F°À|¹p’À}¹p“@°@ Ð³I ¡ ¡ (Variable°ÀŠ¹p~À‹¹p†@ Q°ÀŽ¹p‡À¹pŠ@°@ U°À“¹p‹À”¹pŒ@°@@_¡° @@@g¢°@@Àªj@õá@-à¥@Z@ #V V°;Àžº•›@,@@Ð¨@Ð³Y ¡ [°À¨º•¸À©º•¼@ ^°À¬º•½Àº•¾@°@ Ð³a ¡ ¡ (Variable°Àºº•©À»º•±@ i°À¾º•²À¿º•µ@°@ m°ÀÃº•¶ÀÄº•·@°@ Ð³p &option°ÀÍº•¢ÀÎº•¨@ Ð³u #int°ÀÖº•žÀ×º•¡@@}ã°@@@‚ä°@@@‹å°@@@“æ°/@@Àª–@õá@-éé@| ° À‘ ²zy@yy@@@y@y@ #u u°eÀí½"4@d@@Ð¨@Ð³x ¡ ¡ (Variable°Àú½"NÀû½"V@ €°Àþ½"WÀÿ½"Z@°@ „°À½"[À½"\@°@ Ð³‡ ¡ 'Flambda°À½"7À½">@ Ž°À½"?À½"M@°@@–!°@@@Ÿ"° @@Àª¢@õá@-î%@“@ # °„À¿ ¬@ƒ@@Ð¨@Ð³’ ¡ ¡ *Freshening°À+¿ ¯À,¿ ¹@ ˜°À/¿ ºÀ0¿ Å@°@ œ°À4¿ ÆÀ5¿ Ç@°@@¨B° @@Àª«@õá@/ŒE@¡@ # °À>ÀÉá@Œ@@Ð¨@Ð³ ¡ ¡ *Closure_id°ÀKÀÉñÀLÀÉû@ ¨°ÀOÀÉüÀPÀÉÿ@°@ ¬°ÀTÀÉÀUÀÉ@°@ Ð³¯ ¡ *Closure_id°À`ÀÉäÀaÀÉî@ ¶°ÀdÀÉïÀeÀÉð@°@@¾r°@@@Çs° @@ÀªÊ@õá@3Åv@»@@@@?@ += =°ÀoÃ ÀpÃ$@@;@@¢ à (Contents½ À³æ À³ü@@õá@3Ç@@õá@3É@@°ÀƒÄ')À„Ä'>@@±D@ à 2Unknown_or_mutable¾@@°ÀŒÅ?AW@@±˜E@@@A@@@@@Z@@@W@ # °À“Ä'+À”Ä'3@@ Ð³ %array°ÀÄ'9@ Ð³" !t°À¥Ä'7À¦Ä'8@@*²°@@@/³°%@@@@'@ ## #°ÀÅ?Cx@!@@@$@@A@{@ +y y°À³ÇW[À´ÇWl@@;@@¡ ð (contents¿@@À³Ž@@õá@3Ê°ÀÀÈqsÀÁÈq™@@±ÍF@ ð $sizeÀ@@À³Ž@@õá@3Í°ÀÌÉšœÀÍÉš§@@±ÙG@@@A@@@@@“@@@@‘ # °ÀÔÈq{@@@Ð¨@Ð³ :value_float_array_contents°ÀÝÈq~ÀÞÈq˜@@$ê°@@Àª'@õá@3Ëí@#@ # °ÀæÉš @@@Ð¨@Ð³" #int°ÀïÉš£ÀðÉš¦@@*ü°@@Àª-@õá@3Îÿ@)@@A@¸@@3ÞÝÝÞÞÞÞÞ@ö@A° $¸@ °ð %descrÉ °ÀþÍåéÀÿÍåî@Ð±@Ð³ !t°À ÍåñÀ Íåò@@À³ @@õá@Qò3ø÷÷øøøøø@±±±±±±±±± àcè§ðIøà N T …c ” Ž@A°@@Ð³ ‰ %descr°À ÍåöÀ !Íåû@@À³ @@õá@Qó°@@ÀÁ@Àª@õá@Qô@õá@Qõ°" @@Ð@°À -Íåå @ ° Z À‘ ² 4 Extraction of the description of approximation(s). °À :Ì««À ;Ì«ä@@@@@@@± GH@@°@ ° j À‘ ²@@@@@@; °ð &descrsÊ °À QÎüÀ RÎü@Ð±@Ð³· $list°À \ÎüÀ ]Îü@ Ð³ Þ !t°À fÎü À gÎü @@À³ @@õá@Qö3 U T T U U U U U@°^sB@A°@@@À³ @@õá@Qø° @@Ð³Õ $list°À zÎüÀ {Îü@ Ð³ í %descr°À „ÎüÀ …Îü@@À³ @@õá@Qù°@@@À³ @@õá@Qû#°@@ÀÁ@Àª%@õá@Qü @õá@Qý(°.@@Ð@°À –Îüü@@± ¢I@@°@@. °ð %printp °À ¡ÑX\À ¢ÑXa@Ð±@Ð³¡¡&Format)formatter ¡ °À °ÑXdÀ ±ÑXj@ °À ´ÑXkÀ µÑXt@°@@À³@@õá@[Î3 ¤ £ £ ¤ ¤ ¤ ¤ ¤@°Po(@A° @@Ð±@Ð³ > !t°À ÆÑXxÀ ÇÑXy@@À³ @@õá@[Ï°@@Ð³ a $unit°À ÓÑX}À ÔÑX@@À³ @@õá@[Ð°@@ÀÁ@Àª@õá@[Ñ@õá@[Ò#° @@ÀÁ@Àª+@õá@[Ó @õá@[Ô(°3@@Ð@°À åÑXX@ ° À‘ ² 3 Pretty-printing of approximations to a formatter. °À òÐÀ óÐW@@@@@@@± ÿJ@@°"@ ° " ¸ À‘ ²@@@@@@G °ð +print_descrq °À Ò‚†À Ò‚‘@Ð±@Ð³¡¡l&Format)formatter ¡ °ÀÒ‚”ÀÒ‚š@ °ÀÒ‚›ÀÒ‚¤@°@@À³@@õá@[Õ3@°i‡A@A° @@Ð±@Ð³ — %descr°À.Ò‚¨À/Ò‚@@À³ @@õá@[Ö°@@Ð³ É $unit°À;Ò‚±À<Ò‚µ@@À³ @@õá@[×°@@ÀÁ@Àª@õá@[Ø@õá@[Ù#° @@ÀÁ@Àª+@õá@[Ú @õá@[Û(°3@@Ð@°ÀMÒ‚‚@@±YK@@°@@. °ð ;print_value_set_of_closuresr °ÀXÓ¶ºÀYÓ¶Õ@Ð±@Ð³¡¡»&Format)formatter ¡ °ÀgÔÖÛÀhÔÖá@ °ÀkÔÖâÀlÔÖë@°@@À³@@õá@[Ü3[ZZ[[[[[@°Pn(@A° @@Ð±@Ð³ Q 5value_set_of_closures°À}ÕìñÀ~Õì @@À³ @@õá@[Ý°@@Ð³ $unit°ÀŠÖ À‹Ö @@À³ @@õá@[Þ°@@ÀÁ@Àª@õá@[ß@õá@[à#° @@ÀÁ@Àª+@õá@[á @õá@[â(°3@@Ð@°ÀœÓ¶¶@@±¨L@@°@@. °ð ;print_function_declarationss °À§× À¨× 0@Ð±@Ð³¡¡ &Format)formatter ¡ °À¶Ø 1 5À·Ø 1 ;@ °ÀºØ 1 <À»Ø 1 E@°@@À³@@õá@[ã3ª©©ªªªªª@°Pn(@A° @@Ð±@Ð³ ¸ 5function_declarations°ÀÌÙ F KÀÍÙ F `@@À³ @@õá@[ä°@@Ð³g $unit°ÀÙÚ a fÀÚÚ a j@@À³ @@õá@[å°@@ÀÁ@Àª@õá@[æ@õá@[ç#° @@ÀÁ@Àª+@õá@[è @õá@[é(°3@@Ð@°Àë× @@±÷M@@°@@. °ð å!»!Ù@ °ÀAå!»!ÚÀBå!»!Ý@°@ °ÀFå!»!ÞÀGå!»!ß@°@@À³@@õá@[þ¸°@@@À³; @@õá@\½°'@@@À³J @@õá@\Â°G@@Ð±)recursiveÐ³¡¡º$Lazy!t ¡ °Àfæ!ö"Àgæ!ö"@ °Àjæ!ö"Àkæ!ö"@°@ Ð³¡¡Í#Set!t ¡ ¡ (Variable°À}æ!ö"À~æ!ö" @ °Àæ!ö"À‚æ!ö"@°@ °À†æ!ö"À‡æ!ö"@°@@À³@@õá@\ø°@@@À³2 @@õá@\ý°'@@Ð±0specialised_argsÐ³¡¡õ#Map!t ¡ ¡ (Variable°À¥ç""HÀ¦ç""P@ °À©ç""QÀªç""T@°@ °À®ç""UÀ¯ç""V@°@ Ð³¡|.specialised_to ¡ 'Flambda°À½ç""1À¾ç""8@ °ÀÁç""9ÀÂç""G@°@@À³@@õá@\3°@@@À³2 @@õá@\8°@@Ð±*fresheningÐ³¡¡B+Project_var!t ¡ ¡ *Freshening°Ààè"W"gÀáè"W"q@ °Àäè"W"rÀåè"W"}@°@ °Àéè"W"~Àêè"W"@°@@À³@@õá@\ [°@@Ð±6direct_call_surrogatesÐ³¡¡ #Map!t ¡ ¡ *Closure_id°Àé"€"©Àé"€"³@ °Àé"€"´Àé"€"·@°@ °Àé"€"¸À é"€"¹@°@ Ð³¡ :!t ¡ *Closure_id°Àé"€"œÀé"€"¦@ °Àé"€"§À é"€"¨@°@@À³@@õá@\ ‘°@@@À³2 @@õá@\–°@@Ð³ 5value_set_of_closures°À2ê"º"¿À3ê"º"Ô@@À³ @@õá@\ £°@@ÀÁHÀª@õá@\@õá@\¨°À=é"€"…@@ÀÁqÀªV@õá@\ @õá@\®°ÀCè"W"\@@ÀÁ²Àª€@õá@\ @õá@\´°ÀIç"" @@ÀÁóÀªÁ@õá@\ @õá@\º°ÀOæ!ö!û@@ÀÁLÀª@õá@\ @õá@\À°ÀUå!»!À#@@ÀÁÀª[@õá@\ @õá@\Æ°À[ä!†!‹)@@ÀÁÅÀªœ@õá@\ @õá@\Ì°Àaã![!`/@@ÀÁÞÀªÕ@õá@\ @õá@\Ò°Àgâ!1!65@@Ð@°Àjá!!8@@±vO@@°:@@Ù °ð *update_freshening_of_value_set_of_closuresv °Àuì"Ö"ÚÀvì"Ö#@Ð±@Ð³ T 5value_set_of_closures°À€í## Àí##@@À³ @@õá@\3onnooooo@°ò @A°@@Ð±*fresheningÐ³¡¡ý+Project_var!t ¡ ¡ *Freshening°À›î# #0Àœî# #:@ °ÀŸî# #;À î# #F@°@ °À¤î# #GÀ¥î# #H@°@@À³@@õá@\%°@@Ð³ † 5value_set_of_closures°À²ï#I#NÀ³ï#I#c@@À³ @@õá@\ 2°@@ÀÁ0Àª@õá@\!@õá@\"7°À½î# #%@@ÀÁ@Àª@@õá@\# @õá@\$=°C@@Ð@°ÀÅì"Ö"Ö@@±ÑP@@°@@C °ð -value_unknownw °ÀÐò#’#–ÀÑò#’#£@Ð±@Ð³˜ 2unknown_because_of°ÀÛò#’#¦ÀÜò#’#¸@@À³ @@õá@\%3ÊÉÉÊÊÊÊÊ@°\q@A°@@Ð³b !t°Àêò#’#¼Àëò#’#½@@À³ @@õá@\&°@@ÀÁ@Àª@õá@\'@õá@$° @@Ð@°À÷ò#’#’ @ °$ À‘ ² ' Basic construction of approximations. °Àñ#e#eÀñ#e#‘@@@@@@@±Q@@°@ ° 4Ê À‘ ²@@@@@@3 °ð )value_intx °Àó#¾#ÂÀó#¾#Ë@Ð±@Ð³æ #int°À&ó#¾#ÎÀ'ó#¾#Ñ@@À³ @@õá@$3@°La8@A°@@Ð³ !t°À5ó#¾#ÕÀ6ó#¾#Ö@@À³ @@õá@\*°@@ÀÁ@Àª@õá@\+@õá@\,° @@Ð@°ÀBó#¾#¾ @@±NR@@°@@ °ð *value_chary °ÀMô#×#ÛÀNô#×#å@Ð±@Ð³ $char°ÀXô#×#èÀYô#×#ì@@À³ @@õá@\-3GFFGGGGG@°3H@A°@@Ð³ß !t°Àgô#×#ðÀhô#×#ñ@@À³ @@õá@\.°@@ÀÁ@Àª@õá@\/@õá@\0° @@Ð@°Àtô#×#× @@±€S@@°@@ °ð +value_floatz °Àõ#ò#öÀ€õ#ò$@Ð±@Ð³/ %float°ÀŠõ#ò$À‹õ#ò$ @@À³ @@õá@\13yxxyyyyy@°3H@A°@@Ð³ !t°À™õ#ò$ Àšõ#ò$@@À³ @@õá@\2°@@ÀÁ@Àª@õá@\3@õá@\4° @@Ð@°À¦õ#ò#ò @@±²T@@°@@ °ð /value_any_float{ °À±ö$$À²ö$$"@Ð³2 !t°Àºö$$%À»ö$$&@@À³ @@õá@\53©¨¨©©©©©@°1F@A°@@Ð@°ÀÄö$$ @@±ÐU@@°@@ °ð 9value_mutable_float_array| °ÀÏ÷$'$+ÀÐ÷$'$D@Ð±$sizeÐ³œ #int°ÀÜ÷$'$LÀÝ÷$'$O@@À³ @@õá@\63ËÊÊËËËËË@°#6!@A°@@Ð³c !t°Àë÷$'$SÀì÷$'$T@@À³ @@õá@\7°@@ÀÁ Àª@õá@\8@õá@\9°Àö÷$'$G@@Ð@°Àù÷$'$'@@±V@@°@@ °ð ;value_immutable_float_array} °Àø$U$YÀø$U$t@Ð±@Ð³u %array°Àø$U$yÀø$U$~@ Ð³‘ !t°Àø$U$wÀø$U$x@@À³ @@õá@\:3@°>U)@A°@@@À³ @@õá@\<° @@Ð³¥ !t°À-ø$U$‚À.ø$U$ƒ@@À³ @@õá@\=°@@ÀÁ@Àª@õá@\>@õá@\?° @@Ð@°À:ø$U$U @@±FW@@°@@ °ð ,value_string~ °ÀEù$„$ˆÀFù$„$”@Ð±@Ð³ #int°ÀPù$„$—ÀQù$„$š@@À³ @@õá@\@3?>>?????@°8W@A°@@Ð±@Ð³Ÿ &option°Àaù$„$¥Àbù$„$«@ Ð³ &string°Àkù$„$žÀlù$„$¤@@À³ @@õá@\A°@@@À³ @@õá@\C °@@Ð³õ !t°À}ù$„$¯À~ù$„$°@@À³ @@õá@\D-°@@ÀÁ@Àª@õá@\E@õá@\F2° @@ÀÁ@Àª:@õá@\G @õá@\H7°=@@Ð@°Àù$„$„@@±›X@@°@@= °ð /value_boxed_int °Àšú$±$µÀ›ú$±$Ä@Ð±@Ð³á )boxed_int°À¥ú$±$ÊÀ¦ú$±$Ó@ Ð!iÀ–Àõá@\RF@\I3š™™ššššš@°\q%@A°À³ú$±$ÇÀ´ú$±$É@@@À³ @@õá@\K °@@Ð±@Ð!i°ÀÀú$±$×ÀÁú$±$Ù@@Ð³A !t°ÀÉú$±$ÝÀÊú$±$Þ@@À³ @@õá@\L°@@ÀÁ@Àª(@õá@\M@õá@\N#° @@ÀÁ@Àª#@õá@\O @õá@\P(°&@@Ð@°ÀÛú$±$±@@±çY@@°@@. °ð +value_block€ °Àæû$ß$ãÀçû$ß$î@Ð±@Ð³¡-!t ¡ #Tag°Àõû$ß$ñÀöû$ß$ô@ °Àùû$ß$õÀúû$ß$ö@°@@À³@@õá@\S3éèèééééé@°Pk(@A° @@Ð±@Ð³q %array°Àû$ß$üÀû$ß%@ Ð³ !t°Àû$ß$úÀû$ß$û@@À³ @@õá@\T°@@@À³ @@õá@\V °@@Ð³Ÿ !t°À'û$ß%À(û$ß%@@À³ @@õá@\W-°@@ÀÁ@Àª@õá@\X@õá@\Y2° @@ÀÁ@Àª:@õá@\Z @õá@\[7°B@@Ð@°À9û$ß$ß@@±EZ@@°@@= °ð ,value_extern °ÀDü%%ÀEü%%@Ð±@Ð³¡Ô!t ¡ )Export_id°ÀSü%%ÀTü%%#@ °ÀWü%%$ÀXü%%%@°@@À³@@õá@\\3GFFGGGGG@°_}(@A° @@Ð³ß !t°Àgü%%)Àhü%%*@@À³ @@õá@\]°@@ÀÁ@Àª@õá@\^@õá@\_° @@Ð@°Àtü%% @@±€[@@°@@ °ð ,value_symbol‚ °Àý%+%/À€ý%+%;@Ð±@Ð³¡Ž!t ¡ &Symbol°ÀŽý%+%>Àý%+%D@ °À’ý%+%EÀ“ý%+%F@°@@À³@@õá@\`3‚‚‚‚‚‚@°S*@A° @@Ð±‘3set_of_closures_varÐ³¡Š!t ¡ (Variable°À7 'R'lÀ8 'R't@ °À; 'R'uÀ< 'R'v@°@@À³@@õá@\j°@@Ð±‘6set_of_closures_symbolÐ³¡Q!t ¡ &Symbol°ÀQ 'w'”ÀR 'w'š@ °ÀU 'w'›ÀV 'w'œ@°@@À³@@õá@\k6°@@Ð±@Ð³9 5value_set_of_closures°Àe''¢Àf''·@@À³ @@õá@\lE°@@Ð±@Ð³¡—!t ¡ *Closure_id°Àx'¸'½Ày'¸'Ç@ °À|'¸'ÈÀ}'¸'É@°@@À³@@õá@\m]°@@Ð³ !t°ÀŠ 'Ê'ÏÀ‹ 'Ê'Ð@@À³ @@õá@\nj°@@ÀÁ@Àª@õá@\o@õá@\po° @@ÀÁ@Àª2@õá@\q @õá@\rt°5@@ÀÁXÀªÀ³ã J@@õá@\t@õá@\u@õá@\v~°À¤ 'w'|@@ÀÁ}ÀªÀ³ n@@õá@\x@õá@\y@õá@\zˆ°À® 'R'W$@@ÀÁ£ÀªÀ³ ”@@õá@\|@õá@\}@õá@\~’°À¸'5':.@@Ð@°À»'#'#1@ °è À‘ ² Ž Construct a closure approximation given the approximation of the corresponding set of closures and the closure ID of the closure to be projected from such set. [closure_var] and/or [set_of_closures_var] may be specified to augment the approximation with variables that may be used to access the closure value itself, so long as they are in scope at the proposed point of use. °ÀÈ%%ÀÉ&ø'"@@@@@@@±Õ_@@°A@ ° øŽ À‘ ²@@@@@@² °ð 5value_set_of_closures† °Àß(c(gÀà(c(|@Ð±‘3set_of_closures_varÐ³¡C!t ¡ (Variable°Àð(}(—Àñ(}(Ÿ@ °Àô(}( Àõ(}(¡@°@@À³@@õá@\3äããäääää@°ÖöC@A° @@Ð±@Ð³Ú 5value_set_of_closures°À(¢(§À(¢(¼@@À³ @@õá@\€°@@Ð³‹ !t°À(½(ÂÀ(½(Ã@@À³ @@õá@\°@@ÀÁ@Àª@õá@\‚@õá@\ƒ#° @@ÀÁ=ÀªÀ³„ .@@õá@\…@õá@\† @õá@\‡,°À'(}(‚@@Ð@°À*(c(c@ °W À‘ ² ‹ Construct a set of closures approximation. [set_of_closures_var] is as for the parameter of the same name in [value_closure], above. °À7'Ò'ÒÀ8("(b@@@@@@@±D`@@°'@ ° gý À‘ ²@@@@@@L °ð .make_const_int‡ °ÀN)M)QÀO)M)_@Ð±@Ð³ #int°ÀY)M)bÀZ)M)e@@À³ @@õá@\ˆ3HGGHHHHH@°e…8@A°@@Ð’ @Ð³¡/!t ¡ 'Flambda°Àp)M)iÀq)M)p@ °Àt)M)qÀu)M)r@°@@À³@@õá@\‰°@@ @Ð³ü !t°À„)M)uÀ…)M)v@@À³ @@õá@\Š+°@@@À’ @ @ @õá@\‹2°!@@ÀÁ@Àª:@õá@\Œ@õá@\7°=@@Ð@°À˜)M)M@ °Å À‘ ² ‚ Take the given constant and produce an appropriate approximation for it together with an Flambda expression representing it. °À¥(Å(ÅÀ¦))L@@@@@@@±²a@@°$@ ° Õk À‘ ²@@@@@@V °ð /make_const_charˆ °À¼)w){À½)w)Š@Ð±@Ð³~ $char°ÀÇ)w)ÀÈ)w)‘@@À³ @@õá@\Ž3¶µµ¶¶¶¶¶@°o„8@A°@@Ð’ @Ð³¡!t ¡ 'Flambda°ÀÞ)w)•Àß)w)œ@ °Àâ)w)Àã)w)ž@°@@À³@@õá@\°@@ @Ð³j !t°Àò)w)¡Àó)w)¢@@À³ @@õá@\+°@@@À’ @ @ @õá@\‘2°!@@ÀÁ@Àª:@õá@\’@õá@\“7°=@@Ð@°À)w)w@@±b@@°@@= °ð /make_const_bool‰ °À)£)§À)£)¶@Ð±@Ð³» $bool°À)£)¹À)£)½@@À³ @@õá@\”3 @°Vk@A°@@Ð’ @Ð³¡ò!t ¡ 'Flambda°À3)£)ÁÀ4)£)È@ °À7)£)ÉÀ8)£)Ê@°@@À³@@õá@\•°@@ @Ð³¿ !t°ÀG)£)ÍÀH)£)Î@@À³ @@õá@\–+°@@@À’ @ @ @õá@\—2°!@@ÀÁ@Àª:@õá@\˜@õá@\™7°=@@Ð@°À[)£)£@@±gc@@°@@= °ð 0make_const_floatŠ °Àf)Ï)ÓÀg)Ï)ã@Ð±@Ð³ %float°Àq)Ï)æÀr)Ï)ë@@À³ @@õá@\š3`__`````@°Vk@A°@@Ð’ @Ð³¡G!t ¡ 'Flambda°Àˆ)Ï)ïÀ‰)Ï)ö@ °ÀŒ)Ï)÷À)Ï)ø@°@@À³@@õá@\›°@@ @Ð³ !t°Àœ)Ï)ûÀ)Ï)ü@@À³ @@õá@\œ+°@@@À’ @ @ @õá@\2°!@@ÀÁ@Àª:@õá@\ž@õá@\Ÿ7°=@@Ð@°À°)Ï)Ï@@±¼d@@°@@= °ð 4make_const_boxed_int‹ °À»)ý*À¼)ý*@Ð±@Ð³ )boxed_int°ÀÆ)ý*ÀÇ)ý*$@ Ð!iÀ–Àõá@\«F@\ 3»ºº»»»»»@°\q%@A°ÀÔ)ý*ÀÕ)ý*@@@À³ @@õá@\¢ °@@Ð±@Ð!i°Àá)ý*(Àâ)ý**@@Ð’ @Ð³¡±!t ¡ 'Flambda°Àò)ý*.Àó)ý*5@ °Àö)ý*6À÷)ý*7@°@@À³@@õá@\£+°@@ @Ð³~ !t°À)ý*:À)ý*;@@À³ @@õá@\¤:°@@@À’ @ @ @õá@\¥A°!@@ÀÁ@ÀªK@õá@\¦@õá@\§F°7@@ÀÁ@ÀªF@õá@\¨ @õá@\©K°I@@Ð@°À)ý)ý@@±+e@@°@@Q °ð 4make_const_int_namedŒ °À**=*AÀ+*=*U@Ð±@Ð³õ #int°À5*=*XÀ6*=*[@@À³ @@õá@\¬3$##$$$$$@°j…@A°@@Ð’ @Ð³¡%named ¡ 'Flambda°ÀL*=*_ÀM*=*f@ °ÀP*=*gÀQ*=*l@°@@À³@@õá@\°@@ @Ð³Ø !t°À`*=*oÀa*=*p@@À³ @@õá@\®+°@@@À’ @ @ @õá@\¯2°!@@ÀÁ@Àª:@õá@\°@õá@\±7°=@@Ð@°Àt*=*=@@±€f@@°@@= °ð 5make_const_char_named °À*q*uÀ€*q*Š@Ð±@Ð³A $char°ÀŠ*q*À‹*q*‘@@À³ @@õá@\²3yxxyyyyy@°Vk@A°@@Ð’ @Ð³¡`%named ¡ 'Flambda°À¡*q*•À¢*q*œ@ °À¥*q*À¦*q*¢@°@@À³@@õá@\³°@@ @Ð³- !t°Àµ*q*¥À¶*q*¦@@À³ @@õá@\´+°@@@À’ @ @ @õá@\µ2°!@@ÀÁ@Àª:@õá@\¶@õá@\·7°=@@Ð@°ÀÉ*q*q@@±Õg@@°@@= °ð 5make_const_bool_namedŽ °ÀÔ *§*«ÀÕ *§*À@Ð±@Ð³~ $bool°Àß *§*ÃÀà *§*Ç@@À³ @@õá@\¸3ÎÍÍÎÎÎÎÎ@°Vk@A°@@Ð’ @Ð³¡µ%named ¡ 'Flambda°Àö *§*ËÀ÷ *§*Ò@ °Àú *§*ÓÀû *§*Ø@°@@À³@@õá@\¹°@@ @Ð³‚ !t°À *§*ÛÀ *§*Ü@@À³ @@õá@\º+°@@@À’ @ @ @õá@\»2°!@@ÀÁ@Àª:@õá@\¼@õá@\½7°=@@Ð@°À *§*§@@±*h@@°@@= °ð 6make_const_float_named °À)!*Ý*áÀ*!*Ý*÷@Ð±@Ð³Ù %float°À4!*Ý*úÀ5!*Ý*ÿ@@À³ @@õá@\¾3#""#####@°Vk@A°@@Ð’ @Ð³¡ %named ¡ 'Flambda°ÀK!*Ý+ÀL!*Ý+ @ °ÀO!*Ý+ÀP!*Ý+@°@@À³@@õá@\¿°@@ @Ð³× !t°À_!*Ý+À`!*Ý+@@À³ @@õá@\À+°@@@À’ @ @ @õá@\Á2°!@@ÀÁ@Àª:@õá@\Â@õá@\Ã7°=@@Ð@°Às!*Ý*Ý@@±i@@°@@= °ð :make_const_boxed_int_named °À~"++À"++3@Ð±@Ð³Å )boxed_int°À‰"++9ÀŠ"++B@ Ð!iÀ–Àõá@\ÏF@\Ä3~}}~~~~~@°\q%@A°À—"++6À˜"++8@@@À³ @@õá@\Æ °@@Ð±@Ð!i°À¤"++FÀ¥"++H@@Ð’ @Ð³¡t%named ¡ 'Flambda°Àµ"++LÀ¶"++S@ °À¹"++TÀº"++Y@°@@À³@@õá@\Ç+°@@ @Ð³A !t°ÀÉ"++\ÀÊ"++]@@À³ @@õá@\È:°@@@À’ @ @ @õá@\ÉA°!@@ÀÁ@ÀªK@õá@\Ê@õá@\ËF°7@@ÀÁ@ÀªF@õá@\Ì @õá@\ÍK°I@@Ð@°Àâ"++@@±îj@@°@@Q °ð 5augment_with_variable‘ °Àí',4,8Àî',4,M@Ð±@Ð³p !t°Àø',4,PÀù',4,Q@@À³ @@õá@\Ð3çææççççç@°j…@A°@@Ð±@Ð³¡`!t ¡ (Variable°À ',4,UÀ',4,]@ °À',4,^À',4,_@°@@À³@@õá@\Ñ°@@Ð³— !t°À',4,cÀ ',4,d@@À³ @@õá@\Ò'°@@ÀÁ@Àª@õá@\Ó@õá@\Ô,° @@ÀÁ@Àª4@õá@\Õ @õá@\Ö1°7@@Ð@°À1',4,4@ °^ À‘ ² Ï Augment an approximation with a given variable (see comment above). If the approximation was already augmented with a variable, the one passed to this function replaces it within the approximation. °À>$+_+_À?&+ï,3@@@@@@@±Kk@@°"@ ° n À‘ ²@@@@@@P °ð 3augment_with_symbol’ °ÀU*,§,«ÀV*,§,¾@Ð±@Ð³Ø !t°À`*,§,ÁÀa*,§,Â@@À³ @@õá@\×3ONNOOOOO@°i~8@A°@@Ð±@Ð³¡u!t ¡ &Symbol°Àu*,§,ÆÀv*,§,Ì@ °Ày*,§,ÍÀz*,§,Î@°@@À³@@õá@\Ø°@@Ð³ÿ !t°À‡*,§,ÒÀˆ*,§,Ó@@À³ @@õá@\Ù'°@@ÀÁ@Àª@õá@\Ú@õá@\Û,° @@ÀÁ@Àª4@õá@\Ü @õá@\Ý1°7@@Ð@°À™*,§,§@ °Æ À‘ ² ; Like [augment_with_variable], but for symbol information. °À¦),f,fÀ§),f,¦@@@@@@@±³l@@°"@ ° Öl À‘ ²@@@@@@P °ð 9augment_with_symbol_field“ °À½---À¾---7@Ð±@Ð³@ !t°ÀÈ---:ÀÉ---;@@À³ @@õá@\Þ3·¶¶·····@°i~8@A°@@Ð±@Ð³¡Ý!t ¡ &Symbol°ÀÝ---?ÀÞ---E@ °Àá---FÀâ---G@°@@À³@@õá@\ß°@@Ð±@Ð³± #int°Àñ---KÀò---N@@À³ @@õá@\à)°@@Ð³v !t°Àþ---RÀÿ---S@@À³ @@õá@\á6°@@ÀÁ@Àª@õá@\â@õá@\ã;° @@ÀÁ@Àª)@õá@\ä @õá@\å@°1@@ÀÁ@ÀªH@õá@\æ @õá@\çE°K@@Ð@°À---@ °B À‘ ² ? Like [augment_with_symbol], but for symbol field information. °À",,Õ,ÕÀ#,,Õ-@@@@@@@±/m@@°'@ ° Rè À‘ ²@@@@@@d °ð 3replace_description” °À90--‘À:0--¤@Ð±@Ð³¼ !t°ÀD0--§ÀE0--¨@@À³ @@õá@\è332233333@°}’8@A°@@Ð±@Ð³¾ %descr°ÀU0--¬ÀV0--±@@À³ @@õá@\é°@@Ð³Ú !t°Àb0--µÀc0--¶@@À³ @@õá@\ê°@@ÀÁ@Àª@õá@\ë@õá@\ì#° @@ÀÁ@Àª+@õá@\í @õá@\î(°.@@Ð@°Àt0--@ °¡ À‘ ² 2 Replace the description within an approximation. °À/-U-UÀ‚/-U-Œ@@@@@@@±Žn@@°"@ ° ±G À‘ ²@@@@@@G °ð 1augment_with_kind• °À˜3-÷-ûÀ™3-÷.@Ð±@Ð³ !t°À£3-÷.À¤3-÷.@@À³ @@õá@\ï3’‘‘’’’’’@°`u8@A°@@Ð±@Ð³¡¡*value_kind ¡ &Lambda°À¸3-÷.À¹3-÷.@ °À¼3-÷.À½3-÷.%@°@@À³@@õá@\ð°@@Ð³B !t°ÀÊ3-÷.)ÀË3-÷.*@@À³ @@õá@\ñ'°@@ÀÁ@Àª@õá@\ò@õá@\ó,° @@ÀÁ@Àª4@õá@\ô @õá@\õ1°7@@Ð@°ÀÜ3-÷-÷@ ° À‘ ² 9 Improve the description by taking the kind into account °Àé2-¸-¸Àê2-¸-ö@@@@@@@±öo@@°"@ ° ¯ À‘ ²@@@@@@P °ð 8augment_kind_with_approx– °À6.k.oÀ6.k.‡@Ð±@Ð³ƒ !t°À6.k.ŠÀ6.k.‹@@À³ @@õá@\ö3úùùúúúúú@°i~8@A°@@Ð±@Ð³¡ *value_kind ¡ &Lambda°À 6.k.À!6.k.•@ °À$6.k.–À%6.k. @°@@À³@@õá@\÷°@@Ð³¡*value_kind ¡ &Lambda°À66.k.¤À76.k.ª@ °À:6.k.«À;6.k.µ@°@@À³@@õá@\ø0°@@ÀÁ@Àª@õá@\ù@õá@\ú5°&@@ÀÁ@Àª=@õá@\û @õá@\ü:°@@@Ð@°ÀM6.k.k@ °z À‘ ² 9 Improve the kind by taking the description into account °ÀZ5.,.,À[5.,.j@@@@@@@±gp@@°#@ ° Š À‘ ²@@@@@@Y °ð /equal_boxed_int— °Àq8.·.»Àr8.·.Ê@Ð±@Ð³¸ )boxed_int°À|8.·.ÐÀ}8.·.Ù@ Ð!aÀ–Àõá@] F@\ý3qppqqqqq@°x>@A°ÀŠ8.·.ÍÀ‹8.·.Ï@@@À³ @@õá@\ÿ °@@Ð±@Ð!a°À—8.·.ÝÀ˜8.·.ß@@Ð±@Ð³Þ )boxed_int°À¢8.·.æÀ£8.·.ï@ Ð!bÀ–Àõá@]F@]&°À®8.·.ãÀ¯8.·.å@@@À³ @@õá@]-°@@Ð±@Ð!b3°À»8.·.óÀ¼8.·.õ@@Ð³c $bool°ÀÄ8.·.ùÀÅ8.·.ý@@À³ @@õá@]B°@@ÀÁ@Àª&@õá@]@õá@]G° @@ÀÁ@Àª#@õá@] @õá@]L°&@@ÀÁ@ÀªV@õá@] @õá@] Q°B@@ÀÁ@ÀªQ@õá@] @õá@]V°T@@Ð@°Àà8.·.·@@±ìq@@°@@\ °ð $meet˜ °Àë@õá@] @õá@]N°ÀN/Å/ÅÀ‘>/Å0@@@@@@@±s@@°@ ° ÀV À‘ ²@@@@@@3 °ð &usefulš °À§B0h0lÀ¨B0h0r@Ð±@Ð³* !t°À²B0h0uÀ³B0h0v@@À³ @@õá@]!3¡ ¡¡¡¡¡@°La8@A°@@Ð³` $bool°ÀÁB0h0zÀÂB0h0~@@À³ @@õá@]"°@@ÀÁ@Àª@õá@]#@õá@]$° @@Ð@°ÀÎB0h0h @ °û À‘ ² D An approximation is "useful" iff it is neither unknown nor bottom. °ÀÛA00ÀÜA00g@@@@@@@±èt@@°@ ° ¡ À‘ ²@@@@@@3 °ð .all_not_useful› °ÀòE0Ï0ÓÀóE0Ï0á@Ð±@Ð³X $list°ÀýE0Ï0æÀþE0Ï0ê@ Ð³ !t°ÀE0Ï0äÀE0Ï0å@@À³ @@õá@]%3öõõööööö@°VkB@A°@@@À³ @@õá@]'° @@Ð³º $bool°ÀE0Ï0îÀE0Ï0ò@@À³ @@õá@](°@@ÀÁ@Àª@õá@])@õá@]*° @@Ð@°À(E0Ï0Ï @ °U À‘ ² I Whether all approximations in the given list do *not* satisfy [useful]. °À5D0€0€À6D0€0Î@@@@@@@±Bu@@°@ ° eû À‘ ²@@@@@@8 °ð 0warn_on_mutationœ °ÀLJ1¬1°ÀMJ1¬1À@Ð±@Ð³Ï !t°ÀWJ1¬1ÃÀXJ1¬1Ä@@À³ @@õá@]+3FEEFFFFF@°Qp8@A°@@Ð³ $bool°ÀfJ1¬1ÈÀgJ1¬1Ì@@À³ @@õá@],°@@ÀÁ@Àª@õá@]-@õá@].° @@Ð@°ÀsJ1¬1¬ @ ° À‘ ² ² Whether to warn on attempts to mutate a value. It must have been resolved (it cannot be [Value_extern] or [Value_symbol]). (See comment above for further explanation.) °À€G0ô0ôÀI1f1«@@@@@@@±v@@°@ ° °F À‘ ²@@@@@@3 °¡A +±6simplification_summaryF °À˜L1Î1ÓÀ™L1Î1é@@;@@¢ à ,Nothing_donež@@°À¢M1ì1îÀ£M1ì1ü@@±¯x@ à -Replaced_termŸ@@°À«N1ý1ÿÀ¬N1ý2@@±¸y@@@A@@@@@°À¯L1Î1Î@@A@±»w@@ # °À¶M1ì1ð@@@@@ # °À¼N1ý2@@@@@@A@@@3¨§§¨¨¨¨¨@°cxO@A°@ °¡A +±5simplification_result G °ÀÊP22ÀËP22*@@;@@@AÀ’ @À³¡!t@@õá@]6 @À³J@@õá@]7 @À³`@@õá@]8@õá@]9@@@@°ÀæP22ÀçP22S@@@@±óz@@@AÐ’ @Ð³ ¡ 'Flambda°ÀöP22-À÷P224@ "°ÀúP225ÀûP226@°@@*3çææççççç@±±Alf:;@@@AÀ–À³B@@õá@]Dõá@]5@@@@$@@@!@A°@@ @Ð³1 6simplification_summary°ÀP229ÀP22O@@9°@@ @Ð³6 !t°ÀP22R7@@=!°8@@@P"°*9@@;@@3 @"@A°<;@ °¡A +±;simplification_result_named¡H °À+Q2T2YÀ,Q2T2t@@;@@aAÀ’ @À³¡ý%named@@õá@]I @À³ª@@õá@]J @À³À@@õá@]K@õá@]L@@@@°ÀFQ2T2TÀGQ2T2¡@@@@±S{@@@AÐ’ @Ð³ ¡ 'Flambda°ÀVQ2T2wÀWQ2T2~@ "°ÀZQ2T2À[Q2T2„@°@@*3GFFGGGGG@±±aš”9;@@@AÀ–À³A@@õá@]Wõá@]H@@@@$@@@!@A°@@ @Ð³1 6simplification_summary°ÀrQ2T2‡ÀsQ2T2@@9°@@ @Ð³6 !t°À}Q2T2 7@@=!°8@@@P"°*9@@;@@3jiijjjjj@"@A°<;@ °ð (simplify¢ °ÀŠV3p3tÀ‹V3p3|@Ð±@Ð³ !t°À•V3p3À–V3p3€@@À³ @@õá@][3„ƒƒ„„„„„@±=uo@A°@@Ð±@Ð³¡i!t ¡ 'Flambda°ÀªV3p3„À«V3p3‹@ °À®V3p3ŒÀ¯V3p3@°@@À³@@õá@]\°@@Ð³ò 5simplification_result°À¼V3p3‘À½V3p3¦@@À³ @@õá@]]'°@@ÀÁ@Àª@õá@]^@õá@]_,° @@ÀÁ@Àª4@õá@]` @õá@]a1°7@@Ð@°ÀÎV3p3p@ °û À‘ ² Ç Given an expression and its approximation, attempt to simplify the expression to a constant (with associated approximation), taking into account whether the expression has any side effects. °ÀÛS2£2£ÀÜU343o@@@@@@@±è|@@°"@ ° ¡ À‘ ²@@@@@@P °ð 2simplify_using_env£ °Àò\4¾4ÂÀó\4¾4Ô@Ð±@Ð³u !t°Àý]4Õ4ÚÀþ]4Õ4Û@@À³ @@õá@]b3ìëëììììì@°i~8@A°@@Ð±1is_present_in_envÐ±@Ð³¡i!t ¡ (Variable°À ^4Ü4ôÀ ^4Ü4ü@ °À ^4Ü4ýÀ ^4Ü4þ@°@@À³@@õá@]c°@@Ð³Ç $bool°À (^4Ü5À )^4Ü5@@À³ @@õá@]d+°@@ÀÁ@Àª@õá@]e@õá@]f0° @@Ð±@Ð³¡ÿ!t ¡ 'Flambda°À @_55 À A_55@ °À D_55À E_55@°@@À³@@õá@]gH°@@Ð³ˆ 5simplification_result°À R`55À S`551@@À³ @@õá@]hU°@@ÀÁ@Àª@õá@]i@õá@]jZ° @@ÀÁXÀª3@õá@]k @õá@]l_°À b^4Ü4á@@ÀÁ@Àªh@õá@]m @õá@]ne°k@@Ð@°À j\4¾4¾@ °— À‘ ² As for [simplify], but also enables us to simplify based on equalities between variables. The caller must provide a function that tells us whether, if we simplify to a given variable, the value of that variable will be accessible in the current environment. °À wX3¨3¨À x[4ˆ4½@@@@@@@± „}@@°(@ ° § = À‘ ²@@@@@@„ °ð .simplify_named¤ °À Žb5357À b535E@Ð±@Ð³ !t°À ™b535HÀ šb535I@@À³ @@õá@]o3 ˆ ‡ ‡ ˆ ˆ ˆ ˆ ˆ@°²8@A°@@Ð±@Ð³¡m%named ¡ 'Flambda°À ®b535MÀ ¯b535T@ °À ²b535UÀ ³b535Z@°@@À³@@õá@]p°@@Ð³• ;simplification_result_named°À Àb535^À Áb535y@@À³ @@õá@]q'°@@ÀÁ@Àª@õá@]r@õá@]s,° @@ÀÁ@Àª4@õá@]t @õá@]u1°7@@Ð@°À Òb5353@@± Þ~@@°@@7 °ð 8simplify_named_using_env¥ °À Ýd5{5À Þd5{5—@Ð±@Ð³` !t°À èe5˜5À ée5˜5ž@@À³ @@õá@]v3 × Ö Ö × × × × ×@°Pe@A°@@Ð±1is_present_in_envÐ±@Ð³¡T!t ¡ (Variable°À!f5Ÿ5·À!f5Ÿ5¿@ °À!f5Ÿ5ÀÀ!f5Ÿ5Á@°@@À³@@õá@]w°@@Ð³ ² $bool°À!f5Ÿ5ÅÀ!f5Ÿ5É@@À³ @@õá@]x+°@@ÀÁ@Àª@õá@]y@õá@]z0° @@Ð±@Ð³¡ê%named ¡ 'Flambda°À!+g5Ë5ÐÀ!,g5Ë5×@ °À!/g5Ë5ØÀ!0g5Ë5Ý@°@@À³@@õá@]{H°@@Ð³ ;simplification_result_named°À!=h5Þ5ãÀ!>h5Þ5þ@@À³ @@õá@]|U°@@ÀÁ@Àª@õá@]}@õá@]~Z° @@ÀÁXÀª3@õá@] @õá@]€_°À!Mf5Ÿ5¤@@ÀÁ@Àªh@õá@] @õá@]‚e°k@@Ð@°À!Ud5{5{@@±!a@@°@@k °ð =simplify_var_to_var_using_env¦ °À!`m6¼6ÀÀ!am6¼6Ý@Ð±@Ð³ã !t°À!kn6Þ6ãÀ!ln6Þ6ä@@À³ @@õá@]ƒ3!Z!Y!Y!Z!Z!Z!Z!Z@°„™@A°@@Ð±1is_present_in_envÐ±@Ð³¡×!t ¡ (Variable°À!„o6å6ýÀ!…o6å7@ °À!ˆo6å7À!‰o6å7@°@@À³@@õá@]„°@@Ð³!5 $bool°À!–o6å7À!—o6å7@@À³ @@õá@]…+°@@ÀÁ@Àª@õá@]†@õá@]‡0° @@Ð³ æ &option°À!¨p77!À!©p77'@ Ð³¡ !t ¡ (Variable°À!¶p77À!·p77@ °À!ºp77À!»p77 @°@@À³@@õá@]ˆP°@@@À³ @@õá@]ŠU°@@ÀÁSÀª.@õá@]‹ @õá@]ŒZ°À!Ëo6å6ê#@@ÀÁ@Àªc@õá@] @õá@]Ž`°f(@@Ð@°À!Óm6¼6¼+@ ° À‘ ² ¶ If the given approximation identifies another variable and [is_present_in_env] deems it to be in scope, return that variable (wrapped in a [Some]), otherwise return [None]. °À!àj66À!ál6Ž6»@@@@@@@±!í€@@°;@ ° !¦ À‘ ²@@@@@@ °ð ,simplify_var§ °À!÷r7)7-À!ør7)79@Ð±@Ð³z !t°À"r7)7<À"r7)7=@@À³ @@õá@]3!ñ!ð!ð!ñ!ñ!ñ!ñ!ñ@°˜8@A°@@Ð³!O &option°À"r7)7UÀ"r7)7[@ Ð’ @Ð³¡â%named ¡ 'Flambda°À"#r7)7BÀ"$r7)7I@ °À"'r7)7JÀ"(r7)7O@°@@À³@@õá@]&°@@ @Ð³¯ !t°À"7r7)7RÀ"8r7)7S@@À³ @@õá@]‘5°@@@À’ @ @ @õá@]’<°!@@@À³: @@õá@]”A°À"Ir7)7A8@@ÀÁ@ÀªJ@õá@]• @õá@]–G°M=@@Ð@°À"Qr7)7)@@@±"]@@°B@@M °¡A +±0get_field_result¨I °À"]t7]7bÀ"^t7]7r@@;@@¢ à "Ok© À³æ@@õá@]—@@°À"lu7u7wÀ"mu7u7€@@±"yƒ@ à +Unreachableª@@°À"uv77ƒÀ"vv77@@±"‚„@@@A@@@@@°À"yt7]7]@@@@±"…‚@@ # °À"€u7u7yÀ"u7u7{@@ Ð³ !t°À"Šu7u7@@$3"u"t"t"u"u"u"u"u@±°†›?5;@@@A@@@@@@@@@A°$@@@@&@ #" "°À"•v77… @@@@#@@A@@@3""€"€"""""@@A° #@ °ð )get_field« °À"¡~99À"¢~99@Ð±@Ð³$ !t°À"¬~99À"~99@@À³ @@õá@]Ÿ3"›"š"š"›"›"›"›"›@±&ZT@A°@@Ð±+field_indexÐ³" #int°À"¿~99$À"À~99'@@À³ @@õá@] °@@Ð³o 0get_field_result°À"Ì~99+À"Í~99;@@À³ @@õá@]¡ °@@ÀÁÀª@õá@]¢@õá@]£%°À"×~99@@ÀÁ@Àª.@õá@]¤ @õá@]¥+°1@@Ð@°À"ß~99@ ° À‘ ² k Given the approximation [t] of a value, expected to correspond to a block (in the [Pmakeblock] sense of the word), and a field index then return an appropriate approximation for that field of the block (or [Unreachable] if the code with the approximation [t] is unreachable). N.B. Not all cases of unreachable code are returned as [Unreachable]. °À"ìx7’7’À"í}99@@@@@@@±"ù…@@°#@ ° "² À‘ ²@@@@@@J °¡A +±8checked_approx_for_block¬J °À#€9=9BÀ#€9=9Z@@;@@¢ à %Wrong@@°À#9]9_À#9]9f@@±#‡@ à "Ok® À³¡Z!t@@õá@]¦ À³"‹ À³¡@@õá@]§@@õá@]©@@°À#(‚9g9iÀ#)‚9g9€@@±#5ˆ@@@A@@@@@°À#,€9=9=@@@@±#8†@@ #' '°À#39]9a%@$@@@(@ #$ $°À#9‚9g9kÀ#:‚9g9m@@ Ð³& ¡ #Tag°À#E‚9g9qÀ#F‚9g9t@ -°À#I‚9g9uÀ#J‚9g9v@°@@53#6#5#5#6#6#6#6#6@±°²rO;@@@A@@@@@&@@@$@A° @@ Ð³5 %array°À#Y‚9g9{1@ Ð³9 !t°À#a‚9g9yÀ#b‚9g9z@@A°@@@F°<@@@@>@@A@:@@3#O#N#N#O#O#O#O#O@@A°;>@ °ð 6check_approx_for_block¯ °À#o†9Ü9àÀ#p†9Ü9ö@Ð±@Ð³ò !t°À#z†9Ü9ùÀ#{†9Ü9ú@@À³ @@õá@]¶3#i#h#h#i#i#i#i#i@±3{@A°@@Ð³… 8checked_approx_for_block°À#‰†9Ü9þÀ#Š†9Ü:@@À³ @@õá@]·°@@ÀÁ@Àª@õá@]¸@õá@]¹° @@Ð@°À#–†9Ü9Ü @ °Ã À‘ ² T Try to prove that a value with the given approximation may be used as a block. °À#£„9‚9‚À#¤…9É9Û@@@@@@@±#°‰@@°@ ° Ó#i À‘ ²@@@@@@3 °ð 4approx_for_bound_var° °À#º‹:Ë:ÏÀ#»‹:Ë:ã@Ð±@Ð³™ 5value_set_of_closures°À#Å‹:Ë:æÀ#Æ‹:Ë:û@@À³ @@õá@]º3#´#³#³#´#´#´#´#´@°La8@A°@@Ð±@Ð³¡í!t ¡ 2Var_within_closure°À#Ú‹:Ë:ÿÀ#Û‹:Ë;@ °À#Þ‹:Ë;À#ß‹:Ë;@°@@À³@@õá@]»°@@Ð³ d !t°À#ì‹:Ë;À#í‹:Ë;@@À³ @@õá@]¼'°@@ÀÁ@Àª@õá@]½@õá@]¾,° @@ÀÁ@Àª4@õá@]¿ @õá@]À1°7@@Ð@°À#þ‹:Ë:Ë@ ° + À‘ ² Find the approximation for a bound variable in a set-of-closures approximation. A fatal error is produced if the variable is not bound in the given approximation. °À$ˆ::À$Š:«:Ê@@@@@@@±$Š@@°"@ ° ;#Ñ À‘ ²@@@@@@P °ð @@A@:@@3$ß$Þ$Þ$ß$ß$ß$ß$ß@@A°;>@ °ð 'strict_check_approx_for_set_of_closuresµ °À$ÿš==À%š===@Ð±@Ð³!‚ !t°À% ›=>=CÀ%›=>=D@@À³ @@õá@]Ø3$ù$ø$ø$ù$ù$ù$ù$ù@±*{@A°@@Ð³… )strict_checked_approx_for_set_of_closures°À%œ=E=JÀ%œ=E=s@@À³ @@õá@]Ù°@@ÀÁ@Àª@õá@]Ú@õá@]Û° @@Ð@°À%&š== @@±%2@@°@@ °¡A +± "checked_approx_for_set_of_closures¶L °À%2ž=u=zÀ%3ž=u=œ@@;@@¢ à %Wrong·@@°À%<Ÿ=Ÿ=¡À%=Ÿ=Ÿ=¨@@±%I‘@ à *Unresolved¸ À³"s@@õá@]Ü@@°À%J =©=«À%K =©=Ë@@±%W’@ à 'Unknown¹@@°À%S¡=Ì=ÎÀ%T¡=Ì=×@@±%`“@ à #Unknown_because_of_unresolved_valueº À³"Š@@õá@]Ý@@°À%a¢=Ø=ÚÀ%b¢=Ø>@@±%n”@ à "Ok» À³$¯ À³¡!Ì!t@@õá@]Þ@@õá@]à À³!Q@@õá@]á@@°À%{¥>Ž>À%|¥>Ž>Á@@±%ˆ•@@@A@@@@@°À%ž=u=u@@@@±%‹@@ #L L°À%†Ÿ=Ÿ=£J@I@@@M@ #I I°À%Œ =©=À% =©=·@B@ Ð³K 0unresolved_value°À%– =©=»L@@R3%%€%€%%%%%@±°ŠŸvl;@@@A@@@@@@@@@A°R@@@@T@ #P P°À%¡¡=Ì=ÐN@M@@@Q@ #M M°À%§¢=Ø=ÜÀ%¨¢=Ø=ÿ@F@ Ð³O 0unresolved_value°À%±¢=Ø>P@@V°Q@@@@S@ #O O°À%·¥>Ž>’À%¸¥>Ž>”@<@ Ð³Q &option°À%Á¥>Ž>£À%Â¥>Ž>©@ Ð³V ¡ (Variable°À%Ì¥>Ž>˜À%Í¥>Ž> @ ]°À%Ð¥>Ž>¡À%Ñ¥>Ž>¢@°@@e<°@@@j=° @@ Ð³` 5value_set_of_closures°À%Ü¥>Ž>¬a@@gF°b@@@@d@@A@`@@3%È%Ç%Ç%È%È%È%È%È@F@A°ad@ °ð check_approx_for_set_of_closures¼ °À%èª?ˆ?ŒÀ%éª?ˆ?¬@Ð±@Ð³"k !t°À%óª?ˆ?¯À%ôª?ˆ?°@@À³ @@õá@]ò3%â%á%á%â%â%â%â%â@±aÌÆ@A°@@Ð³Ð "checked_approx_for_set_of_closures°À&ª?ˆ?´À&ª?ˆ?Ö@@À³ @@õá@]ó°@@ÀÁ@Àª@õá@]ô@õá@]õ° @@Ð@°À&ª?ˆ?ˆ @ °"< À‘ ² ¿ Try to prove that a value with the given approximation may be used as a set of closures. Values coming from external compilation units with unresolved approximations are permitted. °À&§>Ã>ÃÀ&©?X?‡@@@@@@@±&)–@@°@ ° "L%â À‘ ²@@@@@@3 °¡A +±:checked_approx_for_closure½M °À&4¬?Ø?ÝÀ&5¬?Ø?÷@@;@@¢ à %Wrong¾@@°À&>?ú?üÀ&??ú@@@±&K˜@ à "Ok¿ À³"B@@õá@]ö À³%‘ À³¡"®!t@@õá@]÷@@õá@]ù À³% À³¡#g!t@@õá@]ú@@õá@]ü À³"?@@õá@]ý@@°À&i®@@À&j¯@0@c@@±&v™@@@A@@@@@°À&m¬?Ø?Ø@@@@±&y—@@ #8 8°À&t?ú?þ6@5@@@9@ #5 5°À&z®@@À&{®@@ @@ Ð³7 -value_closure°À&„®@@À&…®@@@@?3&p&o&o&p&p&p&p&p@±°¥|Y;@@@A@@@@@@@@@A°@@ Ð³A &option°À&“®@@)À&”®@@/@ Ð³F ¡ (Variable°À&ž®@@À&Ÿ®@@&@ M°À&¢®@@'À&£®@@(@°@@U°@@@Z ° @@ Ð³P &option°À&®¯@0@EÀ&¯¯@0@K@ Ð³U ¡ &Symbol°À&¹¯@0@<À&º¯@0@B@ \°À&½¯@0@CÀ&¾¯@0@D@°@@d:°@@@i;° @@ Ð³_ 5value_set_of_closures°À&É¯@0@N`@@fD°a@@@@c@@A@_@@3&µ&´&´&µ&µ&µ&µ&µ@D@A°`c@ °ð 8check_approx_for_closureÀ °À&Õ¶AžA¢À&Ö¶AžAº@Ð±@Ð³#X !t°À&à¶AžA½À&á¶AžA¾@@À³ @@õá@^3&Ï&Î&Î&Ï&Ï&Ï&Ï&Ï@±_·±@A°@@Ð³» :checked_approx_for_closure°À&ï¶AžAÂÀ&ð¶AžAÜ@@À³ @@õá@^°@@ÀÁ@Àª@õá@^@õá@^° @@Ð@°À&ü¶AžAž @ °#) À‘ ² » Try to prove that a value with the given approximation may be used as a closure. Values coming from external compilation units with unresolved approximations are not permitted. °À' ±@e@eÀ' ³@ýA%@@@@@@@±'š@@°@ ° #9&Ï À‘ ²@@@@@@3 °¡A +± .checked_approx_for_closure_allowing_unresolvedÁN °À'!¸AÞAãÀ'"¸AÞB@@;@@¢ à %WrongÂ@@°À'+¹BBÀ',¹BB@@±'8œ@ à *UnresolvedÃ À³$b@@õá@^@@°À'9ºBB À':ºBB@@@±'F@ à 'UnknownÄ@@°À'B»BABCÀ'C»BABL@@±'Ož@ à #Unknown_because_of_unresolved_valueÅ À³$y@@õá@^@@°À'P¼BMBOÀ'Q¼BMBˆ@@±']Ÿ@ à "OkÆ À³#T@@õá@^ À³&£ À³¡#À!t@@õá@^@@õá@^ À³&¯ À³¡$y!t@@õá@^@@õá@^ À³#Q@@õá@^@@°À'{½B‰B‹À'|¾BµBè@@±'ˆ @@@A@@@@@°À'¸AÞAÞ@@@@±'‹›@@ #] ]°À'†¹BB[@Z@@@^@ #Z Z°À'ŒºBB"À'ºBB,@S@ Ð³\ 0unresolved_value°À'–ºBB0]@@c3''€'€'''''@±°´É };@@@A@@@@@@@@@A°c@@@@e@ #a a°À'¡»BABE_@^@@@b@ #^ ^°À'§¼BMBQÀ'¨¼BMBt@W@ Ð³` 0unresolved_value°À'±¼BMBxa@@g°b@@@@d@ #` `°À'·½B‰BÀ'¸½B‰B@<@ Ð³b -value_closure°À'Á½B‰B“À'Â½B‰B @@j,°@@ Ð³g &option°À'Ë½B‰B®À'Ì½B‰B´@ Ð³l ¡ (Variable°À'Ö½B‰B£À'×½B‰B«@ s°À'Ú½B‰B¬À'Û½B‰B@°@@{F°@@@€G° @@ Ð³v &option°À'æ¾BµBÊÀ'ç¾BµBÐ@ Ð³{ ¡ &Symbol°À'ñ¾BµBÁÀ'ò¾BµBÇ@ ‚°À'õ¾BµBÈÀ'ö¾BµBÉ@°@@Ša°@@@b° @@ Ð³… 5value_set_of_closures°À(¾BµBÓ†@@Œk°‡@@@@‰@@A@…@@3'í'ì'ì'í'í'í'í'í@k@A°†‰@ °ð ,check_approx_for_closure_allowing_unresolvedÇ °À( ÂCxC|À(ÂCxC¨@Ð±@Ð³$ !t°À(ÃC©C®À(ÃC©C¯@@À³ @@õá@^63((((((((@±†ü@A°@@Ð³ .checked_approx_for_closure_allowing_unresolved°À('ÄC°CµÀ((ÄC°Cã@@À³ @@õá@^7°@@ÀÁ@Àª@õá@^8@õá@^9° @@Ð@°À(4ÂCxCx @ °$a À‘ ² ˆ As for [check_approx_for_closure], but values coming from external compilation units with unresolved approximations are permitted. °À(AÀBêBêÀ(BÁC1Cw@@@@@@@±(N¡@@°@ ° $q( À‘ ²@@@@@@3 °ð 6check_approx_for_floatÈ °À(XÇD)D-À(YÇD)DC@Ð±@Ð³$Û !t°À(cÇD)DFÀ(dÇD)DG@@À³ @@õá@^:3(R(Q(Q(R(R(R(R(R@°La8@A°@@Ð³'° &option°À(rÇD)DQÀ(sÇD)DW@ Ð³(! %float°À(|ÇD)DKÀ(}ÇD)DP@@À³ @@õá@^;°@@@À³ @@õá@^=°@@ÀÁ@Àª&@õá@^> @õá@^?#°)@@Ð@°À(ŽÇD)D)@ °$» À‘ ² > Returns the value if it can be proved to be a constant float °À(›ÆCåCåÀ(œÆCåD(@@@@@@@±(¨¢@@°,@ ° $Ë(a À‘ ²@@@@@@B °ð 7float_array_as_constantÉ °À(²ÊD£D§À(³ÊD£D¾@Ð±@Ð³$ 1value_float_array°À(½ÊD£DÁÀ(¾ÊD£DÒ@@À³ @@õá@^@3(¬(«(«(¬(¬(¬(¬(¬@°[p8@A°@@Ð³( &option°À(ÌÊD£DáÀ(ÍÊD£Dç@ Ð³(1 $list°À(ÖÊD£DÜÀ(×ÊD£Dà@ Ð³(… %float°À(àÊD£DÖÀ(áÊD£DÛ@@À³ @@õá@^A#°@@@À³ @@õá@^C(°@@@À³& @@õá@^E-°#@@ÀÁ@Àª5@õá@^F @õá@^G2°8(@@Ð@°À(÷ÊD£D£+@ °%$ À‘ ² D Returns the value if it can be proved to be a constant float array °À)ÉDYDYÀ)ÉDYD¢@@@@@@@±)£@@°;@ ° %4(Ê À‘ ²@@@@@@Q °ð 7check_approx_for_stringÊ °À)ÍE.E2À)ÍE.EI@Ð±@Ð³%ž !t°À)&ÍE.ELÀ)'ÍE.EM@@À³ @@õá@^H3))))))))@°j8@A°@@Ð³(s &option°À)5ÍE.EXÀ)6ÍE.E^@ Ð³(ð &string°À)?ÍE.EQÀ)@ÍE.EW@@À³ @@õá@^I°@@@À³ @@õá@^K°@@ÀÁ@Àª&@õá@^L @õá@^M#°)@@Ð@°À)QÍE.E.@ °%~ À‘ ² ? Returns the value if it can be proved to be a constant string °À)^ÌDéDéÀ)_ÌDéE-@@@@@@@±)k¤@@°,@ ° %Ž)$ À‘ ²@@@@@@B °¡A +±7switch_branch_selectionËO °À)vÏE`EeÀ)wÏE`E|@@;@@¢ à /Cannot_be_takenÌ@@°À)€ÐEEÀ)ÐEE’@@±)¦@ à ,Can_be_takenÍ@@°À)‰ÑE“E•À)ŠÑE“E£@@±)–§@ à -Must_be_takenÎ@@°À)’ÒE¤E¦À)“ÒE¤Eµ@@±)Ÿ¨@@@A@@@@@°À)–ÏE`E`@@A@±)¢¥@@ # °À)ÐEEƒ@@@@ @ # °À)£ÑE“E—@@@@@ # °À)©ÒE¤E¨@@@@@@A@@@3)•)”)”)•)•)•)•)•@°–^@A°@ °ð %potentially_taken_const_switch_branchÏ °À)¶ÕEùEýÀ)·ÕEùF"@Ð±@Ð³&9 !t°À)ÁÕEùF%À)ÂÕEùF&@@À³ @@õá@^T3)°)¯)¯)°)°)°)°)°@±VP@A°@@Ð±@Ð³)’ #int°À)ÒÕEùF*À)ÓÕEùF-@@À³ @@õá@^U°@@Ð³i 7switch_branch_selection°À)ßÕEùF1À)àÕEùFH@@À³ @@õá@^V°@@ÀÁ@Àª@õá@^W@õá@^X#° @@ÀÁ@Àª+@õá@^Y @õá@^Z(°.@@Ð@°À)ñÕEùEù@ °& À‘ ² < Check that the branch is compatible with the approximation °À)þÔE·E·À)ÿÔE·Eø@@@@@@@±*©@@°"@ ° &.)Ä À‘ ²@@@@@@G °ð %potentially_taken_block_switch_branchÐ °À*ÖFIFMÀ*ÖFIFr@Ð±@Ð³&˜ !t°À* ÖFIFuÀ*!ÖFIFv@@À³ @@õá@^[3********@°`u8@A°@@Ð±@Ð³)ñ #int°À*1ÖFIFzÀ*2ÖFIF}@@À³ @@õá@^\°@@Ð³È 7switch_branch_selection°À*>ÖFIFÀ*?ÖFIF˜@@À³ @@õá@^]°@@ÀÁ@Àª@õá@^^@õá@^_#° @@ÀÁ@Àª+@õá@^` @õá@^a(°.@@Ð@°À*PÖFIFI@@±*\ª@@°@@. °ð .function_arityÑ °À*[ØFšFžÀ*\ØFšF¬@Ð±@Ð³&B 4function_declaration°À*fØFšF¯À*gØFšFÃ@@À³ @@õá@^b3*U*T*T*U*U*U*U*U@°G\@A°@@Ð³*5 #int°À*uØFšFÇÀ*vØFšFÊ@@À³ @@õá@^c°@@ÀÁ@Àª@õá@^d@õá@^e° @@Ð@°À*‚ØFšFš @@±*Ž«@@°@@ °ð !t ¡ 6Set_of_closures_origin°À+}äH+HMÀ+~äH+Hc@ °À+äH+HdÀ+‚äH+He@°@@À³@@õá@^ug°@@ÀÁ@Àª@õá@^v@õá@^wl°&@@Ð³'€ 5function_declarations°À+”åHgHlÀ+•åHgH@@À³ @@õá@^xy°@@ÀÁ@Àª@õá@^y@õá@^z~°À+ŸäH+H0@@ÀÁ@ÀªQ@õá@^{ @õá@^|„°À+¥ãG÷Gü@@ÀÁ@Àª@õá@^} @õá@^~Š°@@Ð@°À+áG²G²@@±+¹@@°@@ °ð update_function_declaration_bodyÔ °À+¸çHƒH‡À+¹çHƒH§@Ð±@Ð³'Ÿ 4function_declaration°À+ÃèH¨H®À+ÄèH¨HÂ@@À³ @@õá@^3+²+±+±+²+²+²+²+²@°©¾@A°@@Ð±@Ð±@Ð³¡#™!t ¡ 'Flambda°À+ÚéHÃHÊÀ+ÛéHÃHÑ@ °À+ÞéHÃHÒÀ+ßéHÃHÓ@°@@À³@@õá@^€°@@Ð³¡#¯!t ¡ 'Flambda°À+ðéHÃH×À+ñéHÃHÞ@ °À+ôéHÃHßÀ+õéHÃHà@°@@À³@@õá@^2°@@ÀÁ@Àª@õá@^‚@õá@^ƒ7°&@@Ð³'ã 4function_declaration°À,êHâHèÀ,êHâHü@@À³ @@õá@^„D°@@ÀÁ@Àª@õá@^…@õá@^†I°À,éHÃHÉ@@ÀÁ@ÀªR@õá@^‡ @õá@^ˆO°U@@Ð@°À,çHƒHƒ@@±,&®@@°@@U °ð 0make_closure_map °À,%îIzI~À,&îIzIŽ@Ð±@Ð³¡¡)G#Map!t ¡ ¡ 2Set_of_closures_id°À,8ïIIªÀ,9ïII¼@ °À,<ïII½À,=ïIIÀ@°@ °À,AïIIÁÀ,BïIIÂ@°@ Ð³(8 5function_declarations°À,LïII”À,MïII©@@À³ @@õá@b½3,;,:,:,;,;,;,;,;@°ŠŸ;@A°@@@À³+ @@õá@b¿° @@Ð³¡¡%„#Map!t ¡ ¡ *Closure_id°À,hðIÃIÞÀ,iðIÃIè@ °À,lðIÃIéÀ,mðIÃIì@°@ °À,qðIÃIíÀ,rðIÃIî@°@ Ð³(h 5function_declarations°À,|ðIÃIÈÀ,}ðIÃIÝ@@À³ @@õá@bÀ0°@@@À³) @@õá@bÂ5°@@ÀÁ@Àª7@õá@bÃ @õá@bÄ:°@@@Ð@°À,ŽîIzIz@ °(» À‘ ² v Creates a map from closure IDs to function declarations by iterating over all sets of closures in the given map. °À,›ìHþHþÀ,œíILIy@@@@@@@±,¨¯@@°-@ ° (Ë,a À‘ ²@@@@@@Y °ð 5clear_function_bodies °À,²òIðIôÀ,³òIðJ @Ð±@Ð³(© 5function_declarations°À,½òIðJÀ,¾òIðJ!@@À³ @@õá@bÅ3,¬,«,«,¬,¬,¬,¬,¬@°r£8@A°@@Ð³(¸ 5function_declarations°À,ÌòIðJ%À,ÍòIðJ:@@À³ @@õá@bÆ°@@ÀÁ@Àª@õá@bÇ@õá@bÈ° @@Ð@°À,ÙòIðIð @@±,å°@@°@@@ Á+*ÿA@ Á*o*iA@ Á* *A@ Á)¥)ŸA@ Á)b)\A@ Á)U(3B@ Á(â&&B@ Á(Ü%ØB@ Á(Ö%$B@ Á(Ð#¸B@ Á(Ê##B@ Á(Ä ƒB@ Á(¾ AB@ °þÍ@ °f@ °_@ °ù³@ °¬f@ °_@ °@ °ˆž@ °—E@ °>@ °õÌ@ °Åœ@ °•l@ °eP@ °I@ °Þ@ °×‹@ °„A@ °:å@ °Þ¬@ °¥s@ °lW@ °P'@ ° m@ °M@ °à”@ °t(@ °!Õ@ °Î‚@ °{@ °Â@ °»o@ °h@ °É@ °Â\@ °U@ °ï©@ °‰/@ °Ò@ °²l@ °Lý@ °Ýl@ °eý@ °öÍ@ °„@ °d,@ °ã@ ÁÂ¼A@ Á’ŒA@ Á3-A@ ° Ö @ ° pö@ °Ö@ °‰@ °“@ °s@ Á A@ ° Í @ Á l fA@ ° Ú@ ° º t@ ° T @ ÁäÞA@ °{R@ ÁJDA@ °–m@ ÁLFA@ °„@ Ác]A@ °yP@ °0ø@ °Ø‘@ °q9@ ÁA@ °Ú@ °}@@ °9@ ° ¨@ °ˆé@ °â~@ °w@ °ìÃ@@3-„-ƒ-ƒ-„-„-„-„-„@°ÙîÅ@A@ H************************************************************************°À- A@@À-¡A@L@ H °À-¦BMMÀ-§BM™@ H OCaml °À-¬CššÀ-Cšæ@ H °À-²DççÀ-³Dç3@ H Pierre Chambart, OCamlPro °À-¸E44À-¹E4€@ H Mark Shinwell and Leo White, Jane Street Europe °À-¾FÀ-¿FÍ@ H °À-ÄGÎÎÀ-ÅGÎ@ H Copyright 2013--2016 OCamlPro SAS °À-ÊHÀ-ËHg@ H Copyright 2014--2016 Jane Street Group LLC °À-ÐIhhÀ-ÑIh´@ H °À-ÖJµµÀ-×Jµ@ H All rights reserved. This file is distributed under the terms of °À-ÜKÀ-ÝKN@ H the GNU Lesser General Public License version 2.1, with the °À-âLOOÀ-ãLO›@ H special exception on linking described in the file LICENSE. °À-èMœœÀ-éMœè@ H °À-îNééÀ-ïNé5@ H************************************************************************°À-ôO66À-õO6‚@ Å* Simple approximations to the runtime results of computations. This pass is designed for speed rather than accuracy; the performance is important since it is used heavily during inlining. ,A > [None] if unknown or mutable °À-ý]ÿÀ-þ]ÿ>@ l* A value of type [t] corresponds to an "approximation" of the result of a computation in the program being compiled. That is to say, it represents what knowledge we have about such a result at compile time. The simplification pass exploits this information to partially evaluate computations. At a high level, an approximation for a value [v] has three parts: - the "description" (for example, "the constant integer 42"); - an optional variable; - an optional symbol or symbol field. If the variable (resp. symbol) is present then that variable (resp. symbol) may be used to obtain the value [v]. The exact semantics of the variable and symbol fields follows. Approximations are deduced at particular points in an expression tree, but may subsequently be propagated to other locations. At the point at which an approximation is built for some value [v], we can construct a set of variables (call the set [S]) that are known to alias the same value [v]. Each member of [S] will have the same or a more precise [descr] field in its approximation relative to the approximation for [v]. (An increase in precision may currently be introduced for pattern matches.) If [S] is non-empty then it is guaranteed that there is a unique member of [S] that was declared in a scope further out ("earlier") than all other members of [S]. If such a member exists then it is recorded in the [var] field. Otherwise [var] is [None]. Analogous to the construction of the set [S], we can construct a set [T] consisting of all symbols that are known to alias the value whose approximation is being constructed. If [T] is non-empty then the [symbol] field is set to some member of [T]; it does not matter which one. (There is no notion of scope for symbols.) Note about mutable blocks: Mutable blocks are always represented by [Value_unknown] or [Value_bottom]. Any other approximation could leave the door open to a miscompilation. Such bad scenarios are most likely a user using [Obj.magic] or [Obj.set_field] in an inappropriate situation. Such a situation might be: [let x = (1, 1) in Obj.set_field (Obj.repr x) 0 (Obj.repr 2); assert(fst x = 2)] The user would probably expect the assertion to be true, but the compiler could in fact propagate the value of [x] across the [Obj.set_field]. Insisting that mutable blocks have [Value_unknown] or [Value_bottom] approximations certainly won't always prevent this kind of error, but should help catch many of them. It is possible that there may be some false positives, with correct but unreachable code causing this check to fail. However the likelihood of this seems sufficiently low, especially compared to the advantages gained by performing the check, that we include it. An example of a pattern that might trigger a false positive is: [type a = { a : int } type b = { mutable b : int } type _ t = | A : a t | B : b t let f (type x) (v:x t) (r:x) = match v with | A -> r.a | B -> r.b <- 2; 3 let v = let r = ref A in r := A; (* Some pattern that the compiler can't understand *) f !r { a = 1 }] When inlining [f], the B branch is unreachable, yet the compiler cannot prove it and must therefore keep it. *! ) No description was found for this value °À.ŠÐÔÀ.ŠÐ@ } CR-soon mshinwell: add support for the approximations of the results, so we can do all of the tricky higher-order cases. °À.«ÖÖÀ. ¬%W@ ( when [is_classic_mode] is [false], functions in [function_declarations] are guaranteed to have function bodies (ie: [function_declaration.function_body] will be of the [Some] variant). When it [is_classic_mode] is [true], however, no guarantees about the function_bodies are given. °À.XXÀ.³‚„@ [* For functions that are very likely to be inlined, the size of the function's body. #§ ; Any freshening that has been applied to [function_decls]. °À.¾^`À.¾^Ÿ@ 5* Extraction of the description of approximation(s). ç 4* Pretty-printing of approximations to a formatter. 2 (* Basic construction of approximations. # * Construct a closure approximation given the approximation of the corresponding set of closures and the closure ID of the closure to be projected from such set. [closure_var] and/or [set_of_closures_var] may be specified to augment the approximation with variables that may be used to access the closure value itself, so long as they are in scope at the proposed point of use. b Œ* Construct a set of closures approximation. [set_of_closures_var] is as for the parameter of the same name in [value_closure], above. ö ƒ* Take the given constant and produce an appropriate approximation for it together with an Flambda expression representing it. ‹ Ð* Augment an approximation with a given variable (see comment above). If the approximation was already augmented with a variable, the one passed to this function replaces it within the approximation. õ <* Like [augment_with_variable], but for symbol information. @* Like [augment_with_symbol], but for symbol field information. 3* Replace the description within an approximation. » :* Improve the description by taking the kind into account V :* Improve the kind by taking the description into account è ˆ CR-soon mshinwell for pchambart: Add comment describing semantics. (Maybe we should move the comment from the .ml file into here.) °À.E:.ÿ.ÿÀ.F;/M/‹@ =* An approximation is "known" iff it is not [Value_unknown]. » E* An approximation is "useful" iff it is neither unknown nor bottom. s J* Whether all approximations in the given list do *not* satisfy [useful]. ³* Whether to warn on attempts to mutate a value. It must have been resolved (it cannot be [Value_extern] or [Value_symbol]). (See comment above for further explanation.) Ô È* Given an expression and its approximation, attempt to simplify the expression to a constant (with associated approximation), taking into account whether the expression has any side effects. | * As for [simplify], but also enables us to simplify based on equalities between variables. The caller must provide a function that tells us whether, if we simplify to a given variable, the value of that variable will be accessible in the current environment. ã ·* If the given approximation identifies another variable and [is_present_in_env] deems it to be in scope, return that variable (wrapped in a [Some]), otherwise return [None]. } l* Given the approximation [t] of a value, expected to correspond to a block (in the [Pmakeblock] sense of the word), and a field index then return an appropriate approximation for that field of the block (or [Unreachable] if the code with the approximation [t] is unreachable). N.B. Not all cases of unreachable code are returned as [Unreachable]. t U* Try to prove that a value with the given approximation may be used as a block. À ®* Find the approximation for a bound variable in a set-of-closures approximation. A fatal error is produced if the variable is not bound in the given approximation. [ "* Given a set-of-closures approximation and a closure ID, apply any freshening specified by the approximation to the closure ID, and return the resulting ID. Causes a fatal error if the resulting closure ID does not correspond to any function declaration in the approximation. í s In the [Ok] case, there may not be a variable associated with the set of closures; it might be out of scope. °À.l£>>À.m¤>b>@ À* Try to prove that a value with the given approximation may be used as a set of closures. Values coming from external compilation units with unresolved approximations are permitted. V ¼* Try to prove that a value with the given approximation may be used as a closure. Values coming from external compilation units with unresolved approximations are not permitted. l s CR-someday mshinwell: naming is inconsistent: this is as "strict" as "strict_check_approx_for_set_of_closures" °À.x´A&A&À.yµAkA@ ‰* As for [check_approx_for_closure], but values coming from external compilation units with unresolved approximations are permitted. = ?* Returns the value if it can be proved to be a constant float æ E* Returns the value if it can be proved to be a constant float array € @* Returns the value if it can be proved to be a constant string ) =* Check that the branch is compatible with the approximation Œ [* Create a set of function declarations based on another set of function declarations. ” w* Creates a map from closure IDs to function declarations by iterating over all sets of closures in the given map. õ@ó-./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"-I2middle_end/flambda"-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.Ê.Ë F/home/ci/builds/workspace/main/flambda/false/label/ocaml-ubuntu-latest > 1 0 / . - , + * ) ( ' & % $ # " ! @@0Bbœ÷¸îP1¼DJyÞ}3.Ò.Ñ.Ñ.Ò.Ò.Ò.Ò.Ò@.Ð@@ /Allocated_const0—/v«V˜ëÇŸøxšš (Asttypes0ÁeT$B¹b‚RMü Ädc 5Build_path_prefix_map0DGl…Ê}Ã%Yÿ5µLhi 8CamlinternalFormatBasics0“…Ä|.e1R¾$½ŠÕ|o 0CamlinternalLazy0é ÈzYØ#¾â #4²ñ#- 2Clambda_primitives0ïØ|&»”Á%ZIÇz /Closure_element0¢ Ç”‰¡¿f#M†ö (0 (—ïú‚?ª$ŽŽÏñ .Closure_origin0!Hðaðvl³·¨Ú5"_ *Cmi_format0ŸÀø±®µ¡`M¾{?w}@ 0Compilation_unit0òöD£lˆ ]wN *Data_types0v\ò«É3Ï,¦S€ví¿hø )Debuginfo0_‹·Œí|Po†oÓGq #Env0¬–áS—½ ÖïBµ™2 (¢0ÕCJ9D×ŸRaý7Ý·$E &'0“¤æVåJíŒÎëÍŸª *Format_doc0¯æuy@½…GmWðUà #0xWŸþ(¥"-9wõV¥öÔ %Ident0>®Ðƒ²Ðz€V)±j¢â ,Identifiable0ä]¡/§*N »Ì‡ 7Internal_variable_names0TbÁg€Ñ¹•äG+L› &Lambda0®xÏ_eódT Õ-uq ,Linkage_name0t–Š¼†ÔˆïK¨1G« )Load_path0Å,jÚ ¡ö"¡–nn7Ý (Location0–ÈnBÉŠÄOn?§ö7~Ø )Longident0ØwPqÍ;°œ±É¡ $Misc0Ž€Bâõú¾åpg]?[q… 0Mutable_variable0ÈC«ÁQâá·§£$òÜ´‰ 'Numbers0 qàÞ·Heüš‡ù³– +Outcometree0B³u©Gê^)=¾ú 9cÂ )Parameter0zk^fË2mËÝy£ˆ£1Ù9 )Parsetree0v Ýo[p÷…¯îÓY Y $Path0¸Ðk.tåb ûÃGêmá )Primitive0õÛdU˜=úÑ\IÆ/ø} *Projection02h‹ÂS xíj56 ,ƒ0L‰Èb£O`àÜ©&°öðM (0!Y‹AÊë _’éXO¼ %Shape0• À³M„´Î``ll§ /0¼ Ãc[kð%»S\KÑ 0Static_exception0JÕm¹yrqÜ’x-¸º8Éž &Stdlib0t0µVoS%{<‰F¡: .Stdlib__Buffer0,å¦I÷ú[?¹Ä÷—z .Stdlib__Digest0#z25§ÆªÂ¶I*… .Stdlib__Domain0'Í¿‚Žo\¦0m’š¬.K .Stdlib__Either0ÿHD¥ë ˆ’Š?|é> .Stdlib__Format00¿ƒFËÔñCÃlòWÇ /Stdlib__Hashtbl0²š±§(L%èŠbØøÕÔ -Stdlib__Int640q=Êcú‚Æ×T?üQš1Ë ,Stdlib__Lazy0ô$¸Àøå©ä1ùmlà .Stdlib__Lexing0^Êmñ|©•Þð·e–¯´ +Stdlib__Map0*4É‡Â2ùÌÉ %Subst0—’í=aëqT£/!p+ ,×03ÉæE´?Yßö¦7÷‘( *^0‹&›Óbé… “ÊrÙ¹ .Type_immediacy00$ôÍjÌbv\"õkö& %Types0€"˜Í|VÈ·`ØX ù )Unit_info0'Á¸›T•ø¶Î§@aÂR 2Var_within_closure0Œ``Ý—ÓXFì³R–ÿâ (Variable0?ÄÞÕælçŒµÇeY (Warnings0¹‘¡ûÓÉÎþEëf¹{²&Š@0¼ Ãc[kð%»S\KÑAÀ¯°%@° O°ŽÊ°Àî°*›“)‰°*ã“)ß°,Û’,þ@°wÎ°,0’)@@@°ý“¤°Î@@°ó“¢@° “Å@@°Ô%°Ky°,ð“,Ö@°!²!ý@@°—“Œ° Ù’ ü°m’‘@°Ô°²°,‹•+õ@°ßA°,@’(›°) •(Ç°-“-@°Ú“Æ°v°+{“*@°(T•'¯@°4”°Èö@°.X“. @°ð@°#§•#“@°-Þ’.°.r“.B@°/“ ó@@°Õ.°*ð“)è@@°-ì•-Å@@°`°,F’#Ö@°Û°";"†°+m“*ˆ@° M“ °•Æ°&f•%o@@°& •$ù°+(“*@°O’r°'*•&ì@° Ì° p’ Ÿ°&Ã•%ê@°À6@°,Œ’)•@°º°+¦“*¾@@@°ü“ñ°(À•(:°-“-Œ@@@°)Ž•)Y@@°Q°(r•'³°+6“*5@°Ý°Ý%@°D“*@°O“A°+…“*…@°(æ•(p@°ù¿@@°$@“$6@°Ì@@°¥@°;Œ°,Æ’,@°$ •#ÿ@@°Ñ!°3“@°¶@@° Ç“ ¨°!a!é@°À)@@°½(@°+ÿ“+@°$’S@@°¥“a°,¾’'³@@°@@°(š•'Ð@°;r°$`“$D°&e•%°(ú•(`@°¸õ°##Z@°&í•&@°Ž!}°+³“*±@°.t•.b@°¥°&e•$ç@°²ô°a“S°*&•*@°6°)Ì•)Š@°“Z° [@°"%"p@°·°Õ.°Rl@@°&f•$ß@°™“‚@@°›×@°É@° ¶“ «°Ñ>°."’.R@°J†°/O’/k@° ½’ ý°Ñ"@° ô“ §°)•(C@@°P»@°Ò“’@@@° ’Ç@@°oÀ@@°§“–° ½’ "°F°,“+@°“’±°-a’-Ã@@°'þ•'Ö@°{•°)D•(¨@°+é“*ã@°Ï’#°ûz°*‚•*p@°-’$ê°.i“.R@@°,‡“+»°-•-@°3“(°#È$@° ä“ ®@°“Æ°*6•)ý@°yÌ°ð}@°(V@°'*•&@°ÒP° . j°-Ú•-@°'‚•&®°)R•(¢@°Ü '°/‡“/^@°vÇ°$C$‡@°¤ý@°L—°('•'û@@°½@°)t°-\’'Â@@P@@