kumi 0.0.31 → 0.0.33

data/golden/array_element/expected/schema_ruby.rb

@@ -1,31 +1,6 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_725efd5a4f23c00477d27b4ef387748badd6021792c93c954293b9f0e515a72a
-  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 :v_sum_y then _v_sum_y
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _v_sum_y(input = @input)
+module Kumi::Compiled::KUMI_5b3f1fa69196cf9b659e48d120f973c8d8c7e1db3205f6332fb3c76ef30284e8
+  def self._v_sum_y(input)
     out = []
     t1 = input["x"] || input[:x]
     t1.each_with_index do |x_el_2, x_i_3|

data/golden/array_index/expected/nast.txt

@@ -7,27 +7,27 @@
   (VALUE box
     (Call :add
     (Call :multiply
-      #<struct Kumi::Core::NAST::IndexRef id=83, loc=nil, meta={}>
+      #<struct Kumi::Core::NAST::IndexRef id=138, loc=nil, meta={}>
       (Ref W)
     )
-    #<struct Kumi::Core::NAST::IndexRef id=87, loc=nil, meta={}>
+    #<struct Kumi::Core::NAST::IndexRef id=142, loc=nil, meta={}>
   )
   )
   (VALUE col_major
     (Call :add
     (Call :multiply
-      #<struct Kumi::Core::NAST::IndexRef id=91, loc=nil, meta={}>
+      #<struct Kumi::Core::NAST::IndexRef id=146, loc=nil, meta={}>
       (Call :array_size
         (InputRef [:x])
       )
     )
-    #<struct Kumi::Core::NAST::IndexRef id=96, loc=nil, meta={}>
+    #<struct Kumi::Core::NAST::IndexRef id=151, loc=nil, meta={}>
   )
   )
   (VALUE sum_ij
     (Call :add
-    #<struct Kumi::Core::NAST::IndexRef id=100, loc=nil, meta={}>
-    #<struct Kumi::Core::NAST::IndexRef id=102, loc=nil, meta={}>
+    #<struct Kumi::Core::NAST::IndexRef id=155, loc=nil, meta={}>
+    #<struct Kumi::Core::NAST::IndexRef id=157, loc=nil, meta={}>
   )
   )
 )

data/golden/array_index/expected/schema_ruby.rb

@@ -1,33 +1,6 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_db1e731032ea8c98ca0f2b4ae89d1cc32aeb5742ca64d0876db405d2fa8b8629
-  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 :box then _box
-    when :col_major then _col_major
-    when :sum_ij then _sum_ij
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _box(input = @input)
+module Kumi::Compiled::KUMI_510650f83f69ad0965715b7dd0a0be819775493c2ce07cd501134489df18ef33
+  def self._box(input)
     out = []
     t5 = input["x"] || input[:x]
     t5.each_with_index do |x_el_6, x_i_7|
@@ -43,7 +16,7 @@ module Kumi::Compiled::KUMI_db1e731032ea8c98ca0f2b4ae89d1cc32aeb5742ca64d0876db4
     out
   end
 
-  def _col_major(input = @input)
+  def self._col_major(input)
     out = []
     t13 = input["x"] || input[:x]
     t19 = t13.length
@@ -59,7 +32,7 @@ module Kumi::Compiled::KUMI_db1e731032ea8c98ca0f2b4ae89d1cc32aeb5742ca64d0876db4
     out
   end
 
-  def _sum_ij(input = @input)
+  def self._sum_ij(input)
     out = []
     t22 = input["x"] || input[:x]
     t22.each_with_index do |x_el_23, x_i_24|

data/golden/array_operations/expected/lir_06_const_prop.txt

@@ -10,37 +10,33 @@
   )
   (Declaration discounted_price
     %t7 = load_input "items" :: array
-    %t11 = const 0.9 :: float
     loop items id=L2 in %t7 as el=%items_el_8, idx=%items_i_9
       %t10 = load_field items_el_8["price"] :: float
-      %t12 = call core.mul:numeric(%t10, %t11) :: float
+      %t12 = call core.mul:numeric(%t10, 0.9) :: float
       yield %t12
     end_loop
   )
   (Declaration is_valid_quantity
     %t13 = load_input "items" :: array
-    %t17 = const 0 :: integer
     loop items id=L3 in %t13 as el=%items_el_14, idx=%items_i_15
       %t16 = load_field items_el_14["quantity"] :: integer
-      %t18 = call core.gt(%t16, %t17) :: boolean
+      %t18 = call core.gt(%t16, 0) :: boolean
       yield %t18
     end_loop
   )
   (Declaration expensive_items
     %t19 = load_input "items" :: array
-    %t23 = const 100.0 :: float
     loop items id=L4 in %t19 as el=%items_el_20, idx=%items_i_21
       %t22 = load_field items_el_20["price"] :: float
-      %t24 = call core.gt(%t22, %t23) :: boolean
+      %t24 = call core.gt(%t22, 100.0) :: boolean
       yield %t24
     end_loop
   )
   (Declaration electronics
     %t25 = load_input "items" :: array
-    %t29 = const "electronics" :: string
     loop items id=L5 in %t25 as el=%items_el_26, idx=%items_i_27
       %t28 = load_field items_el_26["category"] :: string
-      %t30 = call core.eq(%t28, %t29) :: boolean
+      %t30 = call core.eq(%t28, "electronics") :: boolean
       yield %t30
     end_loop
   )

data/golden/array_operations/expected/schema_javascript.mjs

@@ -13,10 +13,9 @@ export function _subtotals(input) {
 export function _discounted_price(input) {
   let out = [];
   let t7 = input["items"];
-  const t11 = 0.9;
   t7.forEach((items_el_8, items_i_9) => {
     let t10 = items_el_8["price"];
-    let t12 = t10 * t11;
+    let t12 = t10 * 0.9;
     out.push(t12);
   });
   return out;
@@ -25,10 +24,9 @@ export function _discounted_price(input) {
 export function _is_valid_quantity(input) {
   let out = [];
   let t13 = input["items"];
-  const t17 = 0;
   t13.forEach((items_el_14, items_i_15) => {
     let t16 = items_el_14["quantity"];
-    let t18 = t16 > t17;
+    let t18 = t16 > 0;
     out.push(t18);
   });
   return out;
@@ -37,10 +35,9 @@ export function _is_valid_quantity(input) {
 export function _expensive_items(input) {
   let out = [];
   let t19 = input["items"];
-  const t23 = 100.0;
   t19.forEach((items_el_20, items_i_21) => {
     let t22 = items_el_20["price"];
-    let t24 = t22 > t23;
+    let t24 = t22 > 100.0;
     out.push(t24);
   });
   return out;
@@ -49,10 +46,9 @@ export function _expensive_items(input) {
 export function _electronics(input) {
   let out = [];
   let t25 = input["items"];
-  const t29 = "electronics";
   t25.forEach((items_el_26, items_i_27) => {
     let t28 = items_el_26["category"];
-    let t30 = t28 == t29;
+    let t30 = t28 == "electronics";
     out.push(t30);
   });
   return out;

data/golden/array_operations/expected/schema_ruby.rb

@@ -1,35 +1,6 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_3d1e29e6240c3a8d445c4a817207b8947c3d74f3a25c3d18b9c7987471e50734
-  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 :subtotals then _subtotals
-    when :discounted_price then _discounted_price
-    when :is_valid_quantity then _is_valid_quantity
-    when :expensive_items then _expensive_items
-    when :electronics then _electronics
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _subtotals(input = @input)
+module Kumi::Compiled::KUMI_290ba22c2167db374abc926a4a20917fbc7211288ee24bcf6eb45f164d318f54
+  def self._subtotals(input)
     out = []
     t1 = input["items"] || input[:items]
     t1.each_with_index do |items_el_2, items_i_3|
@@ -41,49 +12,45 @@ module Kumi::Compiled::KUMI_3d1e29e6240c3a8d445c4a817207b8947c3d74f3a25c3d18b9c7
     out
   end
 
-  def _discounted_price(input = @input)
+  def self._discounted_price(input)
     out = []
     t7 = input["items"] || input[:items]
-    t11 = 0.9
     t7.each_with_index do |items_el_8, items_i_9|
       t10 = items_el_8["price"] || items_el_8[:price]
-      t12 = t10 * t11
+      t12 = t10 * 0.9
       out << t12
     end
     out
   end
 
-  def _is_valid_quantity(input = @input)
+  def self._is_valid_quantity(input)
     out = []
     t13 = input["items"] || input[:items]
-    t17 = 0
     t13.each_with_index do |items_el_14, items_i_15|
       t16 = items_el_14["quantity"] || items_el_14[:quantity]
-      t18 = t16 > t17
+      t18 = t16 > 0
       out << t18
     end
     out
   end
 
-  def _expensive_items(input = @input)
+  def self._expensive_items(input)
     out = []
     t19 = input["items"] || input[:items]
-    t23 = 100.0
     t19.each_with_index do |items_el_20, items_i_21|
       t22 = items_el_20["price"] || items_el_20[:price]
-      t24 = t22 > t23
+      t24 = t22 > 100.0
       out << t24
     end
     out
   end
 
-  def _electronics(input = @input)
+  def self._electronics(input)
     out = []
     t25 = input["items"] || input[:items]
-    t29 = "electronics"
     t25.each_with_index do |items_el_26, items_i_27|
       t28 = items_el_26["category"] || items_el_26[:category]
-      t30 = t28 == t29
+      t30 = t28 == "electronics"
       out << t30
     end
     out

data/golden/cascade_logic/expected/lir_06_const_prop.txt

@@ -1,30 +1,23 @@
 (LIR
   (Declaration y_positive
     %t1 = load_input "y" :: integer
-    %t2 = const 0 :: integer
-    %t3 = call core.gt(%t1, %t2) :: boolean
+    %t3 = call core.gt(%t1, 0) :: boolean
     yield %t3
   )
   (Declaration x_positive
     %t4 = load_input "x" :: integer
-    %t5 = const 0 :: integer
-    %t6 = call core.gt(%t4, %t5) :: boolean
+    %t6 = call core.gt(%t4, 0) :: boolean
     yield %t6
   )
   (Declaration status
     %t19 = load_input "y" :: integer
-    %t20 = const 0 :: integer
-    %t21 = call core.gt(%t19, %t20) :: boolean
+    %t21 = call core.gt(%t19, 0) :: boolean
     %t22 = load_input "x" :: integer
-    %t24 = call core.gt(%t22, %t20) :: boolean
+    %t24 = call core.gt(%t22, 0) :: boolean
     %t9 = call core.and(%t21, %t24) :: boolean
-    %t10 = const "both positive" :: string
-    %t12 = const "x positive" :: string
-    %t14 = const "y positive" :: string
-    %t15 = const "neither positive" :: string
-    %t16 = select %t21, %t14, %t15 :: string
-    %t17 = select %t24, %t12, %t16 :: string
-    %t18 = select %t9, %t10, %t17 :: string
+    %t16 = select %t21, "y positive", "neither positive" :: string
+    %t17 = select %t24, "x positive", %t16 :: string
+    %t18 = select %t9, "both positive", %t17 :: string
     yield %t18
   )
 )

data/golden/cascade_logic/expected/schema_javascript.mjs

@@ -1,31 +1,24 @@
 export function _y_positive(input) {
   let t1 = input["y"];
-  const t2 = 0;
-  let t3 = t1 > t2;
+  let t3 = t1 > 0;
   return t3;
 }
 
 export function _x_positive(input) {
   let t4 = input["x"];
-  const t5 = 0;
-  let t6 = t4 > t5;
+  let t6 = t4 > 0;
   return t6;
 }
 
 export function _status(input) {
   let t19 = input["y"];
-  const t20 = 0;
-  let t21 = t19 > t20;
+  let t21 = t19 > 0;
   let t22 = input["x"];
-  let t24 = t22 > t20;
+  let t24 = t22 > 0;
   let t9 = t21 && t24;
-  const t10 = "both positive";
-  const t12 = "x positive";
-  const t14 = "y positive";
-  const t15 = "neither positive";
-  let t16 = t21 ? t14 : t15;
-  let t17 = t24 ? t12 : t16;
-  let t18 = t9 ? t10 : t17;
+  let t16 = t21 ? "y positive" : "neither positive";
+  let t17 = t24 ? "x positive" : t16;
+  let t18 = t9 ? "both positive" : t17;
   return t18;
 }
 

data/golden/cascade_logic/expected/schema_ruby.rb

@@ -1,57 +1,23 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_a155a3c0e8dcb44547c931f4e510de1217a1044900d52385389bed8b6e5adaf4
-  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 :y_positive then _y_positive
-    when :x_positive then _x_positive
-    when :status then _status
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _y_positive(input = @input)
+module Kumi::Compiled::KUMI_4f7fc8ddac574b096f7f44f6fdba01b5231bfe11da581a23fbbaf72b518172a1
+  def self._y_positive(input)
     t1 = input["y"] || input[:y]
-    t2 = 0
-    t1 > t2
+    t1 > 0
   end
 
-  def _x_positive(input = @input)
+  def self._x_positive(input)
     t4 = input["x"] || input[:x]
-    t5 = 0
-    t4 > t5
+    t4 > 0
   end
 
-  def _status(input = @input)
+  def self._status(input)
     t19 = input["y"] || input[:y]
-    t20 = 0
-    t21 = t19 > t20
+    t21 = t19 > 0
     t22 = input["x"] || input[:x]
-    t24 = t22 > t20
+    t24 = t22 > 0
     t9 = t21 && t24
-    t10 = "both positive"
-    t12 = "x positive"
-    t14 = "y positive"
-    t15 = "neither positive"
-    t16 = t21 ? t14 : t15
-    t17 = t24 ? t12 : t16
-    t9 ? t10 : t17
+    t16 = t21 ? "y positive" : "neither positive"
+    t17 = t24 ? "x positive" : t16
+    t9 ? "both positive" : t17
   end
 end

data/golden/chained_fusion/expected/lir_06_const_prop.txt

@@ -14,16 +14,13 @@
   )
   (Declaration manager_count
     %t10 = load_input "departments" :: array
-    %t18 = const "manager" :: string
-    %t20 = const 1 :: integer
-    %t21 = const 0 :: integer
     loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
       %acc_13 = decl_acc :: integer
       %t14 = load_field departments_el_11["employees"] :: any
       loop employees id=L4 in %t14 as el=%employees_el_15, idx=%employees_i_16
         %t17 = load_field employees_el_15["role"] :: string
-        %t19 = call core.eq(%t17, %t18) :: boolean
-        %t22 = select %t19, %t20, %t21 :: integer
+        %t19 = call core.eq(%t17, "manager") :: boolean
+        %t22 = select %t19, 1, 0 :: integer
         %acc_13 = acc_add agg.sum(%acc_13, %t22) :: integer
       end_loop
       %t23 = acc_load %acc_13 :: integer
@@ -32,16 +29,13 @@
   )
   (Declaration senior_employee_count
     %t24 = load_input "departments" :: array
-    %t32 = const "senior" :: string
-    %t34 = const 1 :: integer
-    %t35 = const 0 :: integer
     loop departments id=L5 in %t24 as el=%departments_el_25, idx=%departments_i_26
       %acc_27 = decl_acc :: integer
       %t28 = load_field departments_el_25["employees"] :: any
       loop employees id=L6 in %t28 as el=%employees_el_29, idx=%employees_i_30
         %t31 = load_field employees_el_29["role"] :: string
-        %t33 = call core.eq(%t31, %t32) :: boolean
-        %t36 = select %t33, %t34, %t35 :: integer
+        %t33 = call core.eq(%t31, "senior") :: boolean
+        %t36 = select %t33, 1, 0 :: integer
         %acc_27 = acc_add agg.sum(%acc_27, %t36) :: integer
       end_loop
       %t37 = acc_load %acc_27 :: integer
@@ -63,10 +57,6 @@
   )
   (Declaration department_summary
     %t47 = load_input "departments" :: array
-    %t71 = const "manager" :: string
-    %t73 = const 1 :: integer
-    %t74 = const 0 :: integer
-    %t84 = const "senior" :: string
     loop departments id=L9 in %t47 as el=%departments_el_48, idx=%departments_i_49
       %t50 = load_field departments_el_48["name"] :: string
       %acc58 = decl_acc :: integer
@@ -78,12 +68,12 @@
         %t62 = load_field t60["salary"] :: integer
         %acc58 = acc_add agg.sum(%acc58, %t62) :: integer
         %t70 = load_field t60["role"] :: string
-        %t72 = call core.eq(%t70, %t71) :: boolean
-        %t75 = select %t72, %t73, %t74 :: integer
+        %t72 = call core.eq(%t70, "manager") :: boolean
+        %t75 = select %t72, 1, 0 :: integer
         %acc66 = acc_add agg.sum(%acc66, %t75) :: integer
         %acc92 = acc_add agg.max(%acc92, %t62) :: integer
-        %t85 = call core.eq(%t70, %t84) :: boolean
-        %t88 = select %t85, %t73, %t74 :: integer
+        %t85 = call core.eq(%t70, "senior") :: boolean
+        %t88 = select %t85, 1, 0 :: integer
         %acc79 = acc_add agg.sum(%acc79, %t88) :: integer
       end_loop
       %t63 = acc_load %acc58 :: integer

data/golden/chained_fusion/expected/schema_javascript.mjs

@@ -16,16 +16,13 @@ export function _total_payroll(input) {
 export function _manager_count(input) {
   let out = [];
   let t10 = input["departments"];
-  const t18 = "manager";
-  const t20 = 1;
-  const t21 = 0;
   t10.forEach((departments_el_11, departments_i_12) => {
     let acc_13 = 0;
     let t14 = departments_el_11["employees"];
     t14.forEach((employees_el_15, employees_i_16) => {
       let t17 = employees_el_15["role"];
-      let t19 = t17 == t18;
-      let t22 = t19 ? t20 : t21;
+      let t19 = t17 == "manager";
+      let t22 = t19 ? 1 : 0;
       acc_13 += t22;
     });
     out.push(acc_13);
@@ -36,16 +33,13 @@ export function _manager_count(input) {
 export function _senior_employee_count(input) {
   let out = [];
   let t24 = input["departments"];
-  const t32 = "senior";
-  const t34 = 1;
-  const t35 = 0;
   t24.forEach((departments_el_25, departments_i_26) => {
     let acc_27 = 0;
     let t28 = departments_el_25["employees"];
     t28.forEach((employees_el_29, employees_i_30) => {
       let t31 = employees_el_29["role"];
-      let t33 = t31 == t32;
-      let t36 = t33 ? t34 : t35;
+      let t33 = t31 == "senior";
+      let t36 = t33 ? 1 : 0;
       acc_27 += t36;
     });
     out.push(acc_27);
@@ -75,10 +69,6 @@ export function _max_salary(input) {
 export function _department_summary(input) {
   let out = [];
   let t47 = input["departments"];
-  const t71 = "manager";
-  const t73 = 1;
-  const t74 = 0;
-  const t84 = "senior";
   t47.forEach((departments_el_48, departments_i_49) => {
     let t50 = departments_el_48["name"];
     let acc58 = 0;
@@ -90,16 +80,16 @@ export function _department_summary(input) {
       let t62 = t60["salary"];
       acc58 += t62;
       let t70 = t60["role"];
-      let t72 = t70 == t71;
-      let t75 = t72 ? t73 : t74;
+      let t72 = t70 == "manager";
+      let t75 = t72 ? 1 : 0;
       acc66 += t75;
       if (acc92 === null || acc92 === undefined) {
         acc92 = t62;
       } else {
         acc92 = (acc92 === null || t62 > acc92) ? t62 : acc92;
       }
-      let t85 = t70 == t84;
-      let t88 = t85 ? t73 : t74;
+      let t85 = t70 == "senior";
+      let t88 = t85 ? 1 : 0;
       acc79 += t88;
     });
     let t55 = {