kumi 0.0.18 → 0.0.19

data/golden/input_reference/expected/input_plan.txt

@@ -0,0 +1,15 @@
+config: hash (hash)
+  └─> app_name: property_access
+  └─> feature_flags: property_access → array_loop
+  └─> servers: property_access → array_loop
+  app_name: string
+  feature_flags: array (array) access_mode=element
+    └─> flag_name: element_access
+    flag_name: string
+  servers: array (array) access_mode=element
+    └─> server: element_access
+    server: hash (hash)
+      └─> hostname: property_access
+      └─> port: property_access
+      hostname: string
+      port: integer

data/golden/input_reference/expected/lir_00_unoptimized.txt

@@ -0,0 +1,39 @@
+(LIR
+  (Declaration app_name
+    %t1 = load_input "config" :: any
+    %t2 = load_field t1["app_name"] :: string
+    yield %t2
+  )
+  (Declaration all_flags
+    %t3 = load_input "config" :: array
+    %t4 = load_field t3["feature_flags"] :: any
+    loop feature_flags id=L1 in %t4 as el=%feature_flags_el_5, idx=%feature_flags_i_6
+      yield %feature_flags_el_5
+    end_loop
+  )
+  (Declaration server_hostnames
+    %t7 = load_input "config" :: array
+    %t8 = load_field t7["servers"] :: any
+    loop servers id=L2 in %t8 as el=%servers_el_9, idx=%servers_i_10
+      %t11 = load_field servers_el_9["hostname"] :: string
+      yield %t11
+    end_loop
+  )
+  (Declaration server_count
+    %t12 = load_input "config" :: any
+    %t13 = load_field t12["servers"] :: array
+    %t14 = call core.array_size(%t13) :: integer
+    yield %t14
+  )
+  (Declaration total_ports
+    %acc_15 = decl_acc :: integer
+    %t16 = load_input "config" :: array
+    %t17 = load_field t16["servers"] :: any
+    loop servers id=L3 in %t17 as el=%servers_el_18, idx=%servers_i_19
+      %t20 = load_field servers_el_18["port"] :: integer
+      %acc_15 = acc_add agg.sum(%acc_15, %t20) :: integer
+    end_loop
+    %t21 = acc_load %acc_15 :: integer
+    yield %t21
+  )
+)

data/golden/input_reference/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,39 @@
+(LIR
+  (Declaration app_name
+    %t1 = load_input "config" :: any
+    %t2 = load_field t1["app_name"] :: string
+    yield %t2
+  )
+  (Declaration all_flags
+    %t3 = load_input "config" :: array
+    %t4 = load_field t3["feature_flags"] :: any
+    loop feature_flags id=L1 in %t4 as el=%feature_flags_el_5, idx=%feature_flags_i_6
+      yield %feature_flags_el_5
+    end_loop
+  )
+  (Declaration server_hostnames
+    %t7 = load_input "config" :: array
+    %t8 = load_field t7["servers"] :: any
+    loop servers id=L2 in %t8 as el=%servers_el_9, idx=%servers_i_10
+      %t11 = load_field servers_el_9["hostname"] :: string
+      yield %t11
+    end_loop
+  )
+  (Declaration server_count
+    %t12 = load_input "config" :: any
+    %t13 = load_field t12["servers"] :: array
+    %t14 = call core.array_size(%t13) :: integer
+    yield %t14
+  )
+  (Declaration total_ports
+    %acc_15 = decl_acc :: integer
+    %t16 = load_input "config" :: array
+    %t17 = load_field t16["servers"] :: any
+    loop servers id=L3 in %t17 as el=%servers_el_18, idx=%servers_i_19
+      %t20 = load_field servers_el_18["port"] :: integer
+      %acc_15 = acc_add agg.sum(%acc_15, %t20) :: integer
+    end_loop
+    %t21 = acc_load %acc_15 :: integer
+    yield %t21
+  )
+)

data/golden/input_reference/expected/lir_02_inlined.txt

@@ -0,0 +1,39 @@
+(LIR
+  (Declaration app_name
+    %t1 = load_input "config" :: any
+    %t2 = load_field t1["app_name"] :: string
+    yield %t2
+  )
+  (Declaration all_flags
+    %t3 = load_input "config" :: array
+    %t4 = load_field t3["feature_flags"] :: any
+    loop feature_flags id=L1 in %t4 as el=%feature_flags_el_5, idx=%feature_flags_i_6
+      yield %feature_flags_el_5
+    end_loop
+  )
+  (Declaration server_hostnames
+    %t7 = load_input "config" :: array
+    %t8 = load_field t7["servers"] :: any
+    loop servers id=L2 in %t8 as el=%servers_el_9, idx=%servers_i_10
+      %t11 = load_field servers_el_9["hostname"] :: string
+      yield %t11
+    end_loop
+  )
+  (Declaration server_count
+    %t12 = load_input "config" :: any
+    %t13 = load_field t12["servers"] :: array
+    %t14 = call core.array_size(%t13) :: integer
+    yield %t14
+  )
+  (Declaration total_ports
+    %acc_15 = decl_acc :: integer
+    %t16 = load_input "config" :: array
+    %t17 = load_field t16["servers"] :: any
+    loop servers id=L3 in %t17 as el=%servers_el_18, idx=%servers_i_19
+      %t20 = load_field servers_el_18["port"] :: integer
+      %acc_15 = acc_add agg.sum(%acc_15, %t20) :: integer
+    end_loop
+    %t21 = acc_load %acc_15 :: integer
+    yield %t21
+  )
+)

data/golden/input_reference/expected/lir_03_cse.txt

@@ -0,0 +1,39 @@
+(LIR
+  (Declaration app_name
+    %t1 = load_input "config" :: any
+    %t2 = load_field t1["app_name"] :: string
+    yield %t2
+  )
+  (Declaration all_flags
+    %t3 = load_input "config" :: array
+    %t4 = load_field t3["feature_flags"] :: any
+    loop feature_flags id=L1 in %t4 as el=%feature_flags_el_5, idx=%feature_flags_i_6
+      yield %feature_flags_el_5
+    end_loop
+  )
+  (Declaration server_hostnames
+    %t7 = load_input "config" :: array
+    %t8 = load_field t7["servers"] :: any
+    loop servers id=L2 in %t8 as el=%servers_el_9, idx=%servers_i_10
+      %t11 = load_field servers_el_9["hostname"] :: string
+      yield %t11
+    end_loop
+  )
+  (Declaration server_count
+    %t12 = load_input "config" :: any
+    %t13 = load_field t12["servers"] :: array
+    %t14 = call core.array_size(%t13) :: integer
+    yield %t14
+  )
+  (Declaration total_ports
+    %acc_15 = decl_acc :: integer
+    %t16 = load_input "config" :: array
+    %t17 = load_field t16["servers"] :: any
+    loop servers id=L3 in %t17 as el=%servers_el_18, idx=%servers_i_19
+      %t20 = load_field servers_el_18["port"] :: integer
+      %acc_15 = acc_add agg.sum(%acc_15, %t20) :: integer
+    end_loop
+    %t21 = acc_load %acc_15 :: integer
+    yield %t21
+  )
+)

data/golden/input_reference/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,39 @@
+(LIR
+  (Declaration app_name
+    %t1 = load_input "config" :: any
+    %t2 = load_field t1["app_name"] :: string
+    yield %t2
+  )
+  (Declaration all_flags
+    %t3 = load_input "config" :: array
+    %t4 = load_field t3["feature_flags"] :: any
+    loop feature_flags id=L1 in %t4 as el=%feature_flags_el_5, idx=%feature_flags_i_6
+      yield %feature_flags_el_5
+    end_loop
+  )
+  (Declaration server_hostnames
+    %t7 = load_input "config" :: array
+    %t8 = load_field t7["servers"] :: any
+    loop servers id=L2 in %t8 as el=%servers_el_9, idx=%servers_i_10
+      %t11 = load_field servers_el_9["hostname"] :: string
+      yield %t11
+    end_loop
+  )
+  (Declaration server_count
+    %t12 = load_input "config" :: any
+    %t13 = load_field t12["servers"] :: array
+    %t14 = call core.array_size(%t13) :: integer
+    yield %t14
+  )
+  (Declaration total_ports
+    %acc_15 = decl_acc :: integer
+    %t16 = load_input "config" :: array
+    %t17 = load_field t16["servers"] :: any
+    loop servers id=L3 in %t17 as el=%servers_el_18, idx=%servers_i_19
+      %t20 = load_field servers_el_18["port"] :: integer
+      %acc_15 = acc_add agg.sum(%acc_15, %t20) :: integer
+    end_loop
+    %t21 = acc_load %acc_15 :: integer
+    yield %t21
+  )
+)

data/golden/input_reference/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,39 @@
+(LIR
+  (Declaration app_name
+    %t1 = load_input "config" :: any
+    %t2 = load_field t1["app_name"] :: string
+    yield %t2
+  )
+  (Declaration all_flags
+    %t3 = load_input "config" :: array
+    %t4 = load_field t3["feature_flags"] :: any
+    loop feature_flags id=L1 in %t4 as el=%feature_flags_el_5, idx=%feature_flags_i_6
+      yield %feature_flags_el_5
+    end_loop
+  )
+  (Declaration server_hostnames
+    %t7 = load_input "config" :: array
+    %t8 = load_field t7["servers"] :: any
+    loop servers id=L2 in %t8 as el=%servers_el_9, idx=%servers_i_10
+      %t11 = load_field servers_el_9["hostname"] :: string
+      yield %t11
+    end_loop
+  )
+  (Declaration server_count
+    %t12 = load_input "config" :: any
+    %t13 = load_field t12["servers"] :: array
+    %t14 = call core.array_size(%t13) :: integer
+    yield %t14
+  )
+  (Declaration total_ports
+    %acc_15 = decl_acc :: integer
+    %t16 = load_input "config" :: array
+    %t17 = load_field t16["servers"] :: any
+    loop servers id=L3 in %t17 as el=%servers_el_18, idx=%servers_i_19
+      %t20 = load_field servers_el_18["port"] :: integer
+      %acc_15 = acc_add agg.sum(%acc_15, %t20) :: integer
+    end_loop
+    %t21 = acc_load %acc_15 :: integer
+    yield %t21
+  )
+)

data/golden/input_reference/expected/lir_06_const_prop.txt

@@ -0,0 +1,39 @@
+(LIR
+  (Declaration app_name
+    %t1 = load_input "config" :: any
+    %t2 = load_field t1["app_name"] :: string
+    yield %t2
+  )
+  (Declaration all_flags
+    %t3 = load_input "config" :: array
+    %t4 = load_field t3["feature_flags"] :: any
+    loop feature_flags id=L1 in %t4 as el=%feature_flags_el_5, idx=%feature_flags_i_6
+      yield %feature_flags_el_5
+    end_loop
+  )
+  (Declaration server_hostnames
+    %t7 = load_input "config" :: array
+    %t8 = load_field t7["servers"] :: any
+    loop servers id=L2 in %t8 as el=%servers_el_9, idx=%servers_i_10
+      %t11 = load_field servers_el_9["hostname"] :: string
+      yield %t11
+    end_loop
+  )
+  (Declaration server_count
+    %t12 = load_input "config" :: any
+    %t13 = load_field t12["servers"] :: array
+    %t14 = call core.array_size(%t13) :: integer
+    yield %t14
+  )
+  (Declaration total_ports
+    %acc_15 = decl_acc :: integer
+    %t16 = load_input "config" :: array
+    %t17 = load_field t16["servers"] :: any
+    loop servers id=L3 in %t17 as el=%servers_el_18, idx=%servers_i_19
+      %t20 = load_field servers_el_18["port"] :: integer
+      %acc_15 = acc_add agg.sum(%acc_15, %t20) :: integer
+    end_loop
+    %t21 = acc_load %acc_15 :: integer
+    yield %t21
+  )
+)

data/golden/input_reference/expected/nast.txt

@@ -0,0 +1,21 @@
+(NAST
+  (VALUE app_name
+    (InputRef [:config, :app_name])
+  )
+  (VALUE all_flags
+    (InputRef [:config, :feature_flags, :flag_name])
+  )
+  (VALUE server_hostnames
+    (InputRef [:config, :servers, :server, :hostname])
+  )
+  (VALUE server_count
+    (Call :"core.array_size"
+    (InputRef [:config, :servers])
+  )
+  )
+  (VALUE total_ports
+    (Call :"agg.sum"
+    (InputRef [:config, :servers, :server, :port])
+  )
+  )
+)

data/golden/input_reference/expected/schema_javascript.mjs

@@ -0,0 +1,45 @@
+export function _app_name(input) {
+  let t1 = input["config"];
+  let t2 = t1["app_name"];
+  return t2;
+}
+
+export function _all_flags(input) {
+  let out = [];
+  let t3 = input["config"];
+  let t4 = t3["feature_flags"];
+  t4.forEach((feature_flags_el_5, feature_flags_i_6) => {
+    out.push(feature_flags_el_5);
+  });
+  return out;
+}
+
+export function _server_hostnames(input) {
+  let out = [];
+  let t7 = input["config"];
+  let t8 = t7["servers"];
+  t8.forEach((servers_el_9, servers_i_10) => {
+    let t11 = servers_el_9["hostname"];
+    out.push(t11);
+  });
+  return out;
+}
+
+export function _server_count(input) {
+  let t12 = input["config"];
+  let t13 = t12["servers"];
+  let t14 = t13.length;
+  return t14;
+}
+
+export function _total_ports(input) {
+  let acc_15 = 0;
+  let t16 = input["config"];
+  let t17 = t16["servers"];
+  t17.forEach((servers_el_18, servers_i_19) => {
+    let t20 = servers_el_18["port"];
+    acc_15 += t20;
+  });
+  return acc_15;
+}
+

data/golden/input_reference/expected/schema_ruby.rb

@@ -0,0 +1,74 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_553e66837fe392a06e5de16b6bc32e442b3e71b92f205eae1451b78a49fbac83
+  def self.from(input_data = nil)
+    instance = Object.new
+    instance.extend(self)
+    instance.instance_variable_set(:@input, input_data)
+    instance
+  end
+
+  def self.__kumi_executable__
+    instance = Object.new
+    instance.extend(self)
+    instance
+  end
+
+  def update(input_data)
+    @input = @input.merge(input_data)
+    self
+  end
+
+  def [](name)
+    case name
+    when :app_name then _app_name
+    when :all_flags then _all_flags
+    when :server_hostnames then _server_hostnames
+    when :server_count then _server_count
+    when :total_ports then _total_ports
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _app_name(input = @input)
+    t1 = input["config"] || input[:config]
+    t1["app_name"] || t1[:app_name]
+  end
+
+  def _all_flags(input = @input)
+    out = []
+    t3 = input["config"] || input[:config]
+    t4 = t3["feature_flags"] || t3[:feature_flags]
+    t4.each_with_index do |feature_flags_el_5, feature_flags_i_6|
+      out << feature_flags_el_5
+    end
+    out
+  end
+
+  def _server_hostnames(input = @input)
+    out = []
+    t7 = input["config"] || input[:config]
+    t8 = t7["servers"] || t7[:servers]
+    t8.each_with_index do |servers_el_9, servers_i_10|
+      t11 = servers_el_9["hostname"] || servers_el_9[:hostname]
+      out << t11
+    end
+    out
+  end
+
+  def _server_count(input = @input)
+    t12 = input["config"] || input[:config]
+    t13 = t12["servers"] || t12[:servers]
+    t13.length
+  end
+
+  def _total_ports(input = @input)
+    acc_15 = 0
+    t16 = input["config"] || input[:config]
+    t17 = t16["servers"] || t16[:servers]
+    t17.each_with_index do |servers_el_18, servers_i_19|
+      t20 = servers_el_18["port"] || servers_el_18[:port]
+      acc_15 += t20
+    end
+    acc_15
+  end
+end

data/golden/input_reference/expected/snast.txt

@@ -0,0 +1,21 @@
+(SNAST
+  (VALUE app_name
+    (InputRef config.app_name key_chain=[]) :: [] -> string
+  ) :: [] -> string
+  (VALUE all_flags
+    (InputRef config.feature_flags.flag_name key_chain=[]) :: [feature_flags] -> string
+  ) :: [feature_flags] -> string
+  (VALUE server_hostnames
+    (InputRef config.servers.server.hostname key_chain=[]) :: [servers] -> string
+  ) :: [servers] -> string
+  (VALUE server_count
+    (Call :core.array_size
+      (InputRef config.servers key_chain=[]) :: [] -> array
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE total_ports
+    (Reduce :agg.sum over [servers]
+      (InputRef config.servers.server.port key_chain=[]) :: [servers] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+)

data/golden/input_reference/expected.json

@@ -0,0 +1,7 @@
+{
+    "app_name": "MyApp",
+    "all_flags": ["dark_mode", "beta_features", "analytics"],
+    "server_hostnames": ["web-01", "web-02", "api-01"],
+    "server_count": 3,
+    "total_ports": 19161
+}

data/golden/input_reference/input.json

@@ -0,0 +1,11 @@
+{
+    "config": {
+        "app_name": "MyApp",
+        "feature_flags": ["dark_mode", "beta_features", "analytics"],
+        "servers": [
+          { "hostname": "web-01", "port": 8080 },
+          { "hostname": "web-02", "port": 8081 },
+          { "hostname": "api-01", "port": 3000 }
+        ]
+      }
+}

data/golden/input_reference/schema.kumi

@@ -0,0 +1,22 @@
+schema do
+  input do
+    hash :config do
+      string :app_name
+      array :feature_flags do
+        string :flag_name
+      end
+      array :servers do
+        hash :server do
+          string :hostname
+          integer :port
+        end
+      end
+    end
+  end
+
+  value :app_name, input.config.app_name
+  value :all_flags, input.config.feature_flags.flag_name
+  value :server_hostnames, input.config.servers.server.hostname
+  value :server_count, fn(:array_size, input.config.servers)
+  value :total_ports, fn(:sum, input.config.servers.server.port)
+end

data/golden/interleaved_fusion/expected/ast.txt

@@ -0,0 +1,51 @@
+(Root
+  inputs: [
+    (InputDeclaration :departments :array
+      [
+        (InputDeclaration :dept :hash
+          [
+            (InputDeclaration :name :string)
+            (InputDeclaration :employees :array
+              [
+                (InputDeclaration :emp :hash
+                  [
+                    (InputDeclaration :salary :integer)
+                    (InputDeclaration :role :string)
+                  ]
+                )
+              ]
+            )
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :total_payroll
+      (CallExpression :sum
+        (InputElementReference departments.dept.employees.emp.salary)
+      )
+    )
+    (ValueDeclaration :payroll_tax
+      (CallExpression :multiply
+        (DeclarationReference :total_payroll)
+        (Literal 0.15)
+      )
+    )
+    (ValueDeclaration :manager_count
+      (CallExpression :count_if
+        (InputElementReference departments.dept.employees.emp.role)
+        (Literal "manager")
+      )
+    )
+    (ValueDeclaration :department_summary
+      (HashExpression
+        ((Literal :name) (InputElementReference departments.dept.name))
+        ((Literal :payroll) (DeclarationReference :total_payroll))
+        ((Literal :tax) (DeclarationReference :payroll_tax))
+        ((Literal :managers) (DeclarationReference :manager_count))
+      )
+    )
+  ]
+  traits: []
+)

data/golden/interleaved_fusion/expected/input_plan.txt

@@ -0,0 +1,13 @@
+departments: array (array) access_mode=element
+  └─> dept: element_access
+  dept: hash (hash)
+    └─> name: property_access
+    └─> employees: property_access → array_loop
+    name: string
+    employees: array (array) access_mode=element
+      └─> emp: element_access
+      emp: hash (hash)
+        └─> salary: property_access
+        └─> role: property_access
+        salary: integer
+        role: string

data/golden/interleaved_fusion/expected/lir_00_unoptimized.txt

@@ -0,0 +1,53 @@
+(LIR
+  (Declaration total_payroll
+    %t1 = load_input "departments" :: array
+    loop departments id=L1 in %t1 as el=%departments_el_2, idx=%departments_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field departments_el_2["employees"] :: any
+      loop employees id=L2 in %t5 as el=%employees_el_6, idx=%employees_i_7
+        %t8 = load_field employees_el_6["salary"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration payroll_tax
+    %t10 = load_input "departments" :: array
+    loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
+      %t13 = load_decl total_payroll axes=[departments] :: integer
+      %t14 = const 0.15 :: float
+      %t15 = call core.mul(%t13, %t14) :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration manager_count
+    %t16 = load_input "departments" :: array
+    loop departments id=L4 in %t16 as el=%departments_el_17, idx=%departments_i_18
+      %acc_19 = decl_acc :: integer
+      %t20 = load_field departments_el_17["employees"] :: any
+      loop employees id=L5 in %t20 as el=%employees_el_21, idx=%employees_i_22
+        %t23 = load_field employees_el_21["role"] :: string
+        %t24 = const "manager" :: string
+        %t25 = call core.eq(%t23, %t24) :: boolean
+        %t26 = const 1 :: integer
+        %t27 = const 0 :: integer
+        %t28 = select %t25, %t26, %t27 :: integer
+        %acc_19 = acc_add agg.sum(%acc_19, %t28) :: integer
+      end_loop
+      %t29 = acc_load %acc_19 :: integer
+      yield %t29
+    end_loop
+  )
+  (Declaration department_summary
+    %t30 = load_input "departments" :: array
+    loop departments id=L6 in %t30 as el=%departments_el_31, idx=%departments_i_32
+      %t33 = load_field departments_el_31["name"] :: string
+      %t34 = load_decl total_payroll axes=[departments] :: integer
+      %t35 = load_decl payroll_tax axes=[departments] :: float
+      %t36 = load_decl manager_count axes=[departments] :: integer
+      %t37 = make_object{name: %t33, payroll: %t34, tax: %t35, managers: %t36} :: object
+      yield %t37
+    end_loop
+  )
+)

data/golden/interleaved_fusion/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,53 @@
+(LIR
+  (Declaration total_payroll
+    %t1 = load_input "departments" :: array
+    loop departments id=L1 in %t1 as el=%departments_el_2, idx=%departments_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field departments_el_2["employees"] :: any
+      loop employees id=L2 in %t5 as el=%employees_el_6, idx=%employees_i_7
+        %t8 = load_field employees_el_6["salary"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration payroll_tax
+    %t10 = load_input "departments" :: array
+    loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
+      %t13 = load_decl total_payroll axes=[departments] :: integer
+      %t14 = const 0.15 :: float
+      %t15 = call core.mul(%t13, %t14) :: float
+      yield %t15
+    end_loop
+  )
+  (Declaration manager_count
+    %t16 = load_input "departments" :: array
+    loop departments id=L4 in %t16 as el=%departments_el_17, idx=%departments_i_18
+      %acc_19 = decl_acc :: integer
+      %t20 = load_field departments_el_17["employees"] :: any
+      loop employees id=L5 in %t20 as el=%employees_el_21, idx=%employees_i_22
+        %t23 = load_field employees_el_21["role"] :: string
+        %t24 = const "manager" :: string
+        %t25 = call core.eq(%t23, %t24) :: boolean
+        %t26 = const 1 :: integer
+        %t27 = const 0 :: integer
+        %t28 = select %t25, %t26, %t27 :: integer
+        %acc_19 = acc_add agg.sum(%acc_19, %t28) :: integer
+      end_loop
+      %t29 = acc_load %acc_19 :: integer
+      yield %t29
+    end_loop
+  )
+  (Declaration department_summary
+    %t30 = load_input "departments" :: array
+    loop departments id=L6 in %t30 as el=%departments_el_31, idx=%departments_i_32
+      %t33 = load_field departments_el_31["name"] :: string
+      %t34 = load_decl total_payroll axes=[departments] :: integer
+      %t35 = load_decl payroll_tax axes=[departments] :: float
+      %t36 = load_decl manager_count axes=[departments] :: integer
+      %t37 = make_object{name: %t33, payroll: %t34, tax: %t35, managers: %t36} :: object
+      yield %t37
+    end_loop
+  )
+)