Skip to content

Commit 8594179

Browse files
UnisayUnisay
committed
test: regenerate golden files affected by deriveEq
Variable naming in deriveEq-generated code differs from manual instances, causing golden file updates in plutus-benchmark and plutus-tx-plugin test suites.
1 parent 4556f6a commit 8594179

File tree

12 files changed

+77
-75
lines changed

12 files changed

+77
-75
lines changed

‎plutus-benchmark/cardano-loans/test/9.6/main.golden.pir‎

Lines changed: 11 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -100,19 +100,20 @@
100100
{StakingCredential}
101101
stakingCred
102102
{all dead. bool}
103-
(\(a : StakingCredential) ->
103+
(\(l1l : StakingCredential) ->
104104
/\dead ->
105105
Maybe_match
106106
{StakingCredential}
107107
stakingCred'
108108
{bool}
109-
(\(a : StakingCredential) ->
109+
(\(r1r :
110+
StakingCredential) ->
110111
StakingCredential_match
111-
a
112+
l1l
112113
{bool}
113114
(\(l : Credential) ->
114115
StakingCredential_match
115-
a
116+
r1r
116117
{bool}
117118
(\(r :
118119
Credential) ->
@@ -128,7 +129,7 @@
128129
(b : integer)
129130
(c : integer) ->
130131
StakingCredential_match
131-
a
132+
r1r
132133
{bool}
133134
(\(ipv :
134135
Credential) ->
@@ -248,21 +249,21 @@
248249
{StakingCredential}
249250
stakingCred
250251
{all dead. bool}
251-
(\(a : StakingCredential) ->
252+
(\(l1l : StakingCredential) ->
252253
/\dead ->
253254
Maybe_match
254255
{StakingCredential}
255256
stakingCred'
256257
{bool}
257-
(\(a :
258+
(\(r1r :
258259
StakingCredential) ->
259260
StakingCredential_match
260-
a
261+
l1l
261262
{bool}
262263
(\(l :
263264
Credential) ->
264265
StakingCredential_match
265-
a
266+
r1r
266267
{bool}
267268
(\(r :
268269
Credential) ->
@@ -280,7 +281,7 @@
280281
(b : integer)
281282
(c : integer) ->
282283
StakingCredential_match
283-
a
284+
r1r
284285
{bool}
285286
(\(ipv :
286287
Credential) ->

‎plutus-benchmark/cardano-loans/test/9.6/main.golden.uplc‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -6286,15 +6286,15 @@
62866286
[ False
62876287
, (case
62886288
stakingCred
6289-
[ (\a ->
6289+
[ (\l1l ->
62906290
case
62916291
stakingCred'
6292-
[ (\a ->
6292+
[ (\r1r ->
62936293
case
6294-
a
6294+
l1l
62956295
[ (\l ->
62966296
case
6297-
a
6297+
r1r
62986298
[ (\r ->
62996299
`$fEqCredential_$c==`
63006300
l
@@ -6307,7 +6307,7 @@
63076307
b
63086308
c ->
63096309
case
6310-
a
6310+
r1r
63116311
[ (\ipv ->
63126312
False)
63136313
, (\a'
@@ -6371,15 +6371,15 @@
63716371
[ False
63726372
, (case
63736373
stakingCred
6374-
[ (\a ->
6374+
[ (\l1l ->
63756375
case
63766376
stakingCred'
6377-
[ (\a ->
6377+
[ (\r1r ->
63786378
case
6379-
a
6379+
l1l
63806380
[ (\l ->
63816381
case
6382-
a
6382+
r1r
63836383
[ (\r ->
63846384
`$fEqCredential_$c==`
63856385
l
@@ -6392,7 +6392,7 @@
63926392
b
63936393
c ->
63946394
case
6395-
a
6395+
r1r
63966396
[ (\ipv ->
63976397
False)
63986398
, (\a'

‎plutus-benchmark/linear-vesting/test/9.6/main.golden.pir‎

Lines changed: 7 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1376,7 +1376,8 @@
13761376
{data}
13771377
l)))
13781378
{all dead. bool}
1379-
(\(a : data) ->
1379+
(\(l1l :
1380+
data) ->
13801381
/\dead ->
13811382
Maybe_match
13821383
{data}
@@ -1389,7 +1390,7 @@
13891390
{data}
13901391
l)))
13911392
{bool}
1392-
(\(a :
1393+
(\(r1r :
13931394
data) ->
13941395
let
13951396
!fail :
@@ -1399,7 +1400,7 @@
13991400
unit) ->
14001401
`$mStakingPtr`
14011402
{bool}
1402-
a
1403+
l1l
14031404
(\(a :
14041405
integer)
14051406
(b :
@@ -1408,7 +1409,7 @@
14081409
integer) ->
14091410
`$mStakingPtr`
14101411
{bool}
1411-
a
1412+
r1r
14121413
(\(a' :
14131414
integer)
14141415
(b' :
@@ -1452,7 +1453,7 @@
14521453
(list
14531454
data)
14541455
= unConstrData
1455-
a
1456+
l1l
14561457
in
14571458
case
14581459
(all dead.
@@ -1479,7 +1480,7 @@
14791480
(list
14801481
data)
14811482
= unConstrData
1482-
a
1483+
r1r
14831484
in
14841485
case
14851486
(all dead.

0 commit comments

Comments
 (0)