From 519f3970a6d7c835c78cd4395e8a48241664ccb9 Mon Sep 17 00:00:00 2001 From: "G.B. Fefe" Date: Mon, 2 May 2022 15:28:13 +0200 Subject: [PATCH] ProtoEnv: remove `protocol.mli` and `tezos_data.mli` (fix #2897) --- .../protocol_environment_upgrade.rst | 2 - src/lib_protocol_environment/sigs/v0.dune.inc | 1 - .../sigs/v0/protocol.mli | 44 ------------------- .../sigs/v0/tezos_data.mli | 26 ----------- src/lib_protocol_environment/sigs/v1.dune.inc | 1 - .../sigs/v1/protocol.mli | 44 ------------------- .../sigs/v1/tezos_data.mli | 26 ----------- src/lib_protocol_environment/sigs/v2.dune.inc | 1 - .../sigs/v2/protocol.mli | 44 ------------------- .../sigs/v2/tezos_data.mli | 26 ----------- src/lib_protocol_environment/sigs/v3.dune.inc | 1 - .../sigs/v3/protocol.mli | 44 ------------------- .../sigs/v3/tezos_data.mli | 26 ----------- src/lib_protocol_environment/sigs/v4.dune.inc | 1 - .../sigs/v4/protocol.mli | 44 ------------------- .../sigs/v4/tezos_data.mli | 26 ----------- src/lib_protocol_environment/sigs/v5.dune.inc | 1 - .../sigs/v5/protocol.mli | 44 ------------------- .../sigs/v5/tezos_data.mli | 26 ----------- src/lib_protocol_environment/sigs/v6.dune.inc | 1 - .../sigs/v6/protocol.mli | 44 ------------------- .../sigs/v6/tezos_data.mli | 26 ----------- 22 files changed, 499 deletions(-) delete mode 100644 src/lib_protocol_environment/sigs/v0/protocol.mli delete mode 100644 src/lib_protocol_environment/sigs/v0/tezos_data.mli delete mode 100644 src/lib_protocol_environment/sigs/v1/protocol.mli delete mode 100644 src/lib_protocol_environment/sigs/v1/tezos_data.mli delete mode 100644 src/lib_protocol_environment/sigs/v2/protocol.mli delete mode 100644 src/lib_protocol_environment/sigs/v2/tezos_data.mli delete mode 100644 src/lib_protocol_environment/sigs/v3/protocol.mli delete mode 100644 src/lib_protocol_environment/sigs/v3/tezos_data.mli delete mode 100644 src/lib_protocol_environment/sigs/v4/protocol.mli delete mode 100644 src/lib_protocol_environment/sigs/v4/tezos_data.mli delete mode 100644 src/lib_protocol_environment/sigs/v5/protocol.mli delete mode 100644 src/lib_protocol_environment/sigs/v5/tezos_data.mli delete mode 100644 src/lib_protocol_environment/sigs/v6/protocol.mli delete mode 100644 src/lib_protocol_environment/sigs/v6/tezos_data.mli diff --git a/docs/developer/protocol_environment_upgrade.rst b/docs/developer/protocol_environment_upgrade.rst index 0ffdfae6745e..3534f0c0f0ce 100644 --- a/docs/developer/protocol_environment_upgrade.rst +++ b/docs/developer/protocol_environment_upgrade.rst @@ -54,8 +54,6 @@ The following steps are roughly the steps taken in the `V6 bootstrap MR *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -type t = {expected_env : env_version; components : component list} - -(** An OCaml source component of a protocol implementation. *) -and component = { - (* The OCaml module name. *) - name : string; - (* The OCaml interface source code *) - interface : string option; - (* The OCaml source code *) - implementation : string; -} - -and env_version = V0 | V1 | V2 | V3 | V4 | V5 | V6 - -val component_encoding : component Data_encoding.t - -val env_version_encoding : env_version Data_encoding.t - -include S.HASHABLE with type t := t and type hash := Protocol_hash.t diff --git a/src/lib_protocol_environment/sigs/v0/tezos_data.mli b/src/lib_protocol_environment/sigs/v0/tezos_data.mli deleted file mode 100644 index f14e14044b89..000000000000 --- a/src/lib_protocol_environment/sigs/v0/tezos_data.mli +++ /dev/null @@ -1,26 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -module Protocol : sig end diff --git a/src/lib_protocol_environment/sigs/v1.dune.inc b/src/lib_protocol_environment/sigs/v1.dune.inc index d9ad78db4121..37a15c345bfd 100644 --- a/src/lib_protocol_environment/sigs/v1.dune.inc +++ b/src/lib_protocol_environment/sigs/v1.dune.inc @@ -60,7 +60,6 @@ v1/block_header.mli v1/fitness.mli v1/operation.mli - v1/protocol.mli v1/context.mli v1/updater.mli v1/RPC_context.mli diff --git a/src/lib_protocol_environment/sigs/v1/protocol.mli b/src/lib_protocol_environment/sigs/v1/protocol.mli deleted file mode 100644 index 242bce79caa0..000000000000 --- a/src/lib_protocol_environment/sigs/v1/protocol.mli +++ /dev/null @@ -1,44 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -type t = {expected_env : env_version; components : component list} - -(** An OCaml source component of a protocol implementation. *) -and component = { - (* The OCaml module name. *) - name : string; - (* The OCaml interface source code *) - interface : string option; - (* The OCaml source code *) - implementation : string; -} - -and env_version = V0 | V1 | V2 | V3 | V4 | V5 | V6 - -val component_encoding : component Data_encoding.t - -val env_version_encoding : env_version Data_encoding.t - -include S.HASHABLE with type t := t and type hash := Protocol_hash.t diff --git a/src/lib_protocol_environment/sigs/v1/tezos_data.mli b/src/lib_protocol_environment/sigs/v1/tezos_data.mli deleted file mode 100644 index f14e14044b89..000000000000 --- a/src/lib_protocol_environment/sigs/v1/tezos_data.mli +++ /dev/null @@ -1,26 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -module Protocol : sig end diff --git a/src/lib_protocol_environment/sigs/v2.dune.inc b/src/lib_protocol_environment/sigs/v2.dune.inc index 0b72e7ca8dee..5c57d2d5c487 100644 --- a/src/lib_protocol_environment/sigs/v2.dune.inc +++ b/src/lib_protocol_environment/sigs/v2.dune.inc @@ -61,7 +61,6 @@ v2/block_header.mli v2/fitness.mli v2/operation.mli - v2/protocol.mli v2/context.mli v2/updater.mli v2/RPC_context.mli diff --git a/src/lib_protocol_environment/sigs/v2/protocol.mli b/src/lib_protocol_environment/sigs/v2/protocol.mli deleted file mode 100644 index 242bce79caa0..000000000000 --- a/src/lib_protocol_environment/sigs/v2/protocol.mli +++ /dev/null @@ -1,44 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -type t = {expected_env : env_version; components : component list} - -(** An OCaml source component of a protocol implementation. *) -and component = { - (* The OCaml module name. *) - name : string; - (* The OCaml interface source code *) - interface : string option; - (* The OCaml source code *) - implementation : string; -} - -and env_version = V0 | V1 | V2 | V3 | V4 | V5 | V6 - -val component_encoding : component Data_encoding.t - -val env_version_encoding : env_version Data_encoding.t - -include S.HASHABLE with type t := t and type hash := Protocol_hash.t diff --git a/src/lib_protocol_environment/sigs/v2/tezos_data.mli b/src/lib_protocol_environment/sigs/v2/tezos_data.mli deleted file mode 100644 index f14e14044b89..000000000000 --- a/src/lib_protocol_environment/sigs/v2/tezos_data.mli +++ /dev/null @@ -1,26 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -module Protocol : sig end diff --git a/src/lib_protocol_environment/sigs/v3.dune.inc b/src/lib_protocol_environment/sigs/v3.dune.inc index 5e35ccb3e683..69bf7327bf7d 100644 --- a/src/lib_protocol_environment/sigs/v3.dune.inc +++ b/src/lib_protocol_environment/sigs/v3.dune.inc @@ -70,7 +70,6 @@ v3/block_header.mli v3/fitness.mli v3/operation.mli - v3/protocol.mli v3/context.mli v3/updater.mli v3/RPC_context.mli diff --git a/src/lib_protocol_environment/sigs/v3/protocol.mli b/src/lib_protocol_environment/sigs/v3/protocol.mli deleted file mode 100644 index 242bce79caa0..000000000000 --- a/src/lib_protocol_environment/sigs/v3/protocol.mli +++ /dev/null @@ -1,44 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -type t = {expected_env : env_version; components : component list} - -(** An OCaml source component of a protocol implementation. *) -and component = { - (* The OCaml module name. *) - name : string; - (* The OCaml interface source code *) - interface : string option; - (* The OCaml source code *) - implementation : string; -} - -and env_version = V0 | V1 | V2 | V3 | V4 | V5 | V6 - -val component_encoding : component Data_encoding.t - -val env_version_encoding : env_version Data_encoding.t - -include S.HASHABLE with type t := t and type hash := Protocol_hash.t diff --git a/src/lib_protocol_environment/sigs/v3/tezos_data.mli b/src/lib_protocol_environment/sigs/v3/tezos_data.mli deleted file mode 100644 index f14e14044b89..000000000000 --- a/src/lib_protocol_environment/sigs/v3/tezos_data.mli +++ /dev/null @@ -1,26 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -module Protocol : sig end diff --git a/src/lib_protocol_environment/sigs/v4.dune.inc b/src/lib_protocol_environment/sigs/v4.dune.inc index 9d7c978d74c6..0a0de273c411 100644 --- a/src/lib_protocol_environment/sigs/v4.dune.inc +++ b/src/lib_protocol_environment/sigs/v4.dune.inc @@ -71,7 +71,6 @@ v4/block_header.mli v4/fitness.mli v4/operation.mli - v4/protocol.mli v4/context.mli v4/updater.mli v4/RPC_context.mli diff --git a/src/lib_protocol_environment/sigs/v4/protocol.mli b/src/lib_protocol_environment/sigs/v4/protocol.mli deleted file mode 100644 index 242bce79caa0..000000000000 --- a/src/lib_protocol_environment/sigs/v4/protocol.mli +++ /dev/null @@ -1,44 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -type t = {expected_env : env_version; components : component list} - -(** An OCaml source component of a protocol implementation. *) -and component = { - (* The OCaml module name. *) - name : string; - (* The OCaml interface source code *) - interface : string option; - (* The OCaml source code *) - implementation : string; -} - -and env_version = V0 | V1 | V2 | V3 | V4 | V5 | V6 - -val component_encoding : component Data_encoding.t - -val env_version_encoding : env_version Data_encoding.t - -include S.HASHABLE with type t := t and type hash := Protocol_hash.t diff --git a/src/lib_protocol_environment/sigs/v4/tezos_data.mli b/src/lib_protocol_environment/sigs/v4/tezos_data.mli deleted file mode 100644 index f14e14044b89..000000000000 --- a/src/lib_protocol_environment/sigs/v4/tezos_data.mli +++ /dev/null @@ -1,26 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -module Protocol : sig end diff --git a/src/lib_protocol_environment/sigs/v5.dune.inc b/src/lib_protocol_environment/sigs/v5.dune.inc index 075a69f757f6..d54ef0202a06 100644 --- a/src/lib_protocol_environment/sigs/v5.dune.inc +++ b/src/lib_protocol_environment/sigs/v5.dune.inc @@ -73,7 +73,6 @@ v5/bounded.mli v5/fitness.mli v5/operation.mli - v5/protocol.mli v5/context.mli v5/updater.mli v5/RPC_context.mli diff --git a/src/lib_protocol_environment/sigs/v5/protocol.mli b/src/lib_protocol_environment/sigs/v5/protocol.mli deleted file mode 100644 index 242bce79caa0..000000000000 --- a/src/lib_protocol_environment/sigs/v5/protocol.mli +++ /dev/null @@ -1,44 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -type t = {expected_env : env_version; components : component list} - -(** An OCaml source component of a protocol implementation. *) -and component = { - (* The OCaml module name. *) - name : string; - (* The OCaml interface source code *) - interface : string option; - (* The OCaml source code *) - implementation : string; -} - -and env_version = V0 | V1 | V2 | V3 | V4 | V5 | V6 - -val component_encoding : component Data_encoding.t - -val env_version_encoding : env_version Data_encoding.t - -include S.HASHABLE with type t := t and type hash := Protocol_hash.t diff --git a/src/lib_protocol_environment/sigs/v5/tezos_data.mli b/src/lib_protocol_environment/sigs/v5/tezos_data.mli deleted file mode 100644 index f14e14044b89..000000000000 --- a/src/lib_protocol_environment/sigs/v5/tezos_data.mli +++ /dev/null @@ -1,26 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -module Protocol : sig end diff --git a/src/lib_protocol_environment/sigs/v6.dune.inc b/src/lib_protocol_environment/sigs/v6.dune.inc index aae09cec4519..503ca1755b03 100644 --- a/src/lib_protocol_environment/sigs/v6.dune.inc +++ b/src/lib_protocol_environment/sigs/v6.dune.inc @@ -73,7 +73,6 @@ v6/bounded.mli v6/fitness.mli v6/operation.mli - v6/protocol.mli v6/context.mli v6/updater.mli v6/RPC_context.mli diff --git a/src/lib_protocol_environment/sigs/v6/protocol.mli b/src/lib_protocol_environment/sigs/v6/protocol.mli deleted file mode 100644 index 242bce79caa0..000000000000 --- a/src/lib_protocol_environment/sigs/v6/protocol.mli +++ /dev/null @@ -1,44 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -type t = {expected_env : env_version; components : component list} - -(** An OCaml source component of a protocol implementation. *) -and component = { - (* The OCaml module name. *) - name : string; - (* The OCaml interface source code *) - interface : string option; - (* The OCaml source code *) - implementation : string; -} - -and env_version = V0 | V1 | V2 | V3 | V4 | V5 | V6 - -val component_encoding : component Data_encoding.t - -val env_version_encoding : env_version Data_encoding.t - -include S.HASHABLE with type t := t and type hash := Protocol_hash.t diff --git a/src/lib_protocol_environment/sigs/v6/tezos_data.mli b/src/lib_protocol_environment/sigs/v6/tezos_data.mli deleted file mode 100644 index f14e14044b89..000000000000 --- a/src/lib_protocol_environment/sigs/v6/tezos_data.mli +++ /dev/null @@ -1,26 +0,0 @@ -(*****************************************************************************) -(* *) -(* Open Source License *) -(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) -(* *) -(* Permission is hereby granted, free of charge, to any person obtaining a *) -(* copy of this software and associated documentation files (the "Software"),*) -(* to deal in the Software without restriction, including without limitation *) -(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) -(* and/or sell copies of the Software, and to permit persons to whom the *) -(* Software is furnished to do so, subject to the following conditions: *) -(* *) -(* The above copyright notice and this permission notice shall be included *) -(* in all copies or substantial portions of the Software. *) -(* *) -(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) -(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) -(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) -(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) -(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) -(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) -(* DEALINGS IN THE SOFTWARE. *) -(* *) -(*****************************************************************************) - -module Protocol : sig end -- GitLab