Fix fourmolu

carlostome · carlostome · commit c3ff06e8429c · 2025-07-11T14:57:09.000+02:00
diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Base.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Base.hs
@@ -639,8 +639,7 @@ instance SpecTranslate ctx TxAuxDataHash where
   toSpecRep (TxAuxDataHash x) = toSpecRep x
 
 data ConwayTxBodyTransContext = ConwayTxBodyTransContext
-  {
-    ctbtcTxId :: !TxId
+  { ctbtcTxId :: !TxId
   }
 
 instance Inject ConwayTxBodyTransContext TxId where
diff --git a/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Ledger.hs b/libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Ledger.hs
@@ -83,8 +83,7 @@ instance
   toSpecRep = pure . showOpaqueErrorString
 
 instance
-  ( Inject ctx TxId
-  ) =>
+  Inject ctx TxId =>
   SpecTranslate ctx (TxBody ConwayEra)
   where
   type SpecRep (TxBody ConwayEra) = Agda.TxBody

Original file line number	Diff line number	Diff line change
`@@ -639,8 +639,7 @@ instance SpecTranslate ctx TxAuxDataHash where`
`639`	`639`	`toSpecRep (TxAuxDataHash x) = toSpecRep x`
`640`	`640`
`641`	`641`	`data ConwayTxBodyTransContext = ConwayTxBodyTransContext`
`642`		`- {`
`643`		`- ctbtcTxId :: !TxId`
	`642`	`+ { ctbtcTxId :: !TxId`
`644`	`643`	`}`
`645`	`644`
`646`	`645`	`instance Inject ConwayTxBodyTransContext TxId where`