@@ -53,6 +53,7 @@ import Cardano.Ledger.Dijkstra.TxBody ()
5353import Cardano.Ledger.Dijkstra.TxInfo ()
5454import Cardano.Ledger.Dijkstra.TxWits ()
5555import Cardano.Ledger.Dijkstra.UTxO ()
56+ import Cardano.Ledger.Plutus (Language (.. ))
5657import Cardano.Ledger.Shelley.API (
5758 ApplyBlock (.. ),
5859 ApplyTick (.. ),
@@ -133,14 +134,15 @@ mkDijkstraStAnnTopTx ei sysStart pp utxo tx =
133134 | DijkstraStAnnSubTx {dsastTx, dsastTxInfoResult} <- stAnnSubTxs
134135 ]
135136 }
137+ languagesUsed = Set. fromList [plutusScriptLanguage s | (_, _, s) <- plutusScriptsUsed]
136138 in
137139 DijkstraStAnnTopTx
138140 { dsattTx = tx
139141 , dsattProtocolVersion = pp ^. ppProtocolVersionL
140142 , dsattScriptsNeeded = scriptsNeeded
141143 , dsattScriptsProvided = scriptsProvided
142- , dsattPlutusLanguagesUsed =
143- Set. fromList [plutusScriptLanguage s | (_, _, s) <- plutusScriptsUsed]
144+ , dsattPlutusLegacyMode = not $ Set. null $ Set. filter ( <= PlutusV3 ) languagesUsed
145+ , dsattPlutusLanguagesUsed = languagesUsed
144146 , dsattPlutusScriptsWithContext =
145147 scriptsWithContextFromLedgerTxInfo ledgerTxInfo (pp ^. ppCostModelsL) plutusScriptsUsed
146148 , dsattStAnnSubTxs = stAnnSubTxs
0 commit comments