Skip to content

Commit 17c33aa

Browse files
bezirgbezirg
committed
Add deriveEq for Plinth similar to deriving stock Eq
Add some derived Eq instances
1 parent f96714c commit 17c33aa

File tree

20 files changed

+271
-156
lines changed

20 files changed

+271
-156
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
@@ -6288,15 +6288,15 @@
62886288
[ False
62896289
, (case
62906290
stakingCred
6291-
[ (\a ->
6291+
[ (\l1l ->
62926292
case
62936293
stakingCred'
6294-
[ (\a ->
6294+
[ (\r1r ->
62956295
case
6296-
a
6296+
l1l
62976297
[ (\l ->
62986298
case
6299-
a
6299+
r1r
63006300
[ (\r ->
63016301
`$fEqCredential_$c==`
63026302
l
@@ -6309,7 +6309,7 @@
63096309
b
63106310
c ->
63116311
case
6312-
a
6312+
r1r
63136313
[ (\ipv ->
63146314
False)
63156315
, (\a'
@@ -6373,15 +6373,15 @@
63736373
[ False
63746374
, (case
63756375
stakingCred
6376-
[ (\a ->
6376+
[ (\l1l ->
63776377
case
63786378
stakingCred'
6379-
[ (\a ->
6379+
[ (\r1r ->
63806380
case
6381-
a
6381+
l1l
63826382
[ (\l ->
63836383
case
6384-
a
6384+
r1r
63856385
[ (\r ->
63866386
`$fEqCredential_$c==`
63876387
l
@@ -6394,7 +6394,7 @@
63946394
b
63956395
c ->
63966396
case
6397-
a
6397+
r1r
63986398
[ (\ipv ->
63996399
False)
64006400
, (\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)