Skip to content

Commit

Permalink
Remove UPIState from executable specification
Browse files Browse the repository at this point in the history
  • Loading branch information
mgudemann committed Jun 24, 2019
1 parent 08153e1 commit 08156c1
Showing 1 changed file with 0 additions and 11 deletions.
11 changes: 0 additions & 11 deletions shelley/chain-and-ledger/executable-spec/src/LedgerState.hs
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,6 @@ module LedgerState
, emptyAccount
, emptyPState
, emptyDState
, emptyUPIState
, poolRAcnt
, treasury
, reserves
Expand Down Expand Up @@ -140,8 +139,6 @@ import Delegation.PoolParams (Delegation (..), PoolParams (..),

import BaseTypes

import qualified Ledger.Update as Byron.Update (UPIState, emptyUPIState)

-- | Representation of a list of pairs of key pairs, e.g., pay and stake keys
type KeyPairs = [(KeyPair, KeyPair)]

Expand Down Expand Up @@ -295,14 +292,6 @@ data UTxOState =
, Updates.Applications)
} deriving (Show, Eq)

-- | For now this contains the Byron `UPIState` and the Shelley PParams
-- separately.
data UPIState = UPIState Byron.Update.UPIState PParams
deriving (Show, Eq)

emptyUPIState :: UPIState
emptyUPIState = UPIState Byron.Update.emptyUPIState emptyPParams

-- | New Epoch state and environment
data NewEpochState =
NewEpochState {
Expand Down

0 comments on commit 08156c1

Please sign in to comment.