Skip to content

Commit

Permalink
serialisation schema
Browse files Browse the repository at this point in the history
  • Loading branch information
doug-q committed Dec 11, 2024
1 parent 075a999 commit 0b7f57f
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 8 deletions.
4 changes: 2 additions & 2 deletions specification/schema/hugr_schema_live.json
Original file line number Diff line number Diff line change
Expand Up @@ -1054,15 +1054,15 @@
"title": "Type Args",
"type": "array"
},
"signature": {
"instantiation": {
"$ref": "#/$defs/FunctionType"
}
},
"required": [
"parent",
"func_sig",
"type_args",
"signature"
"instantiation"
],
"title": "LoadFunction",
"type": "object"
Expand Down
4 changes: 2 additions & 2 deletions specification/schema/hugr_schema_strict_live.json
Original file line number Diff line number Diff line change
Expand Up @@ -1054,15 +1054,15 @@
"title": "Type Args",
"type": "array"
},
"signature": {
"instantiation": {
"$ref": "#/$defs/FunctionType"
}
},
"required": [
"parent",
"func_sig",
"type_args",
"signature"
"instantiation"
],
"title": "LoadFunction",
"type": "object"
Expand Down
4 changes: 2 additions & 2 deletions specification/schema/testing_hugr_schema_live.json
Original file line number Diff line number Diff line change
Expand Up @@ -1054,15 +1054,15 @@
"title": "Type Args",
"type": "array"
},
"signature": {
"instantiation": {
"$ref": "#/$defs/FunctionType"
}
},
"required": [
"parent",
"func_sig",
"type_args",
"signature"
"instantiation"
],
"title": "LoadFunction",
"type": "object"
Expand Down
4 changes: 2 additions & 2 deletions specification/schema/testing_hugr_schema_strict_live.json
Original file line number Diff line number Diff line change
Expand Up @@ -1054,15 +1054,15 @@
"title": "Type Args",
"type": "array"
},
"signature": {
"instantiation": {
"$ref": "#/$defs/FunctionType"
}
},
"required": [
"parent",
"func_sig",
"type_args",
"signature"
"instantiation"
],
"title": "LoadFunction",
"type": "object"
Expand Down

0 comments on commit 0b7f57f

Please sign in to comment.