kumi 0.0.25 → 0.0.26

data/golden/hash_value/expected/nast.txt

@@ -16,7 +16,7 @@
   )
   )
   (VALUE john_user
-    (Call :__select__
+    (Call :select
     (Ref is_john)
     (Ref users)
     (Const "NOT_JOHN")

data/golden/hash_value/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_fd932eb31ef5d8b70116040cd0486f4121722e78554059fd6a300f28ee18b30d
+module Kumi::Compiled::KUMI_0f694be63aa892525e8879fe071b4a4a2ad55567b0480c5fca002f748a54818d
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/hash_value/expected/snast.txt

@@ -9,7 +9,7 @@
       ) :: [users] -> pair
     ) :: [users] -> hash
   ) :: [users] -> hash
-  (TRAIT is_john
+  (VALUE is_john
     (Call :core.eq
       (InputRef users.user.name key_chain=[]) :: [users] -> string
       (Const "John") :: [] -> string

data/golden/hierarchical_complex/expected/nast.txt

@@ -26,7 +26,7 @@
         (Ref top_team)
       )
     )
-    (Call :"core.mul"
+    (Call :multiply
       (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
       (Const 0.3)
     )
@@ -35,11 +35,11 @@
         (Ref high_performer)
         (Ref top_team)
       )
-      (Call :"core.mul"
+      (Call :multiply
         (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
         (Const 0.2)
       )
-      (Call :"core.mul"
+      (Call :multiply
         (InputRef [:regions, :region, :offices, :office, :teams, :team, :employees, :employee, :salary])
         (Const 0.05)
       )

data/golden/hierarchical_complex/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_296703f629e169ee9916ee2652186a615448b14fbf3dd810f07f800ec23e2706
+module Kumi::Compiled::KUMI_1a4593b5476e9c7cc85dedf77f0d089845a959e9f9031f5838efaf26e3bc5486
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/hierarchical_complex/expected/snast.txt

@@ -1,17 +1,17 @@
 (SNAST
-  (TRAIT high_performer
+  (VALUE high_performer
     (Call :core.gte
       (InputRef regions.region.offices.office.teams.team.employees.employee.rating key_chain=[]) :: [regions, offices, teams, employees] -> float
       (Const 4.5) :: [] -> float
     ) :: [regions, offices, teams, employees] -> boolean
   ) :: [regions, offices, teams, employees] -> boolean
-  (TRAIT senior_level
+  (VALUE senior_level
     (Call :core.eq
       (InputRef regions.region.offices.office.teams.team.employees.employee.level key_chain=[]) :: [regions, offices, teams, employees] -> string
       (Const "senior") :: [] -> string
     ) :: [regions, offices, teams, employees] -> boolean
   ) :: [regions, offices, teams, employees] -> boolean
-  (TRAIT top_team
+  (VALUE top_team
     (Call :core.gte
       (InputRef regions.region.offices.office.teams.team.performance_score key_chain=[]) :: [regions, offices, teams] -> float
       (Const 0.9) :: [] -> float

data/golden/inline_rename_scope_leak/expected/nast.txt

@@ -1,16 +1,16 @@
 (NAST
   (VALUE sum_x
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:xs, :el, :v])
   )
   )
   (VALUE sum_y
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:ys, :el, :v])
   )
   )
   (VALUE tail
-    (Call :"core.add"
+    (Call :add
     (Const 7.0)
     (Const 5.0)
   )

data/golden/inline_rename_scope_leak/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_db7971b324407d0f809565d983315fed4dc8a3f06f0530f13c577a5491ec479e
+module Kumi::Compiled::KUMI_148f63c5601013e142e410da768bff3a0570a673ed771762348612e71bedced6
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/input_reference/expected/nast.txt

@@ -9,12 +9,12 @@
     (InputRef [:config, :servers, :server, :hostname])
   )
   (VALUE server_count
-    (Call :"core.array_size"
+    (Call :array_size
     (InputRef [:config, :servers])
   )
   )
   (VALUE total_ports
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:config, :servers, :server, :port])
   )
   )

data/golden/input_reference/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_bf8dc5780a3c569c78320ccfb3817762c3aca5afe7bdec14afc2720b6ca6940e
+module Kumi::Compiled::KUMI_fed43480c1728be2102a0f4594e980fcf8558d62874f4f96c32d502b00ea16ae
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/interleaved_fusion/expected/nast.txt

@@ -1,11 +1,11 @@
 (NAST
   (VALUE total_payroll
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:departments, :dept, :employees, :emp, :salary])
   )
   )
   (VALUE payroll_tax
-    (Call :"core.mul"
+    (Call :multiply
     (Ref total_payroll)
     (Const 0.15)
   )

data/golden/interleaved_fusion/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_002f34f6230fcd86b09e6081a7690404057fdb4e88a69309791cc98faf743c5b
+module Kumi::Compiled::KUMI_87ffe0a010684a3e05fc7ee0390ec80c776ceea5e0f6e32d7438702ccd542084
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/let_inline/expected/nast.txt

@@ -1,24 +1,24 @@
 (NAST
   (VALUE x_sq
-    (Call :"core.mul"
+    (Call :multiply
     (InputRef [:x])
     (InputRef [:x])
   )
   )
   (VALUE y_sq
-    (Call :"core.mul"
+    (Call :multiply
     (InputRef [:y])
     (InputRef [:y])
   )
   )
   (VALUE distance_sq
-    (Call :"core.add"
+    (Call :add
     (Ref x_sq)
     (Ref y_sq)
   )
   )
   (VALUE distance
-    (Call :"core.pow"
+    (Call :power
     (Ref distance_sq)
     (Const 0.5)
   )

data/golden/let_inline/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_4c8723995ed228ad59aa4387c47f793b36b9ab146166d75c9288837c7d368c1b
+module Kumi::Compiled::KUMI_85aba5f3d4113870359ea38cf7c574c50d05d66e700b059e3ca9c29e9d07d912
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/loop_fusion/expected/nast.txt

@@ -1,6 +1,6 @@
 (NAST
   (VALUE total_payroll
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:departments, :dept, :employees, :emp, :salary])
   )
   )

data/golden/loop_fusion/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_f73439f44efea38d0e3ff71d0a88169a9b4e6158dd1d4fc358b80ff61c3dbbac
+module Kumi::Compiled::KUMI_98bd6dd93ae6e80222b0a6d353bac6cc887e2b20924bf5e5cfc392e9aa0b705a
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/min_reduce_scope/expected/nast.txt

@@ -1,12 +1,12 @@
 (NAST
   (VALUE dept_total
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:depts, :dept, :teams, :team, :headcount])
   )
   )
   (VALUE company_total
-    (Call :"agg.sum"
-    (Call :"agg.sum"
+    (Call :sum
+    (Call :sum
       (InputRef [:depts, :dept, :teams, :team, :headcount])
     )
   )

data/golden/min_reduce_scope/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_e5612f974eced7c5db52fb03f8ecfd82174c52d530c1f073b180f04d7d4b5886
+module Kumi::Compiled::KUMI_4d50da3cac1cc57f195f70b5a33c49b41a4b90846c1536c3d767df15b5c72b7a
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/min_reduce_scope/expected/snast.txt

@@ -11,7 +11,7 @@
       ) :: [depts] -> integer
     ) :: [] -> integer
   ) :: [] -> integer
-  (TRAIT big_team
+  (VALUE big_team
     (Call :core.gt
       (InputRef depts.dept.teams.team.headcount key_chain=[]) :: [depts, teams] -> integer
       (Const 10) :: [] -> integer

data/golden/mixed_dimensions/expected/nast.txt

@@ -1,11 +1,11 @@
 (NAST
   (VALUE sum_numbers
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:numbers, :num, :value])
   )
   )
   (VALUE matrix_sums
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:matrix, :m, :row, :r, :cell])
   )
   )

data/golden/mixed_dimensions/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_bbe68fd87d3413dc8dc47548ccbe52c6bf4a9912417fdfc1a4c2fd87cd576fd9
+module Kumi::Compiled::KUMI_1563f579d65b5974c509af83b7aa99b8e340adf9ec2406de43d1f6278a76a50e
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/multirank_hoisting/expected/nast.txt

@@ -1,25 +1,25 @@
 (NAST
   (VALUE global_offset_plus
-    (Call :"core.add"
+    (Call :add
     (InputRef [:global_offset])
     (Const 1.0)
   )
   )
   (VALUE batch_bias
-    (Call :"core.add"
+    (Call :add
     (InputRef [:batch, :b, :mean])
     (Ref global_offset_plus)
   )
   )
   (VALUE row_scale2
-    (Call :"core.mul"
+    (Call :multiply
     (InputRef [:batch, :b, :row, :r, :scale])
     (Const 2.0)
   )
   )
   (VALUE elem_affine
-    (Call :"core.add"
-    (Call :"core.mul"
+    (Call :add
+    (Call :multiply
       (InputRef [:batch, :b, :row, :r, :col, :c, :val])
       (Ref row_scale2)
     )
@@ -27,12 +27,12 @@
   )
   )
   (VALUE row_sum_affine
-    (Call :"agg.sum"
+    (Call :sum
     (Ref elem_affine)
   )
   )
   (VALUE batch_total_affine
-    (Call :"agg.sum"
+    (Call :sum
     (Ref row_sum_affine)
   )
   )

data/golden/multirank_hoisting/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_7493f45c6a56b6958f928d8337e155ecf85850b56acef5a72dee8f1f697d1aac
+module Kumi::Compiled::KUMI_c68c448fb7a73dbfec6780905fc3ddcdea1f22e8eacda707f2f8432d4ad79ae0
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/nested_hash/expected/nast.txt

@@ -1,6 +1,6 @@
 (NAST
   (VALUE double
-    (Call :"core.mul"
+    (Call :multiply
     (InputRef [:x, :y, :z])
     (Const 2)
   )

data/golden/nested_hash/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_06206c81b13d30ba2dfe33471a73d550acd8ceaaed39c3bc060cd965ef719e19
+module Kumi::Compiled::KUMI_95f5c5f162bc538a1971324256c0923c4c25ac329f47b44140ea989ce767e3f2
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/reduction_broadcast/expected/nast.txt

@@ -1,16 +1,16 @@
 (NAST
   (VALUE dept_headcount
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:departments, :dept, :teams, :team, :headcount])
   )
   )
   (VALUE teams_per_dept
-    (Call :"agg.count"
+    (Call :count
     (InputRef [:departments, :dept, :teams, :team, :team_name])
   )
   )
   (VALUE avg_headcount_per_dept
-    (Call :"core.div"
+    (Call :divide
     (Ref dept_headcount)
     (Ref teams_per_dept)
   )

data/golden/reduction_broadcast/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_798dac22208bafc0f2b7f93d43bef5ae4c1d550f52f4c3773c486db02058561a
+module Kumi::Compiled::KUMI_d4065d9b2c1fa95582e236ac4c79f6623745ec731b5961da26df7c2f9e2a9cb6
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/reduction_broadcast/expected/snast.txt

@@ -15,7 +15,7 @@
       (Ref teams_per_dept) :: [departments] -> integer
     ) :: [departments] -> float
   ) :: [departments] -> float
-  (TRAIT is_above_average_team
+  (VALUE is_above_average_team
     (Call :core.gt
       (InputRef departments.dept.teams.team.headcount key_chain=[]) :: [departments, teams] -> integer
       (Ref avg_headcount_per_dept) :: [departments] -> float

data/golden/roll/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_db1001d7afa366cbc106f0cd804e44bfabd8a08bfd109b89c3fd14e89d14266b
+module Kumi::Compiled::KUMI_ee08a4690485a37a0f18de249ead6563ffb9cf9625312459a6000d00cad9f29c
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/shift/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_79b1226afef716b18baad35a6809f5d0b953aec078c87883fca2ae4c23029fe4
+module Kumi::Compiled::KUMI_c72cd3609d08e6946eb6c74183f400d8c0678040a863711e4b82a63da1b63319
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/shift_2d/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_e33b43acb8aa4e0f0d667f040c07607dbc78bfc52c9993108d5fcfff1f5fb47a
+module Kumi::Compiled::KUMI_1049f6474f9d41f05da4c2b6445c374c1eab40b0ff3089ecb80195a4550bceb8
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/simple_math/expected/lir_00_unoptimized.txt

@@ -25,7 +25,7 @@
     %t14 = load_input "y" :: integer
     %t15 = const 2 :: integer
     %t16 = call core.mul(%t14, %t15) :: integer
-    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer>
+    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer, integer, integer>
     yield %t17
   )
 )

data/golden/simple_math/expected/lir_01_hoist_scalar_references.txt

@@ -25,7 +25,7 @@
     %t14 = load_input "y" :: integer
     %t15 = const 2 :: integer
     %t16 = call core.mul(%t14, %t15) :: integer
-    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer>
+    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer, integer, integer>
     yield %t17
   )
 )

data/golden/simple_math/expected/lir_02_inlined.txt

@@ -25,7 +25,7 @@
     %t14 = load_input "y" :: integer
     %t15 = const 2 :: integer
     %t16 = call core.mul(%t14, %t15) :: integer
-    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer>
+    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer, integer, integer>
     yield %t17
   )
 )

data/golden/simple_math/expected/lir_03_cse.txt

@@ -25,7 +25,7 @@
     %t14 = load_input "y" :: integer
     %t15 = const 2 :: integer
     %t16 = call core.mul(%t14, %t15) :: integer
-    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer>
+    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer, integer, integer>
     yield %t17
   )
 )

data/golden/simple_math/expected/lir_04_1_loop_fusion.txt

@@ -25,7 +25,7 @@
     %t14 = load_input "y" :: integer
     %t15 = const 2 :: integer
     %t16 = call core.mul(%t14, %t15) :: integer
-    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer>
+    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer, integer, integer>
     yield %t17
   )
 )

data/golden/simple_math/expected/lir_04_loop_invcm.txt

@@ -25,7 +25,7 @@
     %t14 = load_input "y" :: integer
     %t15 = const 2 :: integer
     %t16 = call core.mul(%t14, %t15) :: integer
-    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer>
+    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer, integer, integer>
     yield %t17
   )
 )

data/golden/simple_math/expected/lir_06_const_prop.txt

@@ -25,7 +25,7 @@
     %t14 = load_input "y" :: integer
     %t15 = const 2 :: integer
     %t16 = call core.mul(%t14, %t15) :: integer
-    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer>
+    %t17 = make_tuple(%t10, %t13, %t16) :: tuple<integer, integer, integer>
     yield %t17
   )
 )

data/golden/simple_math/expected/nast.txt

@@ -1,18 +1,18 @@
 (NAST
   (VALUE sum
-    (Call :"core.add"
+    (Call :add
     (InputRef [:x])
     (InputRef [:y])
   )
   )
   (VALUE product
-    (Call :"core.mul"
+    (Call :multiply
     (InputRef [:x])
     (InputRef [:y])
   )
   )
   (VALUE difference
-    (Call :"core.sub"
+    (Call :subtract
     (InputRef [:x])
     (InputRef [:y])
   )
@@ -20,11 +20,11 @@
   (VALUE results_array
     (Tuple
     (Const 1)
-    (Call :"core.add"
+    (Call :add
       (InputRef [:x])
       (Const 10)
     )
-    (Call :"core.mul"
+    (Call :multiply
       (InputRef [:y])
       (Const 2)
     )

data/golden/simple_math/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_02882cbdd43383967e13d4c1a8f79cc5045859736335a160b1210f35f11b9f0f
+module Kumi::Compiled::KUMI_52c858dd08717cf97edaff33a54004b4af6c064f32453eb33012e14cd18d48c2
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/simple_math/expected/snast.txt

@@ -28,6 +28,6 @@
         (InputRef y key_chain=[]) :: [] -> integer
         (Const 2) :: [] -> integer
       ) :: [] -> integer
-    ) :: [] -> tuple<integer>
-  ) :: [] -> tuple<integer>
+    ) :: [] -> tuple<integer, integer, integer>
+  ) :: [] -> tuple<integer, integer, integer>
 )

data/golden/streaming_basics/expected/nast.txt

@@ -1,14 +1,14 @@
 (NAST
   (VALUE items_subtotal
-    (Call :"core.mul"
+    (Call :multiply
     (InputRef [:items, :item, :price])
     (InputRef [:items, :item, :qty])
   )
   )
   (VALUE items_discounted
-    (Call :"core.mul"
+    (Call :multiply
     (InputRef [:items, :item, :price])
-    (Call :"core.sub"
+    (Call :subtract
       (Const 1.0)
       (InputRef [:discount])
     )
@@ -21,9 +21,9 @@
   )
   )
   (VALUE items_effective
-    (Call :__select__
+    (Call :select
     (Ref items_is_big)
-    (Call :"core.mul"
+    (Call :multiply
       (Ref items_subtotal)
       (Const 0.9)
     )
@@ -31,17 +31,17 @@
   )
   )
   (VALUE total_qty
-    (Call :"agg.sum"
+    (Call :sum
     (InputRef [:items, :item, :qty])
   )
   )
   (VALUE cart_total
-    (Call :"agg.sum"
+    (Call :sum
     (Ref items_subtotal)
   )
   )
   (VALUE cart_total_effective
-    (Call :"agg.sum"
+    (Call :sum
     (Ref items_effective)
   )
   )

data/golden/streaming_basics/expected/schema_ruby.rb

@@ -1,5 +1,5 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_e64045903bee1b6a265ef34019b7aa91333ec110e041bb47e8350de13c0fa435
+module Kumi::Compiled::KUMI_1d3b2fb0b1b00e7730f48d49c8c33acdea2ee603018ffacfc1349df73a8dd4ee
   def self.from(input_data = nil)
     instance = Object.new
     instance.extend(self)

data/golden/streaming_basics/expected/snast.txt

@@ -14,7 +14,7 @@
       ) :: [] -> float
     ) :: [items] -> float
   ) :: [items] -> float
-  (TRAIT items_is_big
+  (VALUE items_is_big
     (Call :core.gt
       (InputRef items.item.price key_chain=[]) :: [items] -> float
       (Const 100.0) :: [] -> float

data/golden/tuples/expected/lir_00_unoptimized.txt

@@ -4,11 +4,11 @@
     %t2 = const 2 :: integer
     %t3 = const 3 :: integer
     %t4 = load_input "x" :: integer
-    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer>
+    %t5 = make_tuple(%t1, %t2, %t3, %t4) :: tuple<integer, integer, integer, integer>
     yield %t5
   )
   (Declaration max_1
-    %t6 = load_decl tuple :: tuple<integer>
+    %t6 = load_decl tuple :: tuple<integer, integer, integer, integer>
     %t7 = fold %t6 fn="agg.max" :: integer
     yield %t7
   )
@@ -18,12 +18,12 @@
     %t10 = const 3 :: integer
     %t11 = load_input "x" :: integer
     %t12 = const 1000 :: integer
-    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer>
+    %t13 = make_tuple(%t8, %t9, %t10, %t11, %t12) :: tuple<integer, integer, integer, integer, integer>
     %t14 = fold %t13 fn="agg.max" :: integer
     yield %t14
   )
   (Declaration min_1
-    %t15 = load_decl tuple :: tuple<integer>
+    %t15 = load_decl tuple :: tuple<integer, integer, integer, integer>
     %t16 = fold %t15 fn="agg.min" :: integer
     yield %t16
   )
@@ -33,7 +33,7 @@
     %t19 = const 3 :: integer
     %t20 = load_input "x" :: integer
     %t21 = const -100 :: integer
-    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer>
+    %t22 = make_tuple(%t17, %t18, %t19, %t20, %t21) :: tuple<integer, integer, integer, integer, integer>
     %t23 = fold %t22 fn="agg.min" :: integer
     yield %t23
   )