Skip to content
Permalink
Browse files

- Check that a proposed application update is unique among the regist…

…ered updates, to conform to the specs.

- Bump `cardano-ledger-specs` version.
- Update license badge in the README.
  • Loading branch information
dnadales committed Jan 14, 2020
1 parent c26f248 commit 0e5569ba30497368754bf0d686f6049481aef689
Showing with 5 additions and 4 deletions.
  1. +2 −2 README.md
  2. +2 −1 cardano-ledger/src/Cardano/Chain/Update/Validation/Registration.hs
  3. +1 −1 stack.yaml
@@ -193,7 +193,7 @@ important files are:

- `nix/regenerate.sh`, which generates `nix` expressions for all the Haskell
dependencies in the Stack project

- `nix/update-iohk-nix.sh`, which updates the `iohk-nix-src.json` according to
the latest version of [`iohk-nix`](https://github.com/input-output-hk/iohk-nix/)

@@ -241,6 +241,6 @@ There are a couple of common issues that developers run into while working with

<p align="center">
<a href="https://github.com/input-output-hk/cardano-wallet/blob/master/LICENSE">
<img src="https://img.shields.io/github/license/input-output-hk/cardano-wallet.svg?style=for-the-badge"/>
<img src="https://img.shields.io/github/license/input-output-hk/cardano-ledger?style=for-the-badge"/>
</a>
</p>
@@ -68,6 +68,7 @@ import Cardano.Chain.Update.SoftwareVersion
, SoftwareVersion(SoftwareVersion)
, SoftwareVersionError
, checkSoftwareVersion
, svAppName
)
import Cardano.Chain.Update.SystemTag (SystemTagError, checkSystemTag, SystemTag)
import Cardano.Crypto
@@ -418,7 +419,7 @@ registerSoftwareUpdate appVersions registeredSUPs proposal = do
mapM_ checkSystemTag (M.keys metadata) `wrapError` SystemTagError

-- Check that this software version isn't already registered
null (M.filter ((== softwareVersion) . fst) registeredSUPs)
null (M.filter ((== svAppName softwareVersion) . svAppName . fst) registeredSUPs)
`orThrowError` DuplicateSoftwareVersion softwareVersion

-- Check that the software version is valid
@@ -28,7 +28,7 @@ extra-deps:
- cardano-crypto-class

- git: https://github.com/input-output-hk/cardano-ledger-specs
commit: 607e37de698198c7f06c8f9d1c6628f8af4b4c51
commit: 2aa807f4a4b6fd0ae0a511289586a2c2d18b56fb
subdirs:
- byron/semantics/executable-spec
- byron/ledger/executable-spec

0 comments on commit 0e5569b

Please sign in to comment.
You can’t perform that action at this time.