Defaulting Stage to SingleStage

mlabs-haskell · Jun 10, 2024 · be137b7 · be137b7
1 parent c5c186a
commit be137b7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/Cardano/CEM.hs b/src/Cardano/CEM.hs
@@ -92,6 +92,8 @@ class CEMScriptTypes script where
   -- | which is stored immutable in script Datum as well.
   type Stage script
 
+  type Stage script = SingleStage
+
   -- | `State` is changing part of script Datum.
   -- | It is in
   type State script = params | params -> script

diff --git a/src/Cardano/CEM/Examples/Voting.hs b/src/Cardano/CEM/Examples/Voting.hs
@@ -89,7 +89,6 @@ PlutusTx.unstableMakeIsData ''VoteValue
 PlutusTx.unstableMakeIsData ''JuryPolicy
 
 instance CEMScriptTypes SimpleVoting where
-  type Stage SimpleVoting = SingleStage
   type Params SimpleVoting = SimpleVotingParams
   type State SimpleVoting = SimpleVotingState
   type Transition SimpleVoting = SimpleVotingTransition