1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44
|
package foo:foo;
world union-world {
include test;
include a-different-world;
include the-world;
}
interface foo {}
interface bar {}
world the-world {
import foo;
import bar;
import baz: interface {
foo: func();
}
export foo;
export bar;
export baz2: interface {
foo: func();
}
}
world a-different-world {
import foo;
}
interface i1 {
type t = u32;
}
interface i2 {
use i1.{t};
}
interface i3 {
use i2.{t};
}
world test {
import i3;
export i1;
export i3;
}
|