mirror of
https://git.proxmox.com/git/rustc
synced 2025-08-15 05:04:23 +00:00
35 lines
397 B
Plaintext
35 lines
397 B
Plaintext
package foo:root;
|
|
package foo:name {
|
|
interface i1 {
|
|
type a = u32;
|
|
}
|
|
|
|
world w1 {
|
|
import imp1: interface {
|
|
use i1.{a};
|
|
}
|
|
}
|
|
}
|
|
|
|
package bar:name {
|
|
interface i2 {
|
|
type b = u32;
|
|
}
|
|
|
|
world w2 {
|
|
import imp2: interface {
|
|
use i2.{b};
|
|
}
|
|
}
|
|
}
|
|
|
|
interface i0 {
|
|
use foo:name/i1.{a};
|
|
|
|
type c = option<a>;
|
|
}
|
|
|
|
world w0 {
|
|
export i0;
|
|
import foo:name/i1;
|
|
} |