{"header":{"message":"port imports","description":null,"timestamp":"2026-08-30T16:19:30.619849Z","authors":[{}]},"hash":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC","port imports"],["AA",null],["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC","Initial commit"],["VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","First success compilation"],["QAKILUOG6AE7UHFNF4LMFDK7FO7QOVFLTXVQKQZ56VXPIBUJUVIAC","Handle module name"],["P76JF3PGFP37YJS5APUTSZBVI6MZLH3SMWCPFMBODRFT3UYIBQTAC","fix compilation"],["Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","embedding memory instructions"],["GCVBQSRAU6AVYHZT5WFVLUXU3N22RBQCLK4PKPLU5TACVBUZTP2AC","globals and extensions and type select"],["GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC","return call, bulk mem, mutable globals"],["SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC","tables"],["N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC","start section"],["A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","imports"],["SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","use captures in imports"],["YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC","import closures"],["5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC","Move abstract forms to erlang"],["VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC","refs"],["RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC","compilation for the control flow"],["5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC","port numerics"],["LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC","port cg_simple"],["7LMA655YNWFCPB7JQ7PAVRTBA3SRZXIKUPUB6KI6DRPWKV3DRS4AC","Add cover compile function"],["BFYSHLVW24FYHEE3TTNITOKLHNCMRGBJSEUPZN6JYOKC3T2IULYAC","multi tables"]],"deps":["KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC","VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC","QAKILUOG6AE7UHFNF4LMFDK7FO7QOVFLTXVQKQZ56VXPIBUJUVIAC","P76JF3PGFP37YJS5APUTSZBVI6MZLH3SMWCPFMBODRFT3UYIBQTAC","Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC","GCVBQSRAU6AVYHZT5WFVLUXU3N22RBQCLK4PKPLU5TACVBUZTP2AC","GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC","SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC","N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC","A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC","SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC","YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC","5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC"],"known":["7LMA655YNWFCPB7JQ7PAVRTBA3SRZXIKUPUB6KI6DRPWKV3DRS4AC","RFTGNJTGVCXZBAJJ5UTUVZB4JRJWTNJCRNU4KLTTNO4GIFZT6DJAC","BFYSHLVW24FYHEE3TTNITOKLHNCMRGBJSEUPZN6JYOKC3T2IULYAC","VXNIA2HUS2MF43Z45T3YVUWW5UH2VE552FEM2YDNMWOSV2KKD7QQC","5VMO3NEVZ5WTZGOY73RXQTBWEDN7FGPRGGKOWLNR3XJH5TBZO5LAC","LBCZR6EYFJBCC573U3ZI3G35XYI4LIJ2Z6RLWDT4SMJ4G2FYBV6AC"]},"hunks":[{"FileAdd":{"meta":{"basename":"wa_embedder_imports.erl","metadata":0},"context":[{"change":14,"pos":15}],"contents":[{"Add":{"text":"%% Import-section validation and the unified function index space for the","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:122"}},{"Add":{"text":"%% WaEmbedder compiler.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:146"}},{"Add":{"text":"%%","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:149"}},{"Add":{"text":"%% Responsibilities:","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:170"}},{"Add":{"text":"%% * normalize_imports_map/1 - canonicalize caller targets to tagged forms","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:247"}},{"Add":{"text":"%% ({static, M, F} | {closure, Fun}); collect all bad targets before raising","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:328"}},{"Add":{"text":"%% * validate_imports/3 - reject unsupported/unresolved/arity-mismatch","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:406"}},{"Add":{"text":"%% imports; return the ordered function-import list","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:462"}},{"Add":{"text":"%% * assign_closure_slots/2 - allocate closure-table slots","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:524"}},{"Add":{"text":"%% * function_names/4 - func index -> entry (remote / closure / atom)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:603"}},{"Add":{"text":"%% * validate_start_type/3 - assert the start function is [] -> []","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:674"}},{"Add":{"text":"%%","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:677"}},{"Add":{"text":"%% Errors are signalled as `erlang:error({import_error, Map})' where Map has","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:754"}},{"Add":{"text":"%% `message', `unresolved', `unsupported', `invalid' keys. The Elixir wrapper","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:832"}},{"Add":{"text":"%% translates this to %WaEmbedder.ImportError{}. This module calls ONLY OTP","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:908"}},{"Add":{"text":"%% modules (no 'Elixir.*'), so the Erlang core stays independent.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:974"}},{"Add":{"text":"-module(wa_embedder_imports).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1004"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1005"}},{"Add":{"text":"-export([","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1015"}},{"Add":{"text":" normalize_imports_map/1,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1044"}},{"Add":{"text":" validate_imports/3,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1068"}},{"Add":{"text":" assign_closure_slots/2,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1096"}},{"Add":{"text":" function_names/4,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1118"}},{"Add":{"text":" validate_start_type/3","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1144"}},{"Add":{"text":"]).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1148"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1149"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1227"}},{"Add":{"text":"%% Import validation","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1248"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1326"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1327"}},{"Add":{"text":"%% Validate the import section against the (already normalized) imports map.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1404"}},{"Add":{"text":"%% Returns the ordered list of function imports (`{Mod, Name, {func, Tidx}}').","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1483"}},{"Add":{"text":"%% Non-function imports raise with `unsupported' populated; unresolved function","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1563"}},{"Add":{"text":"%% imports raise with `unresolved'; arity mismatches raise with `invalid'.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1638"}},{"Add":{"text":"validate_imports(ImportsRaw, ImportsMap, Types) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1689"}},{"Add":{"text":" {FuncImports, NonFunc} =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1718"}},{"Add":{"text":" lists:partition(","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1743"}},{"Add":{"text":" fun","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1759"}},{"Add":{"text":" ({_Mod, _Name, {func, _Tidx}}) -> true;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1815"}},{"Add":{"text":" (_) -> false","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1844"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1861"}},{"Add":{"text":" ImportsRaw","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1884"}},{"Add":{"text":" ),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1895"}},{"Add":{"text":" case NonFunc of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1915"}},{"Add":{"text":" [] ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1929"}},{"Add":{"text":" ok;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1945"}},{"Add":{"text":" _ ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:1958"}},{"Add":{"text":" Items = [{Mod, Name, Kind} || {Mod, Name, {Kind, _}} <- NonFunc],","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2036"}},{"Add":{"text":" import_error(#{","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2064"}},{"Add":{"text":" message => fmt(\"unsupported non-function imports: ~p\", [Items]),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2145"}},{"Add":{"text":" unresolved => [],","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2179"}},{"Add":{"text":" unsupported => Items","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2216"}},{"Add":{"text":" })","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2231"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2240"}},{"Add":{"text":" Unresolved =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2257"}},{"Add":{"text":" [","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2267"}},{"Add":{"text":" {Mod, Name, Desc}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2297"}},{"Add":{"text":" || {Mod, Name, Desc} <- FuncImports, target_of(ImportsMap, Mod, Name) =:= undefined","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2390"}},{"Add":{"text":" ],","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2401"}},{"Add":{"text":" case Unresolved of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2424"}},{"Add":{"text":" [] ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2438"}},{"Add":{"text":" ok;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2454"}},{"Add":{"text":" _ ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2467"}},{"Add":{"text":" Items2 = [{Mod, Name} || {Mod, Name, _Desc} <- Unresolved],","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2539"}},{"Add":{"text":" import_error(#{","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2567"}},{"Add":{"text":" message => fmt(\"unresolved function imports (no MFA provided): ~p\", [Items2]),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2662"}},{"Add":{"text":" unresolved => Items2,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2700"}},{"Add":{"text":" unsupported => []","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2734"}},{"Add":{"text":" })","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2749"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2758"}},{"Add":{"text":" %% Every function import is resolved to a tagged target; check arity.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2832"}},{"Add":{"text":" ArityBad =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2847"}},{"Add":{"text":" lists:flatmap(","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2870"}},{"Add":{"text":" fun({Mod, Name, {func, Tidx}}) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2916"}},{"Add":{"text":" {Params, _Results} = lists:nth(Tidx + 1, Types),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:2981"}},{"Add":{"text":" Expected = length(Params),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3024"}},{"Add":{"text":" Target = target_of(ImportsMap, Mod, Name),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3083"}},{"Add":{"text":" case target_arity(Target, Expected) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3138"}},{"Add":{"text":" {ok, _} -> [];","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3173"}},{"Add":{"text":" {error, Got} -> [{Mod, Name, {arity_mismatch, Expected, Got}}]","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3256"}},{"Add":{"text":" end","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3276"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3293"}},{"Add":{"text":" FuncImports","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3317"}},{"Add":{"text":" ),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3328"}},{"Add":{"text":" case ArityBad of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3349"}},{"Add":{"text":" [] ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3363"}},{"Add":{"text":" ok;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3379"}},{"Add":{"text":" _ ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3392"}},{"Add":{"text":" import_error(#{","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3420"}},{"Add":{"text":" message => fmt(\"import arity mismatch: ~p\", [ArityBad]),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3493"}},{"Add":{"text":" invalid => ArityBad","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3529"}},{"Add":{"text":" })","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3544"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3553"}},{"Add":{"text":" FuncImports.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3570"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3571"}},{"Add":{"text":"%% Checks a tagged import target provides `Expected' arity. Static: the M/F","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3647"}},{"Add":{"text":"%% must be exported at that arity (on mismatch return the arities it does","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3721"}},{"Add":{"text":"%% export, or `none'). Closure: arity read from fun_info.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3779"}},{"Add":{"text":"target_arity({static, Mod, Fun}, Expected) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3825"}},{"Add":{"text":" %% Ensure loaded before function_exported/3 (false for an unloaded module).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3905"}},{"Add":{"text":" _ = code:ensure_loaded(Mod),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3938"}},{"Add":{"text":" case erlang:function_exported(Mod, Fun, Expected) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:3995"}},{"Add":{"text":" true -> {ok, Expected};","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4027"}},{"Add":{"text":" false -> {error, actual_arity(Mod, Fun)}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4076"}},{"Add":{"text":" end;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4085"}},{"Add":{"text":"target_arity({closure, F}, Expected) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4125"}},{"Add":{"text":" {arity, Got} = lists:keyfind(arity, 1, erlang:fun_info(F)),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4189"}},{"Add":{"text":" case Got =:= Expected of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4218"}},{"Add":{"text":" true -> {ok, Got};","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4245"}},{"Add":{"text":" false -> {error, Got}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4275"}},{"Add":{"text":" end.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4284"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4285"}},{"Add":{"text":"%% The arities Mod actually exports for Fun, or `none' if not exported at all.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4364"}},{"Add":{"text":"actual_arity(Mod, Fun) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4390"}},{"Add":{"text":" _ = code:ensure_loaded(Mod),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4423"}},{"Add":{"text":" try","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4431"}},{"Add":{"text":" case [Arity || {F, Arity} <- Mod:module_info(functions), F =:= Fun] of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4510"}},{"Add":{"text":" [] -> none;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4534"}},{"Add":{"text":" List -> List","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4559"}},{"Add":{"text":" end","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4571"}},{"Add":{"text":" catch","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4581"}},{"Add":{"text":" %% Module unavailable / no module_info: cannot determine arity.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4653"}},{"Add":{"text":" _:_ -> none","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4673"}},{"Add":{"text":" end.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4682"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4683"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4761"}},{"Add":{"text":"%% Closure slot assignment","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4788"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4866"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4867"}},{"Add":{"text":"%% Assign each closure import a zero-based slot into the module's closure","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:4941"}},{"Add":{"text":"%% table (walking function imports in index order). Static imports consume no","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5019"}},{"Add":{"text":"%% slot. Returns `{SlotMap, ClosureTableTuple}'.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5068"}},{"Add":{"text":"assign_closure_slots(FuncImports, ImportsMap) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5117"}},{"Add":{"text":" {Slots, Closures, _Next} =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5148"}},{"Add":{"text":" lists:foldl(","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5169"}},{"Add":{"text":" fun({{Mod, Name, _Desc}, Idx}, {Slots, Acc, Next}) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5235"}},{"Add":{"text":" case target_of(ImportsMap, Mod, Name) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5292"}},{"Add":{"text":" {closure, F} -> {maps:put(Idx, Next, Slots), [F | Acc], Next + 1};","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5379"}},{"Add":{"text":" {static, _M, _F} -> {Slots, Acc, Next}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5438"}},{"Add":{"text":" end","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5458"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5475"}},{"Add":{"text":" {#{}, [], 0},","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5501"}},{"Add":{"text":" with_index(FuncImports)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5537"}},{"Add":{"text":" ),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5548"}},{"Add":{"text":" {Slots, list_to_tuple(lists:reverse(Closures))}.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5601"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5602"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5680"}},{"Add":{"text":"%% Target normalization","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5704"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5782"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5783"}},{"Add":{"text":"%% Canonicalize one imports-map target to `{ok, Tagged}' | `{error, Reason}'.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5861"}},{"Add":{"text":"%% An `{Module, function}' MFA tuple and an external capture both tag as","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:5934"}},{"Add":{"text":"%% `{static, Module, function}'. A local fun captures environment and tags as","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6012"}},{"Add":{"text":"%% `{closure, Fun}'.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6033"}},{"Add":{"text":"normalize_target({Mod, Fun}) when is_atom(Mod), is_atom(Fun) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6097"}},{"Add":{"text":" {ok, {static, Mod, Fun}};","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6127"}},{"Add":{"text":"normalize_target(F) when is_function(F) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6170"}},{"Add":{"text":" Info = erlang:fun_info(F),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6201"}},{"Add":{"text":" case lists:keyfind(type, 1, Info) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6242"}},{"Add":{"text":" {type, external} ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6270"}},{"Add":{"text":" {module, Module} = lists:keyfind(module, 1, Info),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6333"}},{"Add":{"text":" {name, Nm} = lists:keyfind(name, 1, Info),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6388"}},{"Add":{"text":" {ok, {static, Module, Nm}};","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6428"}},{"Add":{"text":" {type, local} ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6453"}},{"Add":{"text":" {ok, {closure, F}}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6484"}},{"Add":{"text":" end;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6493"}},{"Add":{"text":"normalize_target(_Other) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6521"}},{"Add":{"text":" {error, unrecognized_target}.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6555"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6556"}},{"Add":{"text":"%% Canonicalize every leaf of the two-level imports map. Collect ALL bad","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6629"}},{"Add":{"text":"%% targets before raising, so a developer sees every problem at once. Returns","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6707"}},{"Add":{"text":"%% the map with tagged-target leaves on success.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6756"}},{"Add":{"text":"normalize_imports_map(ImportsMap) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6793"}},{"Add":{"text":" {Normalized, InvalidRev} =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6824"}},{"Add":{"text":" maps:fold(","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6843"}},{"Add":{"text":" fun(Mod, Fields, {Acc, Bad}) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6887"}},{"Add":{"text":" {Inner, Bad1} =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6919"}},{"Add":{"text":" maps:fold(","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:6950"}},{"Add":{"text":" fun(Name, Target, {Inner, BadAcc}) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7012"}},{"Add":{"text":" case normalize_target(Target) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7073"}},{"Add":{"text":" {ok, Canonical} -> {maps:put(Name, Canonical, Inner), BadAcc};","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7168"}},{"Add":{"text":" {error, Reason} -> {Inner, [{Mod, Name, Reason} | BadAcc]}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7259"}},{"Add":{"text":" end","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7291"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7320"}},{"Add":{"text":" {#{}, Bad},","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7356"}},{"Add":{"text":" Fields","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7387"}},{"Add":{"text":" ),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7410"}},{"Add":{"text":" {maps:put(Mod, Inner, Acc), Bad1}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7460"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7477"}},{"Add":{"text":" {#{}, []},","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7500"}},{"Add":{"text":" ImportsMap","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7523"}},{"Add":{"text":" ),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7534"}},{"Add":{"text":" case InvalidRev of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7557"}},{"Add":{"text":" [] ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7571"}},{"Add":{"text":" Normalized;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7595"}},{"Add":{"text":" _ ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7608"}},{"Add":{"text":" Items = lists:reverse(InvalidRev),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7655"}},{"Add":{"text":" import_error(#{","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7683"}},{"Add":{"text":" message => fmt(\"invalid import targets: ~p\", [Items]),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7754"}},{"Add":{"text":" invalid => Items","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7787"}},{"Add":{"text":" })","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7802"}},{"Add":{"text":" end.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7811"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7812"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7890"}},{"Add":{"text":"%% Start-section validation","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7918"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7996"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:7997"}},{"Add":{"text":"%% The WASM spec requires the start function to have type [] -> []. A missing","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8075"}},{"Add":{"text":"%% start section is a no-op.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8104"}},{"Add":{"text":"validate_start_type(undefined, _Parsed, _FnNames) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8157"}},{"Add":{"text":" ok;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8165"}},{"Add":{"text":"validate_start_type(nil, _Parsed, _FnNames) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8212"}},{"Add":{"text":" ok;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8220"}},{"Add":{"text":"validate_start_type({start, FuncIdx}, Parsed, _FnNames) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8279"}},{"Add":{"text":" Types = maps:get(type, Parsed, []),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8319"}},{"Add":{"text":" Functions = maps:get(function, Parsed, []),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8367"}},{"Add":{"text":" TypeIdx = lists:nth(FuncIdx + 1, Functions),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8416"}},{"Add":{"text":" case lists:nth(TypeIdx + 1, Types) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8458"}},{"Add":{"text":" {[], []} ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8478"}},{"Add":{"text":" ok;","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8494"}},{"Add":{"text":" Signature ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8515"}},{"Add":{"text":" erlang:error({start_type_mismatch, FuncIdx, Signature})","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8583"}},{"Add":{"text":" end.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8592"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8593"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8671"}},{"Add":{"text":"%% Function index space","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8695"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8773"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8774"}},{"Add":{"text":"%% Function index -> entry-point in the unified index space (imports 0..N-1,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8851"}},{"Add":{"text":"%% locals N..N+M-1). Import entries: `{static,M,F}' -> `{remote,M,F}';","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:8922"}},{"Add":{"text":"%% `{closure,_}' -> `{closure, Slot}'. Local entries -> an atom (exported name","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9001"}},{"Add":{"text":"%% or `f').","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9025"}},{"Add":{"text":"function_names(Parsed, FuncImports, ImportsMap, ClosureSlots) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9090"}},{"Add":{"text":" ImportCount = length(FuncImports),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9129"}},{"Add":{"text":" ImportNames =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9147"}},{"Add":{"text":" maps:from_list([","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9172"}},{"Add":{"text":" begin","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9190"}},{"Add":{"text":" Entry =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9214"}},{"Add":{"text":" case target_of(ImportsMap, Mod, Name) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9275"}},{"Add":{"text":" {static, ErlMod, ErlFun} -> {remote, ErlMod, ErlFun};","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9353"}},{"Add":{"text":" {closure, _F} -> {closure, maps:get(Idx, ClosureSlots)}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9433"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9458"}},{"Add":{"text":" {Idx, Entry}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9487"}},{"Add":{"text":" end","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9503"}},{"Add":{"text":" || {{Mod, Name, _Desc}, Idx} <- with_index(FuncImports)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9568"}},{"Add":{"text":" ]),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9580"}},{"Add":{"text":" Exported =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9595"}},{"Add":{"text":" maps:from_list([","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9620"}},{"Add":{"text":" {Idx, binary_to_atom(Name, utf8)}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9666"}},{"Add":{"text":" || {Name, {func, Idx}} <- maps:get(export, Parsed, [])","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9730"}},{"Add":{"text":" ]),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9742"}},{"Add":{"text":" FunctionCount = length(maps:get(function, Parsed, [])),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9802"}},{"Add":{"text":" LocalNames =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9819"}},{"Add":{"text":" maps:from_list([","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9844"}},{"Add":{"text":" begin","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9862"}},{"Add":{"text":" GlobalIdx = Idx + ImportCount,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9909"}},{"Add":{"text":" Nm =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9930"}},{"Add":{"text":" case maps:get(GlobalIdx, Exported, undefined) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:9999"}},{"Add":{"text":" undefined -> list_to_atom(\"f\" ++ integer_to_list(GlobalIdx));","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10085"}},{"Add":{"text":" Name -> Name","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10122"}},{"Add":{"text":" end,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10147"}},{"Add":{"text":" {GlobalIdx, Nm}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10179"}},{"Add":{"text":" end","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10195"}},{"Add":{"text":" %% Matches the Elixir `for idx <- 0..max(function_count-1, 0)//1`:","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10271"}},{"Add":{"text":" %% when FunctionCount is 0 this is lists:seq(0, 0) = [0] (one entry),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10350"}},{"Add":{"text":" %% and lists:seq/2 is never called with a negative upper bound.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10423"}},{"Add":{"text":" || Idx <- lists:seq(0, max(FunctionCount - 1, 0))","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10482"}},{"Add":{"text":" ]),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10494"}},{"Add":{"text":" maps:merge(ImportNames, LocalNames).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10535"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10536"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10614"}},{"Add":{"text":"%% Helpers","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10625"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10703"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10704"}},{"Add":{"text":"%% imports_map[Mod][Name] or `undefined'. The map is the caller-supplied","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10777"}},{"Add":{"text":"%% two-level map (module-name => field-name => target).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10833"}},{"Add":{"text":"target_of(ImportsMap, Mod, Name) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10869"}},{"Add":{"text":" case maps:find(Mod, ImportsMap) of","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10908"}},{"Add":{"text":" {ok, Fields} -> maps:get(Name, Fields, undefined);","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10967"}},{"Add":{"text":" error -> undefined","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:10994"}},{"Add":{"text":" end.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11003"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11004"}},{"Add":{"text":"%% [X0, X1, ...] -> [{X0, 0}, {X1, 1}, ...]","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11048"}},{"Add":{"text":"with_index(List) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11068"}},{"Add":{"text":" lists:zip(List, lists:seq(0, length(List) - 1)).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11121"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11122"}},{"Add":{"text":"fmt(Format, Args) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11143"}},{"Add":{"text":" iolist_to_binary(io_lib:format(Format, Args)).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11194"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11195"}},{"Add":{"text":"import_error(Map) ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11216"}},{"Add":{"text":" erlang:error({import_error, Map}).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11255"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":42,"atom":{"NewVertex":{"up_context":[{"change":3,"pos":267}],"down_context":[{"change":3,"pos":267}],"flag":"BLOCK","start":11257,"end":11765,"inode":{"change":2,"pos":1322}}},"contents":[{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11257"}},{"Add":{"text":" # Import validation / normalization and the unified index space now live","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11334"}},{"Add":{"text":" # in the Erlang :wa_embedder_imports module. It signals","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11394"}},{"Add":{"text":" # `{import_error, Map}` on bad imports; translate_import_error/1 converts","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11472"}},{"Add":{"text":" # that to %WaEmbedder.ImportError{} for Elixir callers (see the try below).","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11552"}},{"Add":{"text":" {func_imports, _closure_slots, closure_table, fn_names} =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11614"}},{"Add":{"text":" translate_import_error(fn ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11649"}},{"Add":{"text":" imports_map =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11671"}},{"Add":{"text":" opts |> Keyword.get(:imports, %{}) |> :wa_embedder_imports.normalize_imports_map()","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11764"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":52,"ins":{"up_context":[{"change":3,"pos":268}],"down_context":[{"change":12,"pos":3039}],"flag":"BLOCK","start":11766,"end":12212,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":268},"to":{"change":11,"start":2886,"end":2960},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":2960},"to":{"change":12,"start":2598,"end":3039},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" func_imports =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11788"}},{"Add":{"text":" :wa_embedder_imports.validate_imports(","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11837"}},{"Add":{"text":" Map.get(parsed, :import, []),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11879"}},{"Add":{"text":" imports_map,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11904"}},{"Add":{"text":" Map.get(parsed, :type, [])","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11943"}},{"Add":{"text":" )","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11955"}},{"Add":{"text":"","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:11956"}},{"Add":{"text":" # Closure imports get a slot into a per-module closure table installed","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12035"}},{"Add":{"text":" # at load time; static imports consume no slot.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12091"}},{"Add":{"text":" {closure_slots, closure_table} =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12132"}},{"Add":{"text":" :wa_embedder_imports.assign_closure_slots(func_imports, imports_map)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12211"}}],"del_contents":[{"Del":{"text":" # Validate the import section against the caller-supplied imports map","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:2959"}},{"Del":{"text":" # before doing any work. Normalize each target to a canonical","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:2663"}},{"Del":{"text":" # `{Module, function}` tuple first (accepts MFA tuples and external","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:2735"}},{"Del":{"text":" # captures; rejects closures), then reject non-function imports","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:2803"}},{"Del":{"text":" # (memory/table/global/tag) and function imports with no matching MFA.","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:2878"}},{"Del":{"text":" # Returns the ordered list of function imports for the unified index space.","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:2958"}},{"Del":{"text":" imports_map = opts |> Keyword.get(:imports, %{}) |> normalize_imports_map()","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3038"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":64,"ins":{"up_context":[{"change":12,"pos":3040}],"down_context":[{"change":13,"pos":3539}],"flag":"BLOCK","start":12213,"end":12328,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":3040},"to":{"change":12,"start":3040,"end":3153},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" fn_names =","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12231"}},{"Add":{"text":" :wa_embedder_imports.function_names(parsed, func_imports, imports_map, closure_slots)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12327"}}],"del_contents":[{"Del":{"text":" func_imports =","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3058"}},{"Del":{"text":" validate_imports(Map.get(parsed, :import, []), imports_map, Map.get(parsed, :type, []))","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3152"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":67,"ins":{"up_context":[{"change":13,"pos":3540}],"down_context":[{"change":11,"pos":3304}],"flag":"BLOCK","start":12329,"end":12403,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":13,"pos":3540},"to":{"change":13,"start":3540,"end":3847},"introduced_by":13}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" {func_imports, closure_slots, closure_table, fn_names}","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12391"}},{"Add":{"text":" end)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12402"}}],"del_contents":[{"Del":{"text":" # Closure imports get a slot into a per-module closure table installed at","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:3617"}},{"Del":{"text":" # load time; static imports consume no slot. The slot map drives","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:3686"}},{"Del":{"text":" # function_names/4, the table is installed by init_imports (task 5.1).","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:3761"}},{"Del":{"text":" {closure_slots, closure_table} = assign_closure_slots(func_imports, imports_map)","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:3846"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":72,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":3421},"to":{"change":13,"start":3848,"end":3928},"introduced_by":13}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":" fn_names = function_names(parsed, func_imports, imports_map, closure_slots)","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:3927"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":75,"ins":{"up_context":[{"change":7,"pos":2158}],"down_context":[{"change":10,"pos":927}],"flag":"BLOCK","start":12404,"end":12549,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":7,"pos":2158},"to":{"change":10,"start":652,"end":927},"introduced_by":10}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" # Validate the start function's type ([] -> []); no-op when absent.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12475"}},{"Add":{"text":" :wa_embedder_imports.validate_start_type(start_fn, parsed, fn_names)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12548"}}],"del_contents":[{"Del":{"text":" # Validate the start function's type ([] -> []) before spending time on","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:727"}},{"Del":{"text":" # compilation. Raises ArgumentError on mismatch; no-op when there is no","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:803"}},{"Del":{"text":" # start section. The start invocation itself is added in task 1.2.","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:874"}},{"Del":{"text":" validate_start_type(start_fn, parsed, fn_names)","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:926"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":119,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":5,"pos":145},"to":{"change":5,"start":145,"end":153},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":5,"pos":153},"to":{"change":3,"start":519,"end":525},"introduced_by":5},{"previous":"","flag":"DELETED","from":{"change":4,"pos":181},"to":{"change":3,"start":519,"end":525},"introduced_by":4},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":519},"to":{"change":3,"start":519,"end":525},"introduced_by":3},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":3,"pos":525},"to":{"change":11,"start":3476,"end":3991},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":3991},"to":{"change":12,"start":3154,"end":3214},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":12,"pos":3214},"to":{"change":11,"start":4044,"end":4189},"introduced_by":12},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4044},"to":{"change":11,"start":4044,"end":4189},"introduced_by":11},{"previous":"","flag":"DELETED","from":{"change":3,"pos":525},"to":{"change":2,"start":1404,"end":1405},"introduced_by":3},{"previous":"","flag":"DELETED","from":{"change":11,"pos":4189},"to":{"change":2,"start":1404,"end":1405},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1404},"to":{"change":2,"start":1404,"end":1405},"introduced_by":2},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1405},"to":{"change":11,"start":4190,"end":4888},"introduced_by":11}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":" end","pos":"P76JF3PGFP37YJS5APUTSZBVI6MZLH3SMWCPFMBODRFT3UYIBQTAC:152"}},{"Del":{"text":" end","pos":"VUTPXHZOHNZE7EWKYSPMU4Q4U5F3OPPHVBFKZCLCBYCW2TUPUPEAC:524"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3476"}},{"Del":{"text":" # Validates the import section against the caller-supplied imports map and","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3553"}},{"Del":{"text":" # returns the ordered list of function imports (`{mod, name, {:func, tidx}}`)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3633"}},{"Del":{"text":" # for building the unified function index space.","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3684"}},{"Del":{"text":" #","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3688"}},{"Del":{"text":" # Non-function imports (memory/table/global/tag) are unsupported and raise","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3765"}},{"Del":{"text":" # `WaEmbedder.ImportError` with the `:unsupported` field populated. Function","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3844"}},{"Del":{"text":" # imports with no matching `imports_map[mod][name]` MFA raise with the","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3917"}},{"Del":{"text":" # `:unresolved` field populated. Extra entries in the map are ignored.","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:3990"}},{"Del":{"text":" defp validate_imports(imports_raw, imports_map, types) do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3213"}},{"Del":{"text":" {func_imports, non_func} =","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4074"}},{"Del":{"text":" Enum.split_with(imports_raw, fn","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4112"}},{"Del":{"text":" {_mod, _name, {:func, _tidx}} -> true","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4158"}},{"Del":{"text":" _ -> false","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4177"}},{"Del":{"text":" end)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4188"}},{"Del":{"text":"","pos":"KVDC7QI5DWVMAAX7F5BTB7WIZO2T7FCN4DSDCN3SG2LNROB6WQ7AC:1404"}},{"Del":{"text":" unless non_func == [] do","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4218"}},{"Del":{"text":" items = Enum.map(non_func, fn {mod, name, {kind, _}} -> {mod, name, kind} end)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4303"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4304"}},{"Del":{"text":" raise WaEmbedder.ImportError,","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4340"}},{"Del":{"text":" message: \"unsupported non-function imports: #{inspect(items)}\",","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4412"}},{"Del":{"text":" unresolved: [],","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4436"}},{"Del":{"text":" unsupported: items","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4463"}},{"Del":{"text":" end","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4471"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4472"}},{"Del":{"text":" unresolved =","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4489"}},{"Del":{"text":" Enum.reject(func_imports, fn {mod, name, _desc} ->","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4546"}},{"Del":{"text":" get_in(imports_map, [mod, name]) != nil","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4594"}},{"Del":{"text":" end)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4605"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4606"}},{"Del":{"text":" unless unresolved == [] do","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4637"}},{"Del":{"text":" items = Enum.map(unresolved, fn {mod, name, _desc} -> {mod, name} end)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4714"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4715"}},{"Del":{"text":" raise WaEmbedder.ImportError,","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4751"}},{"Del":{"text":" message: \"unresolved function imports (no MFA provided): #{inspect(items)}\",","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4836"}},{"Del":{"text":" unresolved: items,","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4863"}},{"Del":{"text":" unsupported: []","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4887"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":120,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4896},"to":{"change":12,"start":3215,"end":3216},"introduced_by":12},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":3216},"to":{"change":13,"start":4102,"end":4289},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":4289},"to":{"change":12,"start":3370,"end":3537},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":3370},"to":{"change":12,"start":3370,"end":3537},"introduced_by":12},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":3537},"to":{"change":13,"start":4290,"end":4340},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":12,"pos":3788},"to":{"change":11,"start":4896,"end":4897},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":13,"pos":4340},"to":{"change":11,"start":4896,"end":4897},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4896},"to":{"change":11,"start":4896,"end":4897},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4897},"to":{"change":13,"start":4341,"end":4488},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":4488},"to":{"change":12,"start":3961,"end":4152},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":3961},"to":{"change":12,"start":3961,"end":4152},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":12,"pos":4152},"to":{"change":11,"start":4897,"end":4914},"introduced_by":12},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4897},"to":{"change":11,"start":4897,"end":4914},"introduced_by":11}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3215"}},{"Del":{"text":" # Every function import is resolved to a tagged target ({:static, m, f}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4177"}},{"Del":{"text":" # or {:closure, fun}); check each provides the arity the WASM type","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4248"}},{"Del":{"text":" # declares. Collect all mismatches.","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4288"}},{"Del":{"text":" arity_bad =","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3385"}},{"Del":{"text":" Enum.flat_map(func_imports, fn {mod, name, {:func, tidx}} ->","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3452"}},{"Del":{"text":" {params, _results} = Enum.at(types, tidx)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3502"}},{"Del":{"text":" expected = length(params)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3536"}},{"Del":{"text":" target = get_in(imports_map, [mod, name])","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4339"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4896"}},{"Del":{"text":" case target_arity(target, expected) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4387"}},{"Del":{"text":" {:ok, _} -> []","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4412"}},{"Del":{"text":" {:error, got} -> [{mod, name, {:arity_mismatch, expected, got}}]","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4487"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3972"}},{"Del":{"text":" end)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3983"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:3984"}},{"Del":{"text":" unless arity_bad == [] do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4014"}},{"Del":{"text":" raise WaEmbedder.ImportError,","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4050"}},{"Del":{"text":" message: \"import arity mismatch: #{inspect(arity_bad)}\",","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4115"}},{"Del":{"text":" invalid: arity_bad","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4142"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4150"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4151"}},{"Del":{"text":" func_imports","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4913"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":122,"ins":{"up_context":[{"change":13,"pos":4496}],"down_context":[{"change":13,"pos":5285}],"flag":"BLOCK","start":12550,"end":13208,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":13,"pos":4496},"to":{"change":13,"start":4496,"end":5284},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":5284},"to":{"change":11,"start":4914,"end":4920},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4914},"to":{"change":11,"start":4914,"end":4920},"introduced_by":11}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" # Translates an Erlang `{import_error, Map}` (raised by :wa_embedder_imports)","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12629"}},{"Add":{"text":" # into a %WaEmbedder.ImportError{} for Elixir callers. Runs the given fun and","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12709"}},{"Add":{"text":" # rescues the ErlangError whose `original` is the import_error tuple; any","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12785"}},{"Add":{"text":" # other error propagates unchanged.","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12823"}},{"Add":{"text":" defp translate_import_error(fun) do","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12861"}},{"Add":{"text":" fun.()","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12872"}},{"Add":{"text":" rescue","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12881"}},{"Add":{"text":" e in ErlangError ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12905"}},{"Add":{"text":" case e.original do","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12930"}},{"Add":{"text":" {:import_error, map} ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:12962"}},{"Add":{"text":" raise WaEmbedder.ImportError,","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:13002"}},{"Add":{"text":" message: Map.get(map, :message),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:13047"}},{"Add":{"text":" unresolved: Map.get(map, :unresolved, []),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:13102"}},{"Add":{"text":" unsupported: Map.get(map, :unsupported, []),","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:13159"}},{"Add":{"text":" invalid: Map.get(map, :invalid, [])","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:13207"}}],"del_contents":[{"Del":{"text":" # Checks a tagged import target provides `expected` arity. For a static","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4569"}},{"Del":{"text":" # target, the module/function must be exported at that arity; on mismatch","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4645"}},{"Del":{"text":" # returns the arities it does export (or `:none`). For a closure, its arity","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4723"}},{"Del":{"text":" # is read directly from fun_info.","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4759"}},{"Del":{"text":" defp target_arity({:static, mod, fun}, expected) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4813"}},{"Del":{"text":" # Ensure loaded before function_exported?/3, which reports false for an","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4889"}},{"Del":{"text":" # unloaded module and would otherwise flag a false mismatch.","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4954"}},{"Del":{"text":" _ = Code.ensure_loaded(mod)","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4986"}},{"Del":{"text":"","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:4987"}},{"Del":{"text":" if function_exported?(mod, fun, expected) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5036"}},{"Del":{"text":" {:ok, expected}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5058"}},{"Del":{"text":" else","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5067"}},{"Del":{"text":" {:error, actual_arity(mod, fun)}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5106"}},{"Del":{"text":" end","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5114"}},{"Del":{"text":" end","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5120"}},{"Del":{"text":"","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5121"}},{"Del":{"text":" defp target_arity({:closure, f}, expected) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5169"}},{"Del":{"text":" got = Keyword.fetch!(:erlang.fun_info(f), :arity)","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5223"}},{"Del":{"text":" if got == expected, do: {:ok, got}, else: {:error, got}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5283"}},{"Del":{"text":" end","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4919"}}]}},{"Replacement":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":138,"ins":{"up_context":[{"change":13,"pos":5286}],"down_context":[{"change":12,"pos":4526}],"flag":"BLOCK","start":13209,"end":13258,"inode":{"change":2,"pos":1322}},"del":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":13,"pos":5286},"to":{"change":13,"start":5286,"end":6092},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":6092},"to":{"change":11,"start":4920,"end":4921},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4920},"to":{"change":11,"start":4920,"end":4921},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4921},"to":{"change":13,"start":6093,"end":6159},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":6159},"to":{"change":12,"start":4153,"end":4526},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":4921},"to":{"change":12,"start":4153,"end":4526},"introduced_by":12}],"inode":{"change":2,"pos":1322}},"ins_contents":[{"Add":{"text":" _ ->","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:13221"}},{"Add":{"text":" reraise e, __STACKTRACE__","pos":"QCJDWUZUODYY3YKURFDZIKGMGKCJR3HHQAYXBUXFDRIXNIH4ZFVAC:13257"}}],"del_contents":[{"Del":{"text":" # Assigns each closure import a zero-based slot into the module's closure","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5361"}},{"Del":{"text":" # table, walking function imports in index order for deterministic","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5430"}},{"Del":{"text":" # assignment. Static imports consume no slot. Returns","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5486"}},{"Del":{"text":" # `{%{import_index => slot}, closure_table_tuple}`; the tuple holds only the","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5565"}},{"Del":{"text":" # closure funs (in slot order) and is installed at load time under","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5634"}},{"Del":{"text":" # `{:__wasm_imports, modulename}`.","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5671"}},{"Del":{"text":" defp assign_closure_slots(func_imports, imports_map) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5729"}},{"Del":{"text":" {slots, closures, _next} =","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5760"}},{"Del":{"text":" func_imports","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5779"}},{"Del":{"text":" |> Enum.with_index()","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5806"}},{"Del":{"text":" |> Enum.reduce({%{}, [], 0}, fn {{mod, name, _desc}, idx}, {slots, acc, next} ->","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5893"}},{"Del":{"text":" case get_in(imports_map, [mod, name]) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:5942"}},{"Del":{"text":" {:closure, f} -> {Map.put(slots, idx, next), [f | acc], next + 1}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6018"}},{"Del":{"text":" {:static, _m, _f} -> {slots, acc, next}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6068"}},{"Del":{"text":" end","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6080"}},{"Del":{"text":" end)","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6091"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4920"}},{"Del":{"text":" {slots, closures |> Enum.reverse() |> List.to_tuple()}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6151"}},{"Del":{"text":" end","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6157"}},{"Del":{"text":"","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6158"}},{"Del":{"text":" # The arities module `mod` actually exports for `fun`, or `:none` if the","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4227"}},{"Del":{"text":" # name is not exported at all. Ensures the module is loaded first, since an","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4305"}},{"Del":{"text":" # import target may reference a module that has not been loaded yet.","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4376"}},{"Del":{"text":" defp actual_arity(mod, fun) do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4409"}},{"Del":{"text":" _ = Code.ensure_loaded(mod)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4441"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4442"}},{"Del":{"text":" arities =","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4456"}},{"Del":{"text":" for {^fun, arity} <- mod.__info__(:functions) do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4511"}},{"Del":{"text":" arity","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4525"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":141,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":4536},"to":{"change":12,"start":4536,"end":4763},"introduced_by":12}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4536"}},{"Del":{"text":" case arities do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4556"}},{"Del":{"text":" [] -> :none","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4574"}},{"Del":{"text":" list -> list","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4593"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4601"}},{"Del":{"text":" rescue","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4610"}},{"Del":{"text":" # Module has no __info__/1 (e.g. a raw Erlang module) or is unavailable;","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4687"}},{"Del":{"text":" # fall back to reporting we cannot determine the arity.","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4747"}},{"Del":{"text":" _ -> :none","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:4762"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":143,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":4770},"to":{"change":13,"start":6160,"end":6704},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":6704},"to":{"change":12,"start":5287,"end":5407},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":5287},"to":{"change":12,"start":5287,"end":5407},"introduced_by":12},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":5407},"to":{"change":13,"start":6705,"end":6838},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":6838},"to":{"change":12,"start":5541,"end":6672},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":12,"pos":5541},"to":{"change":12,"start":5541,"end":6672},"introduced_by":12},{"previous":"","flag":"DELETED","from":{"change":11,"pos":4921},"to":{"change":10,"start":1062,"end":1858},"introduced_by":11},{"previous":"","flag":"DELETED","from":{"change":12,"pos":6672},"to":{"change":10,"start":1062,"end":1858},"introduced_by":12},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":2,"pos":1405},"to":{"change":10,"start":1062,"end":1858},"introduced_by":10}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":" # Canonicalizes one imports-map target to `{:ok, tagged}` or","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6222"}},{"Del":{"text":" # `{:error, reason}`. A `{Module, :function}` MFA tuple and an external","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6296"}},{"Del":{"text":" # capture (`&Mod.fun/arity`) both tag as `{:static, Module, function}` and","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6373"}},{"Del":{"text":" # compile to a direct remote call. A local fun (`fn ... -> ... end`) may","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6448"}},{"Del":{"text":" # capture environment and cannot be named for a static call, so it tags as","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6525"}},{"Del":{"text":" # `{:closure, fun}` and is bound at load time via the closure table.","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6596"}},{"Del":{"text":" defp normalize_target({mod, fun}) when is_atom(mod) and is_atom(fun),","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6668"}},{"Del":{"text":" do: {:ok, {:static, mod, fun}}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6703"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5287"}},{"Del":{"text":" defp normalize_target(f) when is_function(f) do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5337"}},{"Del":{"text":" info = :erlang.fun_info(f)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5368"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5369"}},{"Del":{"text":" case Keyword.get(info, :type) do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5406"}},{"Del":{"text":" :external -> {:ok, {:static, Keyword.fetch!(info, :module), Keyword.fetch!(info, :name)}}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6800"}},{"Del":{"text":" :local -> {:ok, {:closure, f}}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:6837"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5548"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5554"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5555"}},{"Del":{"text":" defp normalize_target(_other), do: {:error, :unrecognized_target}","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5623"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5624"}},{"Del":{"text":" # Canonicalizes every leaf of the two-level imports map via normalize_target/1.","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5706"}},{"Del":{"text":" # Collects ALL bad targets (as `{module_name, field_name, reason}`) before","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5783"}},{"Del":{"text":" # raising, so a developer sees every problem at once rather than one per","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5858"}},{"Del":{"text":" # recompile. Returns the map with `{Module, function}` leaves on success.","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5934"}},{"Del":{"text":" defp normalize_imports_map(imports_map) do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:5979"}},{"Del":{"text":" {normalized, invalid} =","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6007"}},{"Del":{"text":" Enum.reduce(imports_map, {%{}, []}, fn {mod, fields}, {acc, bad} ->","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6081"}},{"Del":{"text":" {inner, bad} =","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6104"}},{"Del":{"text":" Enum.reduce(fields, {%{}, bad}, fn {name, target}, {inner, bad} ->","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6181"}},{"Del":{"text":" case normalize_target(target) do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6226"}},{"Del":{"text":" {:ok, canonical} -> {Map.put(inner, name, canonical), bad}","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6299"}},{"Del":{"text":" {:error, reason} -> {inner, [{mod, name, reason} | bad]}","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6370"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6386"}},{"Del":{"text":" end)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6401"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6402"}},{"Del":{"text":" {Map.put(acc, mod, inner), bad}","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6442"}},{"Del":{"text":" end)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6453"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6454"}},{"Del":{"text":" unless invalid == [] do","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6482"}},{"Del":{"text":" items = Enum.reverse(invalid)","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6518"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6519"}},{"Del":{"text":" raise WaEmbedder.ImportError,","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6555"}},{"Del":{"text":" message: \"invalid import targets: #{inspect(items)}\",","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6617"}},{"Del":{"text":" invalid: items","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6640"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6648"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6649"}},{"Del":{"text":" normalized","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6664"}},{"Del":{"text":" end","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6670"}},{"Del":{"text":"","pos":"SITK5XBZJ6JI55YWBDAXWPLCUKF5DDQBT5NIXKOIPZSJYZ4FS37QC:6671"}},{"Del":{"text":" # Validates the start function's type signature. The WASM spec requires the","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1139"}},{"Del":{"text":" # start function to have type [] -> [] (no params, no results). Type","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1210"}},{"Del":{"text":" # signatures are represented as {params, results} tuples of valtype lists,","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1287"}},{"Del":{"text":" # so an empty [] -> [] type is {[], []}. A nil start section is a no-op.","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1362"}},{"Del":{"text":" defp validate_start_type(nil, _parsed, _fn_names), do: :ok","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1423"}},{"Del":{"text":"","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1424"}},{"Del":{"text":" defp validate_start_type({:start, func_idx}, parsed, _fn_names) do","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1493"}},{"Del":{"text":" types = Map.get(parsed, :type, [])","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1532"}},{"Del":{"text":" functions = Map.get(parsed, :function, [])","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1579"}},{"Del":{"text":" type_idx = Enum.at(functions, func_idx)","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1623"}},{"Del":{"text":"","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1624"}},{"Del":{"text":" case Enum.at(types, type_idx) do","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1661"}},{"Del":{"text":" {[], []} ->","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1679"}},{"Del":{"text":" :ok","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1691"}},{"Del":{"text":"","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1692"}},{"Del":{"text":" signature ->","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1711"}},{"Del":{"text":" raise ArgumentError,","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1740"}},{"Del":{"text":" \"start function (index #{func_idx}) must have type [] -> [], got #{inspect(signature)}\"","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1842"}},{"Del":{"text":" end","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1850"}},{"Del":{"text":" end","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1856"}},{"Del":{"text":"","pos":"N5ZDAUNY4BANNOV23BJ7GOHKUOEOD2DKB6SUOYBJ77DFMJE4TPYAC:1857"}}]}},{"Edit":{"inode":{"change":2,"pos":1322},"path":"lib/wa_embedder.ex","line":173,"atom":{"EdgeMap":{"edges":[{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":8,"pos":4077},"to":{"change":8,"start":4077,"end":4083},"introduced_by":8},{"previous":"","flag":"DELETED","from":{"change":8,"pos":4083},"to":{"change":6,"start":10655,"end":10656},"introduced_by":8},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":10655},"to":{"change":6,"start":10655,"end":10656},"introduced_by":6},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":6,"pos":10656},"to":{"change":11,"start":4922,"end":5070},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":5070},"to":{"change":13,"start":7372,"end":7801},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":7801},"to":{"change":11,"start":5360,"end":5522},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":5360},"to":{"change":11,"start":5360,"end":5522},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":5522},"to":{"change":13,"start":7802,"end":8049},"introduced_by":13},{"previous":"","flag":"DELETED","from":{"change":13,"pos":8049},"to":{"change":11,"start":5627,"end":5639},"introduced_by":13},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":11,"pos":5627},"to":{"change":11,"start":5627,"end":5639},"introduced_by":11},{"previous":"","flag":"DELETED","from":{"change":11,"pos":5639},"to":{"change":9,"start":3373,"end":3644},"introduced_by":11},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":9,"pos":3373},"to":{"change":9,"start":3373,"end":3644},"introduced_by":9},{"previous":"BLOCK","flag":"BLOCK | DELETED","from":{"change":9,"pos":3644},"to":{"change":11,"start":5640,"end":5902},"introduced_by":11}],"inode":{"change":2,"pos":1322}}},"contents":[{"Del":{"text":" end","pos":"GI6TDTAU3ZNX7GFKFZBNLSMEGUQZDL3AVRBFIOR2MLV6MM5QZNRAC:4082"}},{"Del":{"text":"","pos":"Q6QBNIJBLCPKGHTQAQ6GTH5E2SJUPOQSL7G7TP4NC6MUORYJEE3QC:10655"}},{"Del":{"text":" # Function index -> entry-point, in the unified WASM index space where","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:4994"}},{"Del":{"text":" # imported functions occupy indices 0..N-1 and locally-defined functions","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5069"}},{"Del":{"text":" # follow at N..N+M-1. Import entries resolve from their tagged target:","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7444"}},{"Del":{"text":" # `{:static, m, f}` -> `{:remote, m, f}` (a direct remote call);","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7511"}},{"Del":{"text":" # `{:closure, _}` -> `{:closure, slot}` (looked up in the closure table at","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7588"}},{"Del":{"text":" # runtime). Local entries resolve to an atom (exported name or","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7653"}},{"Del":{"text":" # `f`). Used by call codegen, table entries and ref.func.","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7725"}},{"Del":{"text":" defp function_names(parsed, func_imports, imports_map, closure_slots) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7800"}},{"Del":{"text":" import_count = length(func_imports)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5399"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5400"}},{"Del":{"text":" import_names =","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5419"}},{"Del":{"text":" func_imports","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5438"}},{"Del":{"text":" |> Enum.with_index()","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5465"}},{"Del":{"text":" |> Enum.into(%{}, fn {{mod, name, _desc}, idx} ->","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5521"}},{"Del":{"text":" entry =","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7817"}},{"Del":{"text":" case get_in(imports_map, [mod, name]) do","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7868"}},{"Del":{"text":" {:static, erl_mod, erl_fun} -> {:remote, erl_mod, erl_fun}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:7939"}},{"Del":{"text":" {:closure, _f} -> {:closure, Map.fetch!(closure_slots, idx)}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:8012"}},{"Del":{"text":" end","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:8026"}},{"Del":{"text":"","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:8027"}},{"Del":{"text":" {idx, entry}","pos":"YA6Q3PMM3HFWY33IDYTGVZWFAWLKUMKRAXBJG3YVXYRZKQBDUEOAC:8048"}},{"Del":{"text":" end)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5637"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5638"}},{"Del":{"text":" exported =","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3387"}},{"Del":{"text":" parsed","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3400"}},{"Del":{"text":" |> Map.get(:export, [])","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3430"}},{"Del":{"text":" |> Enum.filter(fn {_name, {t, _idx}} -> t == :func end)","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3492"}},{"Del":{"text":" |> Enum.into(%{}, fn {name, {_t, idx}} -> {idx, :erlang.binary_to_atom(name)} end)","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3581"}},{"Del":{"text":"","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3582"}},{"Del":{"text":" function_count = length(Map.get(parsed, :function, []))","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3642"}},{"Del":{"text":"","pos":"SOR7ZDCJA7IQEQUGFUJBLRDXFSHEVMESUIMLSDGKX7JDZANDA4GAC:3643"}},{"Del":{"text":" local_names =","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5657"}},{"Del":{"text":" for idx <- 0..max(function_count - 1, 0)//1, into: %{} do","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5721"}},{"Del":{"text":" global_idx = idx + import_count","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5761"}},{"Del":{"text":" {global_idx, Map.get(exported, global_idx) || String.to_atom(\"f#{global_idx}\")}","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5849"}},{"Del":{"text":" end","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5859"}},{"Del":{"text":"","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5860"}},{"Del":{"text":" Map.merge(import_names, local_names)","pos":"A66ZYM6TKPUFNSKTGSTBMAXNXH43YFYBHXF55TO7QBS3PBGPQEFAC:5901"}}]}}],"owner":"couchemar","repo":"wa_embedder","token":"0PuSpCHc/ol6HiG7luV5j2NdIjmLAb9PP5kTDZ9sBZ4=","login":null}

…

Dependencies

Change contents

Review