-
Notifications
You must be signed in to change notification settings - Fork 14
Open
Labels
specIssues to do with the specification document(s)Issues to do with the specification document(s)
Description
A number of metadata keys are currently being used ad-hoc. Some are mentioned in the main spec document. We should instead have a structured document that lists the namespaces, keys, value types and meaning.
We also have metadata that can be attached to nodes but also metadata that can be attached to the contents of extension definitions.
Further, the way the model uses metadata is slightly different to how the core uses it.
Already used (what's missing)?:
General
core.generator
for recording structured HUGR generator names and versionscore.used_extensions
for names and versions of used extensions in HUGR
Model
core.meta.description
for descriptionscore.order_hint
prefix for recording order edges (is this actually metadata, it does not saymeta
, is this part of stable model spec instead?)compat.meta_json
to string encode existing metadata (like those in the General section above)
Proposed
core.hint
prefix for adding compiler hints Compiler hints/annotations #2328 Global pass for DFG inlining #2372core.side_effect
for marking impure OpDefscore.passes.<pass name>
prefix for targeting specific passes- Debug information, for example guppy source info
Metadata
Metadata
Labels
specIssues to do with the specification document(s)Issues to do with the specification document(s)