Skip to content

Commit c63ebd8

Browse files
github-actions[bot]github-actions[bot]
committed
Generate code for GH-662 
1 parent 8d91ec9 commit c63ebd8

File tree

13 files changed

+33
-33
lines changed

13 files changed

+33
-33
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4118,11 +4118,11 @@ d_Q4_1486 ::
41184118
MAlonzo.Code.Ledger.PParams.T_PoolThresholds_220 ->
41194119
MAlonzo.Code.Data.Rational.Base.T_ℚ_6
41204120
d_Q4_1486 v0 = coe MAlonzo.Code.Ledger.PParams.d_Q4_238 (coe v0)
4121-
-- Ledger.Conway.Foreign.HSLedger.BaseTypes._.PoolThresholds.Q5e
4122-
d_Q5e_1488 ::
4121+
-- Ledger.Conway.Foreign.HSLedger.BaseTypes._.PoolThresholds.Q5
4122+
d_Q5_1488 ::
41234123
MAlonzo.Code.Ledger.PParams.T_PoolThresholds_220 ->
41244124
MAlonzo.Code.Data.Rational.Base.T_ℚ_6
4125-
d_Q5e_1488 v0 = coe MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v0)
4125+
d_Q5_1488 v0 = coe MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v0)
41264126
-- Ledger.Conway.Foreign.HSLedger.BaseTypes._.RwdAddr.net
41274127
d_net_1492 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 -> Integer
41284128
d_net_1492 v0 = coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v0)

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

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -675,7 +675,7 @@ d_Conv'45'DelegEnv_70
675675
MAlonzo.Code.Data.Rational.Base.du__'47'__156
676676
(coe v5) (coe v6)
677677
_ -> MAlonzo.RTE.mazUnreachableError)))
678-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240
678+
(MAlonzo.Code.Ledger.PParams.d_Q5_240
679679
(coe MAlonzo.Code.Ledger.PParams.d_poolThresholds_360 (coe v1)))))
680680
(coe
681681
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
@@ -1238,7 +1238,7 @@ d_Conv'45'DelegEnv_70
12381238
MAlonzo.Code.Data.Rational.Base.du__'47'__156
12391239
(coe v39) (coe v40)
12401240
_ -> MAlonzo.RTE.mazUnreachableError)))
1241-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v30))))
1241+
(MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v30))))
12421242
(coe
12431243
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
12441244
(coe
@@ -3004,7 +3004,7 @@ d_Conv'45'CertEnv_78
30043004
MAlonzo.Code.Data.Rational.Base.du__'47'__156
30053005
(coe v7) (coe v8)
30063006
_ -> MAlonzo.RTE.mazUnreachableError)))
3007-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240
3007+
(MAlonzo.Code.Ledger.PParams.d_Q5_240
30083008
(coe MAlonzo.Code.Ledger.PParams.d_poolThresholds_360 (coe v2)))))
30093009
(coe
30103010
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
@@ -3577,7 +3577,7 @@ d_Conv'45'CertEnv_78
35773577
MAlonzo.Code.Data.Rational.Base.du__'47'__156
35783578
(coe v41) (coe v42)
35793579
_ -> MAlonzo.RTE.mazUnreachableError)))
3580-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v32))))
3580+
(MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v32))))
35813581
(coe
35823582
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
35833583
(coe

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4631,11 +4631,11 @@ d_Q4_1788 ::
46314631
MAlonzo.Code.Ledger.PParams.T_PoolThresholds_220 ->
46324632
MAlonzo.Code.Data.Rational.Base.T_ℚ_6
46334633
d_Q4_1788 v0 = coe MAlonzo.Code.Ledger.PParams.d_Q4_238 (coe v0)
4634-
-- Ledger.Conway.Foreign.HSLedger.ExternalStructures._.PoolThresholds.Q5e
4635-
d_Q5e_1790 ::
4634+
-- Ledger.Conway.Foreign.HSLedger.ExternalStructures._.PoolThresholds.Q5
4635+
d_Q5_1790 ::
46364636
MAlonzo.Code.Ledger.PParams.T_PoolThresholds_220 ->
46374637
MAlonzo.Code.Data.Rational.Base.T_ℚ_6
4638-
d_Q5e_1790 v0 = coe MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v0)
4638+
d_Q5_1790 v0 = coe MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v0)
46394639
-- Ledger.Conway.Foreign.HSLedger.ExternalStructures._.RwdAddr.net
46404640
d_net_1794 :: MAlonzo.Code.Ledger.Address.T_RwdAddr_76 -> Integer
46414641
d_net_1794 v0 = coe MAlonzo.Code.Ledger.Address.d_net_82 (coe v0)

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -401,7 +401,7 @@ d_Conv'45'GovEnv_60
401401
MAlonzo.Code.Data.Rational.Base.du__'47'__156
402402
(coe v9) (coe v10)
403403
_ -> MAlonzo.RTE.mazUnreachableError)))
404-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240
404+
(MAlonzo.Code.Ledger.PParams.d_Q5_240
405405
(coe MAlonzo.Code.Ledger.PParams.d_poolThresholds_360 (coe v3)))))
406406
(coe
407407
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
@@ -1266,7 +1266,7 @@ d_Conv'45'GovEnv_60
12661266
MAlonzo.Code.Data.Rational.Base.du__'47'__156
12671267
(coe v43) (coe v44)
12681268
_ -> MAlonzo.RTE.mazUnreachableError)))
1269-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v34))))
1269+
(MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v34))))
12701270
(coe
12711271
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
12721272
(coe

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -402,7 +402,7 @@ d_Conv'45'LEnv_72
402402
MAlonzo.Code.Data.Rational.Base.du__'47'__156
403403
(coe v7) (coe v8)
404404
_ -> MAlonzo.RTE.mazUnreachableError)))
405-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240
405+
(MAlonzo.Code.Ledger.PParams.d_Q5_240
406406
(coe MAlonzo.Code.Ledger.PParams.d_poolThresholds_360 (coe v3)))))
407407
(coe
408408
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
@@ -1087,7 +1087,7 @@ d_Conv'45'LEnv_72
10871087
MAlonzo.Code.Data.Rational.Base.du__'47'__156
10881088
(coe v41) (coe v42)
10891089
_ -> MAlonzo.RTE.mazUnreachableError)))
1090-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v32))))
1090+
(MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v32))))
10911091
(coe
10921092
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
10931093
(coe

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ import qualified MAlonzo.Code.Ledger.PParams
3333
import GHC.Generics (Generic)
3434
data DrepThresholds = MkDrepThresholds {p1 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p2a :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p2b :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p3 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p4 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p5a :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p5b :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p5c :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p5d :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, p6 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational}
3535
deriving (Show, Eq, Generic)
36-
data PoolThresholds = MkPoolThresholds {q1 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q2a :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q2b :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q4 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q5e :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational}
36+
data PoolThresholds = MkPoolThresholds {q1 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q2a :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q2b :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q4 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational, q5 :: MAlonzo.Code.Ledger.Conway.Foreign.HSTypes.Rational}
3737
deriving (Show, Eq, Generic)
3838
data Acnt = MkAcnt {treasury :: Integer, reserves :: Integer}
3939
deriving (Show, Eq, Generic)
@@ -1055,7 +1055,7 @@ d_Conv'45'PParams_24
10551055
MAlonzo.Code.Data.Rational.Base.du__'47'__156
10561056
(coe v35) (coe v36)
10571057
_ -> MAlonzo.RTE.mazUnreachableError)))
1058-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v26))))
1058+
(MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v26))))
10591059
(coe
10601060
C_MkDrepThresholds_29
10611061
(coe

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -398,7 +398,7 @@ d_Conv'45'UTxOEnv_512
398398
MAlonzo.Code.Data.Rational.Base.du__'47'__156
399399
(coe v5) (coe v6)
400400
_ -> MAlonzo.RTE.mazUnreachableError)))
401-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240
401+
(MAlonzo.Code.Ledger.PParams.d_Q5_240
402402
(coe MAlonzo.Code.Ledger.PParams.d_poolThresholds_360 (coe v2)))))
403403
(coe
404404
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
@@ -941,7 +941,7 @@ d_Conv'45'UTxOEnv_512
941941
MAlonzo.Code.Data.Rational.Base.du__'47'__156
942942
(coe v39) (coe v40)
943943
_ -> MAlonzo.RTE.mazUnreachableError)))
944-
(MAlonzo.Code.Ledger.PParams.d_Q5e_240 (coe v30))))
944+
(MAlonzo.Code.Ledger.PParams.d_Q5_240 (coe v30))))
945945
(coe
946946
MAlonzo.Code.Ledger.Conway.Foreign.HSLedger.PParams.C_MkDrepThresholds_29
947947
(coe

‎generated/MAlonzo/Code/Ledger/Enact.hs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -489,7 +489,7 @@ du_getHashES_866 v0 v1
489489
d__'8866'_'8640''10631'_'44'ENACT'10632'__882 a0 a1 a2 a3 a4 = ()
490490
data T__'8866'_'8640''10631'_'44'ENACT'10632'__882
491491
= C_Enact'45'NoConf_910 |
492-
C_Enact'45'NewComm_918 (AgdaAny ->
492+
C_Enact'45'UpdComm_918 (AgdaAny ->
493493
MAlonzo.Code.Data.List.Relation.Unary.Any.T_Any_34 ->
494494
MAlonzo.Code.Data.Sum.Base.T__'8846'__30) |
495495
C_Enact'45'NewConst_920 | C_Enact'45'HF_922 |

‎generated/MAlonzo/Code/Ledger/GovernanceActions/Properties.hs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -322,7 +322,7 @@ d_Computational'45'ENACT_896 v0
322322
MAlonzo.Code.Ledger.Enact.d_withdrawals_846
323323
(coe v5)))
324324
(coe
325-
MAlonzo.Code.Ledger.Enact.C_Enact'45'NewComm_918
325+
MAlonzo.Code.Ledger.Enact.C_Enact'45'UpdComm_918
326326
(\ v14 -> coe v13 v14)))
327327
_ -> MAlonzo.RTE.mazUnreachableError
328328
else coe

‎generated/MAlonzo/Code/Ledger/PParams.hs‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -232,10 +232,10 @@ d_Q4_238 v0
232232
= case coe v0 of
233233
C_PoolThresholds'46'constructor_2403 v1 v2 v3 v4 v5 -> coe v4
234234
_ -> MAlonzo.RTE.mazUnreachableError
235-
-- Ledger.PParams.PoolThresholds.Q5e
236-
d_Q5e_240 ::
235+
-- Ledger.PParams.PoolThresholds.Q5
236+
d_Q5_240 ::
237237
T_PoolThresholds_220 -> MAlonzo.Code.Data.Rational.Base.T_ℚ_6
238-
d_Q5e_240 v0
238+
d_Q5_240 v0
239239
= case coe v0 of
240240
C_PoolThresholds'46'constructor_2403 v1 v2 v3 v4 v5 -> coe v5
241241
_ -> MAlonzo.RTE.mazUnreachableError
@@ -1211,11 +1211,11 @@ du_DecEq'45'PParams_498 v0 v1
12111211
(coe
12121212
MAlonzo.Code.Data.Rational.Properties.d__'8799'__2684
12131213
(coe
1214-
d_Q5e_240
1214+
d_Q5_240
12151215
(coe
12161216
v28))
12171217
(coe
1218-
d_Q5e_240
1218+
d_Q5_240
12191219
(coe
12201220
v62))))
12211221
(coe
@@ -2116,7 +2116,7 @@ du_Show'45'PParams_506 v0 v1
21162116
MAlonzo.Code.Tactic.Derive.Show.d_wrapWithPars_40
21172117
(coe
21182118
MAlonzo.Code.Data.Rational.Show.d_show_6
2119-
(coe d_Q5e_240 (coe v28)))))))
2119+
(coe d_Q5_240 (coe v28)))))))
21202120
(coe
21212121
MAlonzo.Code.Tactic.Derive.Show.d_wrapWithPars_40
21222122
(coe

0 commit comments

Comments
 (0)