Skip to content

Commit a9b7ca1

Browse files
github-actions[bot]github-actions[bot]
committed
Generate code for GH-650 
1 parent a1acdef commit a9b7ca1

File tree

13 files changed

+2355
-2375
lines changed

13 files changed

+2355
-2375
lines changed

‎generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/BaseTypes.hs‎

Lines changed: 120 additions & 120 deletions
Large diffs are not rendered by default.

‎generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Cert.hs‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -360,7 +360,7 @@ d_Conv'45'CertState_274
360360
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
361361
coe
362362
(let v10
363-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
363+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
364364
(coe v9) in
365365
coe
366366
(coe
@@ -391,7 +391,7 @@ d_Conv'45'CertState_274
391391
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
392392
coe
393393
(let v10
394-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
394+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
395395
(coe v9) in
396396
coe
397397
(coe
@@ -422,7 +422,7 @@ d_Conv'45'CertState_274
422422
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
423423
coe
424424
(let v10
425-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
425+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
426426
(coe v9) in
427427
coe
428428
(coe
@@ -457,7 +457,7 @@ d_Conv'45'CertState_274
457457
(coe
458458
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
459459
(coe
460-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
460+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
461461
(coe v9)))))
462462
(coe
463463
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs.d_Conv'45'DepositPurpose_66)
@@ -607,7 +607,7 @@ d_Conv'45'CertState_274
607607
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
608608
coe
609609
(let v9
610-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
610+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
611611
(coe v8) in
612612
coe
613613
(coe
@@ -638,7 +638,7 @@ d_Conv'45'CertState_274
638638
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
639639
coe
640640
(let v9
641-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
641+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
642642
(coe v8) in
643643
coe
644644
(coe
@@ -675,7 +675,7 @@ d_Conv'45'CertState_274
675675
(coe
676676
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
677677
(coe
678-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
678+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
679679
(coe v8)))))
680680
(coe
681681
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.Certs.d_Conv'45'DepositPurpose_66)
@@ -726,7 +726,7 @@ d_certs'45'step_276 v0
726726
(coe
727727
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
728728
(coe
729-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
729+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
730730
(coe
731731
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
732732
(coe
@@ -769,7 +769,7 @@ d_cert'45'step_278 v0
769769
(coe
770770
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
771771
(coe
772-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
772+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
773773
(coe
774774
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
775775
(coe

‎generated/MAlonzo/Code/Ledger/Conway/Foreign/HSLedger/Certs.hs‎

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -4986,7 +4986,7 @@ d_Conv'45'CertEnv_78
49864986
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
49874987
coe
49884988
(let v7
4989-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
4989+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
49904990
(coe v6) in
49914991
coe
49924992
(coe
@@ -5110,7 +5110,7 @@ d_Conv'45'DState_82
51105110
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
51115111
coe
51125112
(let v6
5113-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5113+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
51145114
(coe v5) in
51155115
coe
51165116
(coe
@@ -5141,7 +5141,7 @@ d_Conv'45'DState_82
51415141
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
51425142
coe
51435143
(let v6
5144-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5144+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
51455145
(coe v5) in
51465146
coe
51475147
(coe
@@ -5172,7 +5172,7 @@ d_Conv'45'DState_82
51725172
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
51735173
coe
51745174
(let v6
5175-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5175+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
51765176
(coe v5) in
51775177
coe
51785178
(coe
@@ -5207,7 +5207,7 @@ d_Conv'45'DState_82
52075207
(coe
52085208
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
52095209
(coe
5210-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5210+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
52115211
(coe v5)))))
52125212
(coe d_Conv'45'DepositPurpose_66)
52135213
(coe
@@ -5863,7 +5863,7 @@ d_Conv'45'GState_90
58635863
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
58645864
coe
58655865
(let v5
5866-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5866+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
58675867
(coe v4) in
58685868
coe
58695869
(coe
@@ -5894,7 +5894,7 @@ d_Conv'45'GState_90
58945894
= MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14 in
58955895
coe
58965896
(let v5
5897-
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5897+
= MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
58985898
(coe v4) in
58995899
coe
59005900
(coe
@@ -5931,7 +5931,7 @@ d_Conv'45'GState_90
59315931
(coe
59325932
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
59335933
(coe
5934-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5934+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
59355935
(coe v4)))))
59365936
(coe d_Conv'45'DepositPurpose_66)
59375937
(coe
@@ -5974,7 +5974,7 @@ d_deleg'45'step_92 v0
59745974
(coe
59755975
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
59765976
(coe
5977-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
5977+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
59785978
(coe
59795979
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
59805980
(coe
@@ -6015,7 +6015,7 @@ d_pool'45'step_94 v0
60156015
(coe
60166016
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
60176017
(coe
6018-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
6018+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
60196019
(coe
60206020
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
60216021
(coe
@@ -6057,7 +6057,7 @@ d_govcert'45'step_96 v0
60576057
(coe
60586058
MAlonzo.Code.Ledger.Transaction.d_govStructure_2326
60596059
(coe
6060-
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_658
6060+
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.ExternalStructures.d_HSTransactionStructure_648
60616061
(coe
60626062
MAlonzo.Code.Ledger.Conway.Foreign.ExternalFunctions.d_dummyExternalFunctions_14))))
60636063
(coe

0 commit comments

Comments
 (0)