|
10 | 10 | ) |
11 | 11 | ) |
12 | 12 | (import "example:example/my-interface" (instance (;0;) (type 0))) |
13 | | - (component (;0;) |
14 | | - (type (;0;) |
15 | | - (instance |
16 | | - (type (;0;) (record (field "foo" u8))) |
17 | | - (export (;1;) "foo" (type (eq 0))) |
18 | | - (type (;2;) (func (result 1))) |
19 | | - (export (;0;) "my-func2" (func (type 2))) |
20 | | - ) |
21 | | - ) |
22 | | - (import "example:example/my-interface" (instance (;0;) (type 0))) |
23 | | - (core module (;0;) |
24 | | - (type (;0;) (func (result i32))) |
25 | | - (type (;1;) (func (param i32 i32 i32 i32) (result i32))) |
26 | | - (import "example:example/my-interface" "my-func2" (func (;0;) (type 0))) |
27 | | - (func (;1;) (type 0) (result i32) |
28 | | - unreachable |
29 | | - ) |
30 | | - (func (;2;) (type 1) (param i32 i32 i32 i32) (result i32) |
31 | | - unreachable |
32 | | - ) |
33 | | - (memory (;0;) 0) |
34 | | - (export "example:example/my-interface#my-func2" (func 1)) |
35 | | - (export "memory" (memory 0)) |
36 | | - (export "cabi_realloc" (func 2)) |
37 | | - ) |
38 | | - (alias export 0 "my-func2" (func (;0;))) |
39 | | - (core func (;0;) (canon lower (func 0))) |
40 | | - (core instance (;0;) |
41 | | - (export "my-func2" (func 0)) |
42 | | - ) |
43 | | - (core instance (;1;) (instantiate 0 |
44 | | - (with "example:example/my-interface" (instance 0)) |
45 | | - ) |
46 | | - ) |
47 | | - (alias core export 1 "memory" (core memory (;0;))) |
48 | | - (alias core export 1 "cabi_realloc" (core func (;1;))) |
49 | | - (type (;1;) (record (field "foo" u8))) |
50 | | - (type (;2;) (func (result 1))) |
51 | | - (alias core export 1 "example:example/my-interface#my-func2" (core func (;2;))) |
52 | | - (func (;1;) (type 2) (canon lift (core func 2))) |
53 | | - (component (;0;) |
54 | | - (type (;0;) (record (field "foo" u8))) |
55 | | - (import "import-type-foo" (type (;1;) (eq 0))) |
56 | | - (type (;2;) (func (result 1))) |
57 | | - (import "import-func-my-func2" (func (;0;) (type 2))) |
58 | | - (type (;3;) (record (field "foo" u8))) |
59 | | - (export (;4;) "foo" (type 3)) |
60 | | - (type (;5;) (func (result 4))) |
61 | | - (export (;1;) "my-func2" (func 0) (func (type 5))) |
62 | | - ) |
63 | | - (instance (;1;) (instantiate 0 |
64 | | - (with "import-func-my-func2" (func 1)) |
65 | | - (with "import-type-foo" (type 1)) |
66 | | - ) |
| 13 | + (type (;1;) |
| 14 | + (component |
| 15 | + (type (;0;) |
| 16 | + (instance |
| 17 | + (type (;0;) (record (field "foo" u8))) |
| 18 | + (export (;1;) "foo" (type (eq 0))) |
| 19 | + (type (;2;) (func (result 1))) |
| 20 | + (export (;0;) "my-func2" (func (type 2))) |
| 21 | + ) |
| 22 | + ) |
| 23 | + (import "example:example/my-interface" (instance (;0;) (type 0))) |
| 24 | + (type (;1;) |
| 25 | + (instance |
| 26 | + (type (;0;) (record (field "foo" u8))) |
| 27 | + (export (;1;) "foo" (type (eq 0))) |
| 28 | + (type (;2;) (func (result 1))) |
| 29 | + (export (;0;) "my-func2" (func (type 2))) |
| 30 | + ) |
| 31 | + ) |
| 32 | + (export (;1;) "example:example/my-interface" (instance (type 1))) |
67 | 33 | ) |
68 | | - (export (;2;) "example:example/my-interface" (instance 1)) |
69 | 34 | ) |
| 35 | + (import "unlocked-dep=<example:component2>" (component (;0;) (type 1))) |
70 | 36 | (instance (;1;) (instantiate 0 |
71 | 37 | (with "example:example/my-interface" (instance 0)) |
72 | 38 | ) |
73 | 39 | ) |
74 | 40 | (alias export 1 "example:example/my-interface" (instance (;2;))) |
75 | | - (component (;1;) |
76 | | - (type (;0;) |
77 | | - (instance |
78 | | - (type (;0;) (record (field "foo" u8))) |
79 | | - (export (;1;) "foo" (type (eq 0))) |
80 | | - (type (;2;) (func (result 1))) |
81 | | - (export (;0;) "my-func1" (func (type 2))) |
82 | | - ) |
83 | | - ) |
84 | | - (import "example:example/my-interface" (instance (;0;) (type 0))) |
85 | | - (core module (;0;) |
86 | | - (type (;0;) (func (result i32))) |
87 | | - (type (;1;) (func (param i32 i32 i32 i32) (result i32))) |
88 | | - (import "example:example/my-interface" "my-func1" (func (;0;) (type 0))) |
89 | | - (func (;1;) (type 1) (param i32 i32 i32 i32) (result i32) |
90 | | - unreachable |
91 | | - ) |
92 | | - (memory (;0;) 0) |
93 | | - (export "memory" (memory 0)) |
94 | | - (export "cabi_realloc" (func 1)) |
95 | | - ) |
96 | | - (alias export 0 "my-func1" (func (;0;))) |
97 | | - (core func (;0;) (canon lower (func 0))) |
98 | | - (core instance (;0;) |
99 | | - (export "my-func1" (func 0)) |
100 | | - ) |
101 | | - (core instance (;1;) (instantiate 0 |
102 | | - (with "example:example/my-interface" (instance 0)) |
103 | | - ) |
| 41 | + (type (;2;) |
| 42 | + (component |
| 43 | + (type (;0;) |
| 44 | + (instance |
| 45 | + (type (;0;) (record (field "foo" u8))) |
| 46 | + (export (;1;) "foo" (type (eq 0))) |
| 47 | + (type (;2;) (func (result 1))) |
| 48 | + (export (;0;) "my-func1" (func (type 2))) |
| 49 | + ) |
| 50 | + ) |
| 51 | + (import "example:example/my-interface" (instance (;0;) (type 0))) |
104 | 52 | ) |
105 | 53 | ) |
| 54 | + (import "unlocked-dep=<example:component1>" (component (;1;) (type 2))) |
106 | 55 | (instance (;3;) (instantiate 1 |
107 | 56 | (with "example:example/my-interface" (instance 0)) |
108 | 57 | ) |
|
0 commit comments