Update serialised extension

CQCL · Nov 26, 2024 · 6ca12dc · 6ca12dc
1 parent 896fe8b
commit 6ca12dc
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 4 deletions.
diff --git a/hugr-py/src/hugr/std/_json_defs/prelude.json b/hugr-py/src/hugr/std/_json_defs/prelude.json
@@ -431,6 +431,9 @@
           {
             "tp": "Type",
             "b": "A"
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -445,7 +448,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "2"
+              ]
             }
           ],
           "output": [
@@ -503,6 +508,9 @@
               "tp": "Type",
               "b": "A"
             }
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -557,7 +565,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "4"
+              ]
             },
             {
               "t": "R",

diff --git a/specification/std_extensions/prelude.json b/specification/std_extensions/prelude.json
@@ -431,6 +431,9 @@
           {
             "tp": "Type",
             "b": "A"
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -445,7 +448,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "2"
+              ]
             }
           ],
           "output": [
@@ -503,6 +508,9 @@
               "tp": "Type",
               "b": "A"
             }
+          },
+          {
+            "tp": "Extensions"
           }
         ],
         "body": {
@@ -557,7 +565,9 @@
                   "b": "A"
                 }
               ],
-              "extension_reqs": []
+              "extension_reqs": [
+                "4"
+              ]
             },
             {
               "t": "R",