diff --git a/docs/developer/protocol_environment_upgrade.rst b/docs/developer/protocol_environment_upgrade.rst index 0ffdfae6745ea467bb3f7edd503c771ae87096cb..3534f0c0f0ce1f72ded67bce66e175ab62e370af 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 f14e14044b891a7e1c0a5d8b81ce62bfda92d2f3..0000000000000000000000000000000000000000 --- 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 d9ad78db4121e6e4ece9099050e79043053d573f..37a15c345bfdbb00a4c4256b88c6015f0e7e2de9 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 242bce79caa0b35fe4c1ee4ca7832e2a6b844beb..0000000000000000000000000000000000000000 --- 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 f14e14044b891a7e1c0a5d8b81ce62bfda92d2f3..0000000000000000000000000000000000000000 --- 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 0b72e7ca8dee9c3b713a840e6d2c29ade489ccec..5c57d2d5c48765193870ad21f3a95beed337316f 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 242bce79caa0b35fe4c1ee4ca7832e2a6b844beb..0000000000000000000000000000000000000000 --- 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 f14e14044b891a7e1c0a5d8b81ce62bfda92d2f3..0000000000000000000000000000000000000000 --- 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 5e35ccb3e68370a4cd9481111aeba3dca5b0a20d..69bf7327bf7db53af88c8e1a674c1b7861350c44 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 242bce79caa0b35fe4c1ee4ca7832e2a6b844beb..0000000000000000000000000000000000000000 --- 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 f14e14044b891a7e1c0a5d8b81ce62bfda92d2f3..0000000000000000000000000000000000000000 --- 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 9d7c978d74c6670d161cc11a942a59cf69679a1f..0a0de273c4116d2234bdb81ea52086e968465c64 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 242bce79caa0b35fe4c1ee4ca7832e2a6b844beb..0000000000000000000000000000000000000000 --- 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 f14e14044b891a7e1c0a5d8b81ce62bfda92d2f3..0000000000000000000000000000000000000000 --- 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 075a69f757f63aa9c60be332b334e36bd8bfe7ab..d54ef0202a067c456fec118d3dc9026875957493 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 242bce79caa0b35fe4c1ee4ca7832e2a6b844beb..0000000000000000000000000000000000000000 --- 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 f14e14044b891a7e1c0a5d8b81ce62bfda92d2f3..0000000000000000000000000000000000000000 --- 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 aae09cec4519b12d3b0711f81903ad1665922ff4..503ca1755b03a9b98ee2350521e688763235270a 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 242bce79caa0b35fe4c1ee4ca7832e2a6b844beb..0000000000000000000000000000000000000000 --- 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 f14e14044b891a7e1c0a5d8b81ce62bfda92d2f3..0000000000000000000000000000000000000000 --- 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