kumi 0.0.30 → 0.0.33

data/golden/schema_imports_composed_order/expected/lir_06_const_prop.txt

@@ -0,0 +1,33 @@
+(LIR
+  (Declaration subtotal
+    %t1 = load_input "item_price" :: decimal
+    %t2 = load_input "quantity" :: decimal
+    %t3 = call core.mul:numeric(%t1, %t2) :: decimal
+    yield %t3
+  )
+  (Declaration price_after_discount
+    %t12 = load_input "item_price" :: decimal
+    %t13 = load_input "quantity" :: decimal
+    %t14 = call core.mul:numeric(%t12, %t13) :: decimal
+    %t5 = load_input "discount_rate" :: decimal
+    %t6 = importschemacall %t14, %t5 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Price" input_mapping_keys=["base_price", "discount_rate"] :: float
+    yield %t6
+  )
+  (Declaration discount_amt
+    %t15 = load_input "item_price" :: decimal
+    %t16 = load_input "quantity" :: decimal
+    %t17 = call core.mul:numeric(%t15, %t16) :: decimal
+    %t8 = load_input "discount_rate" :: decimal
+    %t9 = importschemacall %t17, %t8 fn_name="discount_amount" source_module="Kumi::TestSharedSchemas::Price" input_mapping_keys=["base_price", "discount_rate"] :: decimal
+    yield %t9
+  )
+  (Declaration final_total
+    %t21 = load_input "item_price" :: decimal
+    %t22 = load_input "quantity" :: decimal
+    %t23 = call core.mul:numeric(%t21, %t22) :: decimal
+    %t19 = load_input "discount_rate" :: decimal
+    %t20 = importschemacall %t23, %t19 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Price" input_mapping_keys=["base_price", "discount_rate"] :: float
+    %t11 = importschemacall %t20 fn_name="total" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t11
+  )
+)

data/golden/schema_imports_composed_order/expected/nast.txt

@@ -0,0 +1,25 @@
+(NAST
+  (VALUE subtotal
+    (Call :multiply
+    (InputRef [:item_price])
+    (InputRef [:quantity])
+  )
+  )
+  (VALUE price_after_discount
+    (ImportCall :discounted
+    (base_price (Ref subtotal))
+    (discount_rate (InputRef [:discount_rate]))
+  )
+  )
+  (VALUE discount_amt
+    (ImportCall :discount_amount
+    (base_price (Ref subtotal))
+    (discount_rate (InputRef [:discount_rate]))
+  )
+  )
+  (VALUE final_total
+    (ImportCall :total
+    (amount (Ref price_after_discount))
+  )
+  )
+)

data/golden/schema_imports_composed_order/expected/schema_javascript.mjs

@@ -0,0 +1,35 @@
+export function _subtotal(input) {
+  let t1 = input["item_price"];
+  let t2 = input["quantity"];
+  let t3 = t1 * t2;
+  return t3;
+}
+
+export function _price_after_discount(input) {
+  let t12 = input["item_price"];
+  let t13 = input["quantity"];
+  let t14 = t12 * t13;
+  let t5 = input["discount_rate"];
+  let t6 = Kumi.TestSharedSchemas.Price.from({'base_price': t14, 'discount_rate': t5})._discounted;
+  return t6;
+}
+
+export function _discount_amt(input) {
+  let t15 = input["item_price"];
+  let t16 = input["quantity"];
+  let t17 = t15 * t16;
+  let t8 = input["discount_rate"];
+  let t9 = Kumi.TestSharedSchemas.Price.from({'base_price': t17, 'discount_rate': t8})._discount_amount;
+  return t9;
+}
+
+export function _final_total(input) {
+  let t21 = input["item_price"];
+  let t22 = input["quantity"];
+  let t23 = t21 * t22;
+  let t19 = input["discount_rate"];
+  let t20 = Kumi.TestSharedSchemas.Price.from({'base_price': t23, 'discount_rate': t19})._discounted;
+  let t11 = Kumi.TestSharedSchemas.Tax.from({'amount': t20})._total;
+  return t11;
+}
+

data/golden/schema_imports_composed_order/expected/schema_ruby.rb

@@ -0,0 +1,33 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_57c1891042228c14a5d8c5f42e295db295f3cbb2bc706573f811f29490855e26
+  def self._subtotal(input)
+    t1 = input["item_price"] || input[:item_price]
+    t2 = input["quantity"] || input[:quantity]
+    t1 * t2
+  end
+
+  def self._price_after_discount(input)
+    t12 = input["item_price"] || input[:item_price]
+    t13 = input["quantity"] || input[:quantity]
+    t14 = t12 * t13
+    t5 = input["discount_rate"] || input[:discount_rate]
+    Kumi::TestSharedSchemas::Price._discounted({"base_price" => t14, "discount_rate" => t5})
+  end
+
+  def self._discount_amt(input)
+    t15 = input["item_price"] || input[:item_price]
+    t16 = input["quantity"] || input[:quantity]
+    t17 = t15 * t16
+    t8 = input["discount_rate"] || input[:discount_rate]
+    Kumi::TestSharedSchemas::Price._discount_amount({"base_price" => t17, "discount_rate" => t8})
+  end
+
+  def self._final_total(input)
+    t21 = input["item_price"] || input[:item_price]
+    t22 = input["quantity"] || input[:quantity]
+    t23 = t21 * t22
+    t19 = input["discount_rate"] || input[:discount_rate]
+    t20 = Kumi::TestSharedSchemas::Price._discounted({"base_price" => t23, "discount_rate" => t19})
+    Kumi::TestSharedSchemas::Tax._total({"amount" => t20})
+  end
+end

data/golden/schema_imports_composed_order/expected/snast.txt

@@ -0,0 +1,25 @@
+(SNAST
+  (VALUE subtotal
+    (Call :core.mul:numeric
+      (InputRef item_price key_chain=[]) :: [] -> decimal
+      (InputRef quantity key_chain=[]) :: [] -> decimal
+    ) :: [] -> decimal
+  ) :: [] -> decimal
+  (VALUE price_after_discount
+    (ImportCall :discounted
+      (base_price (Ref subtotal) :: [] -> decimal)
+      (discount_rate (InputRef discount_rate key_chain=[]) :: [] -> decimal)
+    ) :: [] -> float
+  ) :: [] -> float
+  (VALUE discount_amt
+    (ImportCall :discount_amount
+      (base_price (Ref subtotal) :: [] -> decimal)
+      (discount_rate (InputRef discount_rate key_chain=[]) :: [] -> decimal)
+    ) :: [] -> decimal
+  ) :: [] -> decimal
+  (VALUE final_total
+    (ImportCall :total
+      (amount (Ref price_after_discount) :: [] -> float)
+    ) :: [] -> float
+  ) :: [] -> float
+)

data/golden/schema_imports_composed_order/expected.json

@@ -0,0 +1,6 @@
+{
+  "subtotal": 300.0,
+  "price_after_discount": 270.0,
+  "discount_amt": 30.0,
+  "final_total": 310.5
+}

data/golden/schema_imports_composed_order/input.json

@@ -0,0 +1,5 @@
+{
+  "item_price": 100.0,
+  "quantity": 3,
+  "discount_rate": 0.1
+}

data/golden/schema_imports_composed_order/schema.kumi

@@ -0,0 +1,15 @@
+import :discounted, :discount_amount, from: Kumi::TestSharedSchemas::Price
+import :total, from: Kumi::TestSharedSchemas::Tax
+
+schema do
+  input do
+    decimal :item_price
+    decimal :quantity
+    decimal :discount_rate
+  end
+
+  value :subtotal, input.item_price * input.quantity
+  value :price_after_discount, discounted(base_price: subtotal, discount_rate: input.discount_rate)
+  value :discount_amt, discount_amount(base_price: subtotal, discount_rate: input.discount_rate)
+  value :final_total, total(amount: price_after_discount)
+end

data/golden/schema_imports_discount_with_tax/expected/ast.txt

@@ -0,0 +1,37 @@
+(Root
+  inputs: [
+    (InputDeclaration :price :decimal)
+    (InputDeclaration :discount_rate :decimal)
+  ]
+  values: [
+    (ValueDeclaration :tax_amount
+      (ImportCall :tax
+        (amount (InputReference :price))
+      )
+    )
+    (ValueDeclaration :price_after_discount
+      (ImportCall :discounted
+        (price (InputReference :price))
+        (rate (InputReference :discount_rate))
+      )
+    )
+    (ValueDeclaration :discount_saved
+      (ImportCall :savings
+        (price (InputReference :price))
+        (rate (InputReference :discount_rate))
+      )
+    )
+    (ValueDeclaration :tax_on_discounted
+      (ImportCall :tax
+        (amount (DeclarationReference :price_after_discount))
+      )
+    )
+    (ValueDeclaration :final_total
+      (CallExpression :add
+        (DeclarationReference :price_after_discount)
+        (DeclarationReference :tax_on_discounted)
+      )
+    )
+  ]
+  traits: []
+)

data/golden/schema_imports_discount_with_tax/expected/input_plan.txt

@@ -0,0 +1,2 @@
+price: decimal
+discount_rate: decimal

data/golden/schema_imports_discount_with_tax/expected/lir_00_unoptimized.txt

@@ -0,0 +1,30 @@
+(LIR
+  (Declaration tax_amount
+    %t1 = load_input "price" :: decimal
+    %t2 = importschemacall %t1 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t2
+  )
+  (Declaration price_after_discount
+    %t3 = load_input "price" :: decimal
+    %t4 = load_input "discount_rate" :: decimal
+    %t5 = importschemacall %t3, %t4 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    yield %t5
+  )
+  (Declaration discount_saved
+    %t6 = load_input "price" :: decimal
+    %t7 = load_input "discount_rate" :: decimal
+    %t8 = importschemacall %t6, %t7 fn_name="savings" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: decimal
+    yield %t8
+  )
+  (Declaration tax_on_discounted
+    %t9 = load_decl price_after_discount :: float
+    %t10 = importschemacall %t9 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t10
+  )
+  (Declaration final_total
+    %t11 = load_decl price_after_discount :: float
+    %t12 = load_decl tax_on_discounted :: float
+    %t13 = call core.add(%t11, %t12) :: float
+    yield %t13
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,30 @@
+(LIR
+  (Declaration tax_amount
+    %t1 = load_input "price" :: decimal
+    %t2 = importschemacall %t1 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t2
+  )
+  (Declaration price_after_discount
+    %t3 = load_input "price" :: decimal
+    %t4 = load_input "discount_rate" :: decimal
+    %t5 = importschemacall %t3, %t4 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    yield %t5
+  )
+  (Declaration discount_saved
+    %t6 = load_input "price" :: decimal
+    %t7 = load_input "discount_rate" :: decimal
+    %t8 = importschemacall %t6, %t7 fn_name="savings" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: decimal
+    yield %t8
+  )
+  (Declaration tax_on_discounted
+    %t9 = load_decl price_after_discount :: float
+    %t10 = importschemacall %t9 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t10
+  )
+  (Declaration final_total
+    %t11 = load_decl price_after_discount :: float
+    %t12 = load_decl tax_on_discounted :: float
+    %t13 = call core.add(%t11, %t12) :: float
+    yield %t13
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/lir_02_inlined.txt

@@ -0,0 +1,37 @@
+(LIR
+  (Declaration tax_amount
+    %t1 = load_input "price" :: decimal
+    %t2 = importschemacall %t1 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t2
+  )
+  (Declaration price_after_discount
+    %t3 = load_input "price" :: decimal
+    %t4 = load_input "discount_rate" :: decimal
+    %t5 = importschemacall %t3, %t4 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    yield %t5
+  )
+  (Declaration discount_saved
+    %t6 = load_input "price" :: decimal
+    %t7 = load_input "discount_rate" :: decimal
+    %t8 = importschemacall %t6, %t7 fn_name="savings" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: decimal
+    yield %t8
+  )
+  (Declaration tax_on_discounted
+    %t14 = load_input "price" :: decimal
+    %t15 = load_input "discount_rate" :: decimal
+    %t16 = importschemacall %t14, %t15 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t10 = importschemacall %t16 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t10
+  )
+  (Declaration final_total
+    %t17 = load_input "price" :: decimal
+    %t18 = load_input "discount_rate" :: decimal
+    %t19 = importschemacall %t17, %t18 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t22 = load_input "price" :: decimal
+    %t23 = load_input "discount_rate" :: decimal
+    %t24 = importschemacall %t22, %t23 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t21 = importschemacall %t24 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    %t13 = call core.add(%t19, %t21) :: float
+    yield %t13
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/lir_03_cse.txt

@@ -0,0 +1,34 @@
+(LIR
+  (Declaration tax_amount
+    %t1 = load_input "price" :: decimal
+    %t2 = importschemacall %t1 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t2
+  )
+  (Declaration price_after_discount
+    %t3 = load_input "price" :: decimal
+    %t4 = load_input "discount_rate" :: decimal
+    %t5 = importschemacall %t3, %t4 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    yield %t5
+  )
+  (Declaration discount_saved
+    %t6 = load_input "price" :: decimal
+    %t7 = load_input "discount_rate" :: decimal
+    %t8 = importschemacall %t6, %t7 fn_name="savings" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: decimal
+    yield %t8
+  )
+  (Declaration tax_on_discounted
+    %t14 = load_input "price" :: decimal
+    %t15 = load_input "discount_rate" :: decimal
+    %t16 = importschemacall %t14, %t15 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t10 = importschemacall %t16 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t10
+  )
+  (Declaration final_total
+    %t17 = load_input "price" :: decimal
+    %t18 = load_input "discount_rate" :: decimal
+    %t19 = importschemacall %t17, %t18 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t21 = importschemacall %t19 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    %t13 = call core.add(%t19, %t21) :: float
+    yield %t13
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,34 @@
+(LIR
+  (Declaration tax_amount
+    %t1 = load_input "price" :: decimal
+    %t2 = importschemacall %t1 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t2
+  )
+  (Declaration price_after_discount
+    %t3 = load_input "price" :: decimal
+    %t4 = load_input "discount_rate" :: decimal
+    %t5 = importschemacall %t3, %t4 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    yield %t5
+  )
+  (Declaration discount_saved
+    %t6 = load_input "price" :: decimal
+    %t7 = load_input "discount_rate" :: decimal
+    %t8 = importschemacall %t6, %t7 fn_name="savings" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: decimal
+    yield %t8
+  )
+  (Declaration tax_on_discounted
+    %t14 = load_input "price" :: decimal
+    %t15 = load_input "discount_rate" :: decimal
+    %t16 = importschemacall %t14, %t15 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t10 = importschemacall %t16 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t10
+  )
+  (Declaration final_total
+    %t17 = load_input "price" :: decimal
+    %t18 = load_input "discount_rate" :: decimal
+    %t19 = importschemacall %t17, %t18 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t21 = importschemacall %t19 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    %t13 = call core.add(%t19, %t21) :: float
+    yield %t13
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,34 @@
+(LIR
+  (Declaration tax_amount
+    %t1 = load_input "price" :: decimal
+    %t2 = importschemacall %t1 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t2
+  )
+  (Declaration price_after_discount
+    %t3 = load_input "price" :: decimal
+    %t4 = load_input "discount_rate" :: decimal
+    %t5 = importschemacall %t3, %t4 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    yield %t5
+  )
+  (Declaration discount_saved
+    %t6 = load_input "price" :: decimal
+    %t7 = load_input "discount_rate" :: decimal
+    %t8 = importschemacall %t6, %t7 fn_name="savings" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: decimal
+    yield %t8
+  )
+  (Declaration tax_on_discounted
+    %t14 = load_input "price" :: decimal
+    %t15 = load_input "discount_rate" :: decimal
+    %t16 = importschemacall %t14, %t15 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t10 = importschemacall %t16 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t10
+  )
+  (Declaration final_total
+    %t17 = load_input "price" :: decimal
+    %t18 = load_input "discount_rate" :: decimal
+    %t19 = importschemacall %t17, %t18 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t21 = importschemacall %t19 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    %t13 = call core.add(%t19, %t21) :: float
+    yield %t13
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/lir_06_const_prop.txt

@@ -0,0 +1,34 @@
+(LIR
+  (Declaration tax_amount
+    %t1 = load_input "price" :: decimal
+    %t2 = importschemacall %t1 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t2
+  )
+  (Declaration price_after_discount
+    %t3 = load_input "price" :: decimal
+    %t4 = load_input "discount_rate" :: decimal
+    %t5 = importschemacall %t3, %t4 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    yield %t5
+  )
+  (Declaration discount_saved
+    %t6 = load_input "price" :: decimal
+    %t7 = load_input "discount_rate" :: decimal
+    %t8 = importschemacall %t6, %t7 fn_name="savings" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: decimal
+    yield %t8
+  )
+  (Declaration tax_on_discounted
+    %t14 = load_input "price" :: decimal
+    %t15 = load_input "discount_rate" :: decimal
+    %t16 = importschemacall %t14, %t15 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t10 = importschemacall %t16 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    yield %t10
+  )
+  (Declaration final_total
+    %t17 = load_input "price" :: decimal
+    %t18 = load_input "discount_rate" :: decimal
+    %t19 = importschemacall %t17, %t18 fn_name="discounted" source_module="Kumi::TestSharedSchemas::Discount" input_mapping_keys=["price", "rate"] :: float
+    %t21 = importschemacall %t19 fn_name="tax" source_module="Kumi::TestSharedSchemas::Tax" input_mapping_keys=["amount"] :: float
+    %t13 = call core.add(%t19, %t21) :: float
+    yield %t13
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/nast.txt

@@ -0,0 +1,30 @@
+(NAST
+  (VALUE tax_amount
+    (ImportCall :tax
+    (amount (InputRef [:price]))
+  )
+  )
+  (VALUE price_after_discount
+    (ImportCall :discounted
+    (price (InputRef [:price]))
+    (rate (InputRef [:discount_rate]))
+  )
+  )
+  (VALUE discount_saved
+    (ImportCall :savings
+    (price (InputRef [:price]))
+    (rate (InputRef [:discount_rate]))
+  )
+  )
+  (VALUE tax_on_discounted
+    (ImportCall :tax
+    (amount (Ref price_after_discount))
+  )
+  )
+  (VALUE final_total
+    (Call :add
+    (Ref price_after_discount)
+    (Ref tax_on_discounted)
+  )
+  )
+)

data/golden/schema_imports_discount_with_tax/expected/schema_javascript.mjs

@@ -0,0 +1,37 @@
+export function _tax_amount(input) {
+  let t1 = input["price"];
+  let t2 = Kumi.TestSharedSchemas.Tax.from({'amount': t1})._tax;
+  return t2;
+}
+
+export function _price_after_discount(input) {
+  let t3 = input["price"];
+  let t4 = input["discount_rate"];
+  let t5 = Kumi.TestSharedSchemas.Discount.from({'price': t3, 'rate': t4})._discounted;
+  return t5;
+}
+
+export function _discount_saved(input) {
+  let t6 = input["price"];
+  let t7 = input["discount_rate"];
+  let t8 = Kumi.TestSharedSchemas.Discount.from({'price': t6, 'rate': t7})._savings;
+  return t8;
+}
+
+export function _tax_on_discounted(input) {
+  let t14 = input["price"];
+  let t15 = input["discount_rate"];
+  let t16 = Kumi.TestSharedSchemas.Discount.from({'price': t14, 'rate': t15})._discounted;
+  let t10 = Kumi.TestSharedSchemas.Tax.from({'amount': t16})._tax;
+  return t10;
+}
+
+export function _final_total(input) {
+  let t17 = input["price"];
+  let t18 = input["discount_rate"];
+  let t19 = Kumi.TestSharedSchemas.Discount.from({'price': t17, 'rate': t18})._discounted;
+  let t21 = Kumi.TestSharedSchemas.Tax.from({'amount': t19})._tax;
+  let t13 = t19 + t21;
+  return t13;
+}
+

data/golden/schema_imports_discount_with_tax/expected/schema_ruby.rb

@@ -0,0 +1,34 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_879c3a35caf522702255513fd2a63d8fe507644c985bcc31321a806c4b7de9a4
+  def self._tax_amount(input)
+    t1 = input["price"] || input[:price]
+    Kumi::TestSharedSchemas::Tax._tax({"amount" => t1})
+  end
+
+  def self._price_after_discount(input)
+    t3 = input["price"] || input[:price]
+    t4 = input["discount_rate"] || input[:discount_rate]
+    Kumi::TestSharedSchemas::Discount._discounted({"price" => t3, "rate" => t4})
+  end
+
+  def self._discount_saved(input)
+    t6 = input["price"] || input[:price]
+    t7 = input["discount_rate"] || input[:discount_rate]
+    Kumi::TestSharedSchemas::Discount._savings({"price" => t6, "rate" => t7})
+  end
+
+  def self._tax_on_discounted(input)
+    t14 = input["price"] || input[:price]
+    t15 = input["discount_rate"] || input[:discount_rate]
+    t16 = Kumi::TestSharedSchemas::Discount._discounted({"price" => t14, "rate" => t15})
+    Kumi::TestSharedSchemas::Tax._tax({"amount" => t16})
+  end
+
+  def self._final_total(input)
+    t17 = input["price"] || input[:price]
+    t18 = input["discount_rate"] || input[:discount_rate]
+    t19 = Kumi::TestSharedSchemas::Discount._discounted({"price" => t17, "rate" => t18})
+    t21 = Kumi::TestSharedSchemas::Tax._tax({"amount" => t19})
+    t19 + t21
+  end
+end

data/golden/schema_imports_discount_with_tax/expected/snast.txt

@@ -0,0 +1,30 @@
+(SNAST
+  (VALUE tax_amount
+    (ImportCall :tax
+      (amount (InputRef price key_chain=[]) :: [] -> decimal)
+    ) :: [] -> float
+  ) :: [] -> float
+  (VALUE price_after_discount
+    (ImportCall :discounted
+      (price (InputRef price key_chain=[]) :: [] -> decimal)
+      (rate (InputRef discount_rate key_chain=[]) :: [] -> decimal)
+    ) :: [] -> float
+  ) :: [] -> float
+  (VALUE discount_saved
+    (ImportCall :savings
+      (price (InputRef price key_chain=[]) :: [] -> decimal)
+      (rate (InputRef discount_rate key_chain=[]) :: [] -> decimal)
+    ) :: [] -> decimal
+  ) :: [] -> decimal
+  (VALUE tax_on_discounted
+    (ImportCall :tax
+      (amount (Ref price_after_discount) :: [] -> float)
+    ) :: [] -> float
+  ) :: [] -> float
+  (VALUE final_total
+    (Call :core.add
+      (Ref price_after_discount) :: [] -> float
+      (Ref tax_on_discounted) :: [] -> float
+    ) :: [] -> float
+  ) :: [] -> float
+)

data/golden/schema_imports_discount_with_tax/expected.json

@@ -0,0 +1,7 @@
+{
+  "tax_amount": 15.0,
+  "price_after_discount": 80.0,
+  "discount_saved": 20.0,
+  "tax_on_discounted": 12.0,
+  "final_total": 92.0
+}

data/golden/schema_imports_discount_with_tax/input.json

@@ -0,0 +1,4 @@
+{
+  "price": 100.0,
+  "discount_rate": 0.2
+}

data/golden/schema_imports_discount_with_tax/schema.kumi

@@ -0,0 +1,15 @@
+import :tax, from: Kumi::TestSharedSchemas::Tax
+import :discounted, :savings, from: Kumi::TestSharedSchemas::Discount
+
+schema do
+  input do
+    decimal :price
+    decimal :discount_rate
+  end
+
+  value :tax_amount, tax(amount: input.price)
+  value :price_after_discount, discounted(price: input.price, rate: input.discount_rate)
+  value :discount_saved, savings(price: input.price, rate: input.discount_rate)
+  value :tax_on_discounted, tax(amount: price_after_discount)
+  value :final_total, price_after_discount + tax_on_discounted
+end