kumi 0.0.17 → 0.0.19

data/golden/empty_and_null_inputs/expected/lir_06_const_prop.txt

@@ -0,0 +1,49 @@
+(LIR
+  (Declaration regional_sales
+    %t1 = load_input "regions" :: array
+    loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field regions_el_2["sales"] :: any
+      loop sales id=L2 in %t5 as el=%sales_el_6, idx=%sales_i_7
+        %t8 = load_field sales_el_6["amount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration total_sales
+    %acc_10 = decl_acc :: integer
+    %t11 = load_input "regions" :: array
+    loop regions id=L3 in %t11 as el=%regions_el_12, idx=%regions_i_13
+      %acc21 = decl_acc :: integer
+      %t22 = load_field regions_el_12["sales"] :: any
+      loop sales id=L4 in %t22 as el=%sales_el_6, idx=%sales_i_7
+        %t23 = load_field sales_el_6["amount"] :: integer
+        %acc21 = acc_add agg.sum(%acc21, %t23) :: integer
+      end_loop
+      %t24 = acc_load %acc21 :: integer
+      %acc_10 = acc_add agg.sum(%acc_10, %t24) :: integer
+    end_loop
+    %t15 = acc_load %acc_10 :: integer
+    yield %t15
+  )
+  (Declaration adjusted_total
+    %acc26 = decl_acc :: integer
+    %t27 = load_input "regions" :: array
+    loop regions id=L5 in %t27 as el=%regions_el_12, idx=%regions_i_13
+      %acc32 = decl_acc :: integer
+      %t33 = load_field regions_el_12["sales"] :: any
+      loop sales id=L6 in %t33 as el=%sales_el_6, idx=%sales_i_7
+        %t34 = load_field sales_el_6["amount"] :: integer
+        %acc32 = acc_add agg.sum(%acc32, %t34) :: integer
+      end_loop
+      %t35 = acc_load %acc32 :: integer
+      %acc26 = acc_add agg.sum(%acc26, %t35) :: integer
+    end_loop
+    %t29 = acc_load %acc26 :: integer
+    %t17 = load_input "adjustment" :: integer
+    %t18 = call core.add(%t29, %t17) :: integer
+    yield %t18
+  )
+)

data/golden/empty_and_null_inputs/expected/nast.txt

@@ -0,0 +1,18 @@
+(NAST
+  (VALUE regional_sales
+    (Call :"agg.sum"
+    (InputRef [:regions, :region, :sales, :sale, :amount])
+  )
+  )
+  (VALUE total_sales
+    (Call :"agg.sum"
+    (Ref regional_sales)
+  )
+  )
+  (VALUE adjusted_total
+    (Call :"core.add"
+    (Ref total_sales)
+    (InputRef [:adjustment])
+  )
+  )
+)

data/golden/empty_and_null_inputs/expected/schema_javascript.mjs

@@ -0,0 +1,47 @@
+export function _regional_sales(input) {
+  let out = [];
+  let t1 = input["regions"];
+  t1.forEach((regions_el_2, regions_i_3) => {
+    let acc_4 = 0;
+    let t5 = regions_el_2["sales"];
+    t5.forEach((sales_el_6, sales_i_7) => {
+      let t8 = sales_el_6["amount"];
+      acc_4 += t8;
+    });
+    out.push(acc_4);
+  });
+  return out;
+}
+
+export function _total_sales(input) {
+  let acc_10 = 0;
+  let t11 = input["regions"];
+  t11.forEach((regions_el_12, regions_i_13) => {
+    let acc21 = 0;
+    let t22 = regions_el_12["sales"];
+    t22.forEach((sales_el_6, sales_i_7) => {
+      let t23 = sales_el_6["amount"];
+      acc21 += t23;
+    });
+    acc_10 += acc21;
+  });
+  return acc_10;
+}
+
+export function _adjusted_total(input) {
+  let acc26 = 0;
+  let t27 = input["regions"];
+  t27.forEach((regions_el_12, regions_i_13) => {
+    let acc32 = 0;
+    let t33 = regions_el_12["sales"];
+    t33.forEach((sales_el_6, sales_i_7) => {
+      let t34 = sales_el_6["amount"];
+      acc32 += t34;
+    });
+    acc26 += acc32;
+  });
+  let t17 = input["adjustment"];
+  let t18 = acc26 + t17;
+  return t18;
+}
+

data/golden/empty_and_null_inputs/expected/schema_ruby.rb

@@ -0,0 +1,79 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_2f139c40109ccdc970680bb2c1efae5be3b7f2c8b75f0c1062e497a9535c20f6
+  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 :regional_sales then _regional_sales
+    when :total_sales then _total_sales
+    when :adjusted_total then _adjusted_total
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _regional_sales(input = @input)
+    out = []
+    t1 = input["regions"] || input[:regions]
+    t1.each_with_index do |regions_el_2, regions_i_3|
+      acc_4 = 0
+      t5 = regions_el_2["sales"] || regions_el_2[:sales]
+      t5.each_with_index do |sales_el_6, sales_i_7|
+        t8 = sales_el_6["amount"] || sales_el_6[:amount]
+        acc_4 += t8
+      end
+      t9 = acc_4
+      out << t9
+    end
+    out
+  end
+
+  def _total_sales(input = @input)
+    acc_10 = 0
+    t11 = input["regions"] || input[:regions]
+    t11.each_with_index do |regions_el_12, regions_i_13|
+      acc21 = 0
+      t22 = regions_el_12["sales"] || regions_el_12[:sales]
+      t22.each_with_index do |sales_el_6, sales_i_7|
+        t23 = sales_el_6["amount"] || sales_el_6[:amount]
+        acc21 += t23
+      end
+      t24 = acc21
+      acc_10 += t24
+    end
+    acc_10
+  end
+
+  def _adjusted_total(input = @input)
+    acc26 = 0
+    t27 = input["regions"] || input[:regions]
+    t27.each_with_index do |regions_el_12, regions_i_13|
+      acc32 = 0
+      t33 = regions_el_12["sales"] || regions_el_12[:sales]
+      t33.each_with_index do |sales_el_6, sales_i_7|
+        t34 = sales_el_6["amount"] || sales_el_6[:amount]
+        acc32 += t34
+      end
+      t35 = acc32
+      acc26 += t35
+    end
+    t29 = acc26
+    t17 = input["adjustment"] || input[:adjustment]
+    t29 + t17
+  end
+end

data/golden/empty_and_null_inputs/expected/snast.txt

@@ -0,0 +1,18 @@
+(SNAST
+  (VALUE regional_sales
+    (Reduce :agg.sum over [sales]
+      (InputRef regions.region.sales.sale.amount key_chain=[]) :: [regions, sales] -> integer
+    ) :: [regions] -> integer
+  ) :: [regions] -> integer
+  (VALUE total_sales
+    (Reduce :agg.sum over [regions]
+      (Ref regional_sales) :: [regions] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+  (VALUE adjusted_total
+    (Call :core.add
+      (Ref total_sales) :: [] -> integer
+      (InputRef adjustment key_chain=[]) :: [] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+)

data/golden/empty_and_null_inputs/expected.json

@@ -0,0 +1,8 @@
+{
+    "regional_sales": [
+      2500,
+      0
+    ],
+    "total_sales": 2500,
+    "adjusted_total": 2400
+}

data/golden/empty_and_null_inputs/input.json

@@ -0,0 +1,16 @@
+{
+    "regions": [
+      {
+        "name": "North",
+        "sales": [
+          {"amount": 1000},
+          {"amount": 1500}
+        ]
+      },
+      {
+        "name": "South",
+        "sales": []
+      }
+    ],
+    "adjustment": -100
+}

data/golden/empty_and_null_inputs/schema.kumi

@@ -0,0 +1,30 @@
+schema do
+  input do
+    # This array will be empty in one of the input records.
+    array :regions do
+      hash :region do
+        string :name
+        array :sales do
+          hash :sale do
+            integer :amount
+          end
+        end
+      end
+    end
+
+    # This value will be null/omitted for one record.
+    integer :adjustment
+  end
+
+  # 1. Reduction on Empty Array: The `agg.sum` kernel for integers
+  # should use its identity value (0) when the `sales` array is empty.
+  # This should not produce null or an error.
+  value :regional_sales, fn(:sum, input.regions.region.sales.sale.amount)
+
+  # 2. Total Sales: This will test summing the results from the above,
+  # including the zero from the empty region.
+  value :total_sales, fn(:sum, regional_sales)
+
+  # 3. Arithmetic with Null: How does the system handle `null + 100`?
+  value :adjusted_total, total_sales + input.adjustment
+end

data/golden/game_of_life/expected/ast.txt

@@ -0,0 +1,118 @@
+(Root
+  inputs: [
+    (InputDeclaration :rows :array
+      [
+        (InputDeclaration :col :array
+          [
+            (InputDeclaration :alive :integer)
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :a
+      (InputElementReference rows.col.alive)
+    )
+    (ValueDeclaration :n
+      (CallExpression :shift
+        (DeclarationReference :a)
+        (Literal -1)
+      )
+    )
+    (ValueDeclaration :s
+      (CallExpression :shift
+        (DeclarationReference :a)
+        (Literal 1)
+      )
+    )
+    (ValueDeclaration :w
+      (CallExpression :shift
+        (DeclarationReference :a)
+        (Literal -1)
+      )
+    )
+    (ValueDeclaration :e
+      (CallExpression :shift
+        (DeclarationReference :a)
+        (Literal 1)
+      )
+    )
+    (ValueDeclaration :nw
+      (CallExpression :shift
+        (DeclarationReference :n)
+        (Literal -1)
+      )
+    )
+    (ValueDeclaration :ne
+      (CallExpression :shift
+        (DeclarationReference :n)
+        (Literal 1)
+      )
+    )
+    (ValueDeclaration :sw
+      (CallExpression :shift
+        (DeclarationReference :s)
+        (Literal -1)
+      )
+    )
+    (ValueDeclaration :se
+      (CallExpression :shift
+        (DeclarationReference :s)
+        (Literal 1)
+      )
+    )
+    (ValueDeclaration :neighbors
+      (CallExpression :sum
+        (ArrayExpression
+          (DeclarationReference :n)
+          (DeclarationReference :s)
+          (DeclarationReference :w)
+          (DeclarationReference :e)
+          (DeclarationReference :nw)
+          (DeclarationReference :ne)
+          (DeclarationReference :sw)
+          (DeclarationReference :se)
+        )
+      )
+    )
+    (ValueDeclaration :alive
+      (CallExpression :>
+        (DeclarationReference :a)
+        (Literal 0)
+      )
+    )
+    (ValueDeclaration :n3_alive
+      (CallExpression :==
+        (DeclarationReference :neighbors)
+        (Literal 3)
+      )
+    )
+    (ValueDeclaration :n2_alive
+      (CallExpression :==
+        (DeclarationReference :neighbors)
+        (Literal 2)
+      )
+    )
+    (ValueDeclaration :keep_alive
+      (CallExpression :and
+        (DeclarationReference :n2_alive)
+        (DeclarationReference :alive)
+      )
+    )
+    (ValueDeclaration :next_alive
+      (CallExpression :or
+        (DeclarationReference :n3_alive)
+        (DeclarationReference :keep_alive)
+      )
+    )
+    (ValueDeclaration :next_state
+      (CallExpression :select
+        (DeclarationReference :next_alive)
+        (Literal 1)
+        (Literal 0)
+      )
+    )
+  ]
+  traits: []
+)

data/golden/game_of_life/expected/input_plan.txt

@@ -0,0 +1,5 @@
+rows: array (array) access_mode=element
+  └─> col: element_access → array_loop
+  col: array (array) access_mode=element
+    └─> alive: element_access
+    alive: integer