Skip to content

Commit 31c0144

Browse files
committed
updated tests
1 parent 00c4e19 commit 31c0144

File tree

2 files changed

+7
-2
lines changed

2 files changed

+7
-2
lines changed

plutus-tx-plugin/test/Budget/9.6/matchAsDataE.pir.golden

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,10 @@
4848
{all dead. integer}
4949
(/\dead -> 1)
5050
(/\dead ->
51-
Unit_match (error {Unit}) {integer} (error {integer}))
51+
let
52+
!defaultBody : integer = error {integer}
53+
in
54+
Unit_match (error {Unit}) {integer} defaultBody)
5255
{all dead. dead}))
5356
{all dead. dead}))
5457
(Constr 0 [I 1])

plutus-tx-plugin/test/Budget/9.6/matchAsDataE.uplc.golden

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,5 +23,7 @@
2323
(force ifThenElse
2424
(equalsInteger 1 ds)
2525
(delay 1)
26-
(delay (case error [error])))) ])))) ])
26+
(delay
27+
((\cse -> case cse [cse])
28+
error)))) ])))) ])
2729
(Constr 0 [I 1])))

0 commit comments

Comments
 (0)