[wip] add TODO

geo2a · geo2a · commit e695dcc5acc7 · 2025-12-09T16:47:40.000+01:00
diff --git a/cardano-api/src/Cardano/Api/Block.hs b/cardano-api/src/Cardano/Api/Block.hs
@@ -175,6 +175,8 @@ getShelleyBlockTxs
 getShelleyBlockTxs era (Ledger.Block _header txs) =
   [ ShelleyTx era txinblock
   | txinblock <- toList (Ledger.fromTxSeq txs)
+  -- TODO: Need to Ledger.fromTxSeq -> txSeqBlockBodyL,
+  --       but the latter causes a blow-up of constraints
   ]
 
 -- ----------------------------------------------------------------------------

Original file line number	Diff line number	Diff line change
`@@ -175,6 +175,8 @@ getShelleyBlockTxs`
`175`	`175`	`getShelleyBlockTxs era (Ledger.Block _header txs) =`
`176`	`176`	`[ ShelleyTx era txinblock`
`177`	`177`	`\| txinblock <- toList (Ledger.fromTxSeq txs)`
	`178`	`+ -- TODO: Need to Ledger.fromTxSeq -> txSeqBlockBodyL,`
	`179`	`+ -- but the latter causes a blow-up of constraints`
`178`	`180`	`]`
`179`	`181`
`180`	`182`	`-- ----------------------------------------------------------------------------`