Skip to content

Commit

Permalink
Generate code for GH-650
Browse files Browse the repository at this point in the history
  • Loading branch information
@github-actions
github-actions[bot] committed Feb 3, 2025
1 parent a1acdef commit a9b7ca1
Show file tree
Hide file tree
Showing 13 changed files with 2,355 additions and 2,375 deletions.
240 changes: 120 additions & 120 deletions generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.hs
View file

Large diffs are not rendered by default.

18 changes: 9 additions & 9 deletions generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Cert.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -360,7 +360,7 @@ d_Conv'45'CertState_274
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v10
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v9) in
coe
(coe
Expand Down Expand Up @@ -391,7 +391,7 @@ d_Conv'45'CertState_274
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v10
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v9) in
coe
(coe
Expand Down Expand Up @@ -422,7 +422,7 @@ d_Conv'45'CertState_274
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v10
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v9) in
coe
(coe
Expand Down Expand Up @@ -457,7 +457,7 @@ d_Conv'45'CertState_274
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v9)))))
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs.d_Conv'45'DepositPurpose_66)
Expand Down Expand Up @@ -607,7 +607,7 @@ d_Conv'45'CertState_274
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v9
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v8) in
coe
(coe
Expand Down Expand Up @@ -638,7 +638,7 @@ d_Conv'45'CertState_274
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v9
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v8) in
coe
(coe
Expand Down Expand Up @@ -675,7 +675,7 @@ d_Conv'45'CertState_274
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v8)))))
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs.d_Conv'45'DepositPurpose_66)
Expand Down Expand Up @@ -726,7 +726,7 @@ d_certs'45'step_276 v0
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
(coe
Expand Down Expand Up @@ -769,7 +769,7 @@ d_cert'45'step_278 v0
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
(coe
Expand Down
22 changes: 11 additions & 11 deletions generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4986,7 +4986,7 @@ d_Conv'45'CertEnv_78
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v7
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v6) in
coe
(coe
Expand Down Expand Up @@ -5110,7 +5110,7 @@ d_Conv'45'DState_82
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v6
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v5) in
coe
(coe
Expand Down Expand Up @@ -5141,7 +5141,7 @@ d_Conv'45'DState_82
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v6
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v5) in
coe
(coe
Expand Down Expand Up @@ -5172,7 +5172,7 @@ d_Conv'45'DState_82
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v6
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v5) in
coe
(coe
Expand Down Expand Up @@ -5207,7 +5207,7 @@ d_Conv'45'DState_82
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v5)))))
(coe d_Conv'45'DepositPurpose_66)
(coe
Expand Down Expand Up @@ -5863,7 +5863,7 @@ d_Conv'45'GState_90
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v5
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v4) in
coe
(coe
Expand Down Expand Up @@ -5894,7 +5894,7 @@ d_Conv'45'GState_90
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
coe
(let v5
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v4) in
coe
(coe
Expand Down Expand Up @@ -5931,7 +5931,7 @@ d_Conv'45'GState_90
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe v4)))))
(coe d_Conv'45'DepositPurpose_66)
(coe
Expand Down Expand Up @@ -5974,7 +5974,7 @@ d_deleg'45'step_92 v0
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
(coe
Expand Down Expand Up @@ -6015,7 +6015,7 @@ d_pool'45'step_94 v0
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
(coe
Expand Down Expand Up @@ -6057,7 +6057,7 @@ d_govcert'45'step_96 v0
(coe
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
(coe
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
(coe
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
(coe
Expand Down
Loading

0 comments on commit a9b7ca1

Please sign in to comment.