Add core. prefix to order hint metadata symbols.

Author: zrho

hugr-core/tests/snapshots/model__roundtrip_order.snap

@@ -4,12 +4,14 @@ expression: "roundtrip(include_str!(\"../../hugr-model/tests/fixtures/model-orde
 ---
 (hugr 0)
 
-(import order_hint.order)
+(mod)
 
-(import order_hint.key)
+(import core.order_hint.key)
 
 (import core.fn)
 
+(import core.order_hint.order)
+
 (import arithmetic.int.types.int)
 
 (import arithmetic.int.ineg)
@@ -38,23 +40,23 @@ expression: "roundtrip(include_str!(\"../../hugr-model/tests/fixtures/model-orde
          arithmetic.int.types.int
          arithmetic.int.types.int]
         (ext)))
-    (meta (order_hint.order 4 7))
-    (meta (order_hint.order 5 6))
-    (meta (order_hint.order 5 4))
-    (meta (order_hint.order 6 7))
+    (meta (core.order_hint.order 4 7))
+    (meta (core.order_hint.order 5 6))
+    (meta (core.order_hint.order 5 4))
+    (meta (core.order_hint.order 6 7))
     (arithmetic.int.ineg [%0] [%4]
       (signature
         (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 4)))
+      (meta (core.order_hint.key 4)))
     (arithmetic.int.ineg [%1] [%5]
       (signature
         (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 5)))
+      (meta (core.order_hint.key 5)))
     (arithmetic.int.ineg [%2] [%6]
       (signature
         (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 6)))
+      (meta (core.order_hint.key 6)))
     (arithmetic.int.ineg [%3] [%7]
       (signature
         (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 7)))))
+      (meta (core.order_hint.key 7)))))

hugr-model/src/v0/mod.rs

@@ -275,7 +275,7 @@ pub const COMPAT_CONST_JSON: &str = "compat.const_json";
 ///
 /// - **Parameter:** `?key : core.nat`
 /// - **Result:** `core.meta`
-pub const ORDER_HINT_KEY: &str = "order_hint.key";
+pub const ORDER_HINT_KEY: &str = "core.order_hint.key";
 
 /// Metadata constructor for order hints.
 ///
@@ -290,7 +290,7 @@ pub const ORDER_HINT_KEY: &str = "order_hint.key";
 /// - **Parameter:** `?before : core.nat`
 /// - **Parameter:** `?after : core.nat`
 /// - **Result:** `core.meta`
-pub const ORDER_HINT_ORDER: &str = "order_hint.order";
+pub const ORDER_HINT_ORDER: &str = "core.order_hint.order";
 
 pub mod ast;
 pub mod binary;

hugr-model/tests/fixtures/model-order.edn

@@ -1,5 +1,7 @@
 (hugr 0)
 
+(mod)
+
 (define-func main
   (core.fn
     [arithmetic.int.types.int
@@ -24,27 +26,27 @@
          arithmetic.int.types.int]
         (ext)))
 
-    (meta (order_hint.order 1 2))
-    (meta (order_hint.order 1 0))
-    (meta (order_hint.order 2 3))
-    (meta (order_hint.order 0 3))
+    (meta (core.order_hint.order 1 2))
+    (meta (core.order_hint.order 1 0))
+    (meta (core.order_hint.order 2 3))
+    (meta (core.order_hint.order 0 3))
 
     (arithmetic.int.ineg
       [%0] [%4]
       (signature (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 0)))
+      (meta (core.order_hint.key 0)))
 
     (arithmetic.int.ineg
       [%1] [%5]
       (signature (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 1)))
+      (meta (core.order_hint.key 1)))
 
     (arithmetic.int.ineg
       [%2] [%6]
       (signature (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 2)))
+      (meta (core.order_hint.key 2)))
 
     (arithmetic.int.ineg
       [%3] [%7]
       (signature (core.fn [arithmetic.int.types.int] [arithmetic.int.types.int] (ext)))
-      (meta (order_hint.key 3)))))
+      (meta (core.order_hint.key 3)))))

hugr-py/src/hugr/model/export.py

@@ -75,7 +75,7 @@ def export_node(self, node: Node) -> model.Node | None:
 
         # Add an order hint key to the node if necessary
         if _needs_order_key(self.hugr, node):
-            meta.append(model.Apply("order_hint.key", [model.Literal(node.idx)]))
+            meta.append(model.Apply("core.order_hint.key", [model.Literal(node.idx)]))
 
         match node_data.op:
             case DFG() as op:
@@ -422,7 +422,7 @@ def export_region_dfg(self, node: Node) -> model.Region:
 
                     meta += [
                         model.Apply(
-                            "order_hint.order",
+                            "core.order_hint.order",
                             [model.Literal(child.idx), model.Literal(successor.idx)],
                         )
                         for successor in self.hugr.outgoing_order_links(child)