So a moduletype
is a sequence of moduletype-def
s and a moduletype-def
is either a core type definition, an import, or an export. does this mean that the imports/exports moduletype-def
s can only reference core function types that are also defined inside the same moduletype
? that is, each moduletype
has its own index space?
cc @Luke Wagner @Luke Wagner @Peter Huene @Dan Gohman
Yes, both module types and component types have their own index spaces.
And in the case of module types, they can only reference the func types declared within themselves
great, thanks!
+1
and component imports can only reference instance types within their own index space as well?
Last updated: Nov 22 2024 at 17:03 UTC