test: update expected for hir2_sketch_multi_interface test

0xPolygonMiden · Jan 20, 2025 · c0309fc · c0309fc
1 parent 765dc80
commit c0309fc
Show file tree

Hide file tree

Showing 2 changed files with 257 additions and 140 deletions.
diff --git a/tests/integration/expected/rust_sdk/hir2_sketch_multi_interface.hir b/tests/integration/expected/rust_sdk/hir2_sketch_multi_interface.hir
@@ -1,26 +1 @@
-(world
-    (component root
-        ;; Interfaces
-        (interface miden:basic-wallet/[email protected]
-            (synth_func (#miden:basic-wallet/[email protected] #receive-asset (cc lift) (param (struct (struct (struct (struct felt) (struct felt) (struct felt) (struct felt))))) (inner (#basic_wallet #miden:basic-wallet/[email protected]#receive-asset))
-            (synth_func (#miden:basic-wallet/[email protected] #send-asset (cc lift) (param (struct (struct (struct (struct felt) (struct felt) (struct felt) (struct felt))))) (param (struct (struct felt))) (param (struct (struct felt))) (param (struct (struct (struct (struct felt) (struct felt) (struct felt) (struct felt))))) (inner (#basic_wallet #miden:basic-wallet/[email protected]#send-asset))
-        )
-        (interface miden:basic-wallet/[email protected]
-            (synth_func (#miden:basic-wallet/[email protected] #test-felt-intrinsics (cc lift) (param (struct felt)) (param (struct felt)) (result (struct felt)) (inner (#basic_wallet #miden:basic-wallet/[email protected]#test-felt-intrinsics))
-            (synth_func (#miden:basic-wallet/[email protected] #test-stdlib (cc lift) (param (list u8)) (result (list u8)) (inner (#basic_wallet #miden:basic-wallet/[email protected]#test-stdlib))
-            (synth_func (#miden:basic-wallet/[email protected] #process-list-felt (cc lift) (param (list (struct felt))) (result (list (struct felt))) (inner (#basic_wallet #miden:basic-wallet/[email protected]#process-list-felt))
-            (synth_func (#miden:basic-wallet/[email protected] #process-core-asset (cc lift) (param (struct (struct (struct (struct felt) (struct felt) (struct felt) (struct felt))))) (result (struct (struct (struct (struct felt) (struct felt) (struct felt) (struct felt))))) (inner (#basic_wallet #miden:basic-wallet/[email protected]#process-core-asset))
-        )
-
-        ;; Modules
-        (module #basic_wallet
-            (synth_func (#basic_wallet #miden_stdlib_sys::intrinsics::felt::extern_add (cc lower) (param felt) (param felt) (result felt) (inner (#miden:core-import/[email protected] #add))
-            (synth_func (#basic_wallet #miden_stdlib_sys::stdlib::crypto::hashes::extern_blake3_hash_1to1 (cc lower) (param i32) (param i32) (param i32) (param i32) (param i32) (param i32) (param i32) (param i32) (param i32) (inner (#miden:core-import/[email protected] #hash-one-to-one))
-            (synth_func (#basic_wallet #miden_sdk_alloc::heap_base (cc lower) (result i32) (inner (#miden:core-import/[email protected] #heap-base))
-            (synth_func (#basic_wallet #miden_base_sys::bindings::account::extern_account_add_asset (cc lower) (param felt) (param felt) (param felt) (param felt) (param i32) (inner (#miden:core-import/[email protected] #add-asset))
-            (synth_func (#basic_wallet #miden_base_sys::bindings::account::extern_account_remove_asset (cc lower) (param felt) (param felt) (param felt) (param felt) (param i32) (inner (#miden:core-import/[email protected] #remove-asset))
-            (synth_func (#basic_wallet #miden_base_sys::bindings::tx::extern_tx_create_note (cc lower) (param felt) (param felt) (param felt) (param felt) (param felt) (param felt) (param felt) (param felt) (param felt) (param felt) (result felt) (inner (#miden:core-import/[email protected] #create-note))
-        )
-    )
-
-)
+builtin.component