Are function names metadata?

[ss2165]

@ss2165
16 May 2023

Linking happens by looking up functions by name - therefore it seems the name should not just be metadata (I don’t think linking should rely on metadata)

@ss2165
16 May 2023

I think this means that declare/alias_declare should hold names, and that these operations are only valid at module level.

@acl-cqc
16 May 2023

I’d be happy with that. The alternative would be - the metadata may contain data that affects other tools (that operate on the Hugr), right? So we just have to say that the linker is an”other tool”….

@acl-cqc
16 May 2023

Also, we will need some kind of namespacing on these names, right?

[ss2165]

Moved to implement in #136