diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden index 986761a3c2c..97905c6e68c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.eval.golden @@ -1,2 +1,2 @@ -({cpu: 402518855 -| mem: 1455079}) \ No newline at end of file +({cpu: 398616327 +| mem: 1439823}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden index ce7c996340c..9c05a314260 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.eval.golden @@ -1,2 +1,2 @@ -({cpu: 520530055 -| mem: 1823488}) \ No newline at end of file +({cpu: 516144527 +| mem: 1806132}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden index bb01afd1750..b2ca8d22650 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1369562008 -| mem: 5139906}) \ No newline at end of file +({cpu: 1363407348 +| mem: 5115286}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden index cf5086bbb4d..0d60d4330d5 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 973182913 -| mem: 3463717}) \ No newline at end of file +({cpu: 965895293 +| mem: 3435137}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden index 2f889c18930..750465f35b9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.eval.golden @@ -1,2 +1,2 @@ -({cpu: 843867201 -| mem: 2481574}) \ No newline at end of file +({cpu: 838427409 +| mem: 2460490}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden index 29b10a8bc51..3595b89a11e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.eval.golden @@ -1,2 +1,2 @@ -({cpu: 998897697 -| mem: 3656236}) \ No newline at end of file +({cpu: 993260473 +| mem: 3633548}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden index b03eff1d690..888dcf3ade1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.eval.golden @@ -1,2 +1,2 @@ -({cpu: 987423205 -| mem: 3614305}) \ No newline at end of file +({cpu: 983953941 +| mem: 3600077}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden index 16b66fa4f50..9a83b9988af 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.eval.golden @@ -1,2 +1,2 @@ -({cpu: 914766366 -| mem: 3295039}) \ No newline at end of file +({cpu: 908005878 +| mem: 3268323}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden index 8b2383cfe49..03c2d473eb8 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1339314327 -| mem: 4635625}) \ No newline at end of file +({cpu: 1334150535 +| mem: 4615741}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden index 917b7e967ad..9e46f18dbd9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1413776462 -| mem: 4721574}) \ No newline at end of file +({cpu: 1405390446 +| mem: 4689502}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden index afec7763dba..9be61d59375 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1330488755 -| mem: 4850563}) \ No newline at end of file +({cpu: 1325965227 +| mem: 4832607}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden index cddfbe2338e..97d4f69979c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1464470248 -| mem: 5319835}) \ No newline at end of file +({cpu: 1460197852 +| mem: 5302543}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden index 6782c9c28ef..f0f1f2f8822 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1775749243 -| mem: 6455778}) \ No newline at end of file +({cpu: 1768609319 +| mem: 6427730}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden index 4b04b999284..b6f8b115c9d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 612656737 -| mem: 2249471}) \ No newline at end of file +({cpu: 609739473 +| mem: 2237643}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden index 1594d4e62f5..987c44fc97a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.eval.golden @@ -1,2 +1,2 @@ -({cpu: 938315713 -| mem: 3387435}) \ No newline at end of file +({cpu: 931028093 +| mem: 3358855}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden index 1911a1cfc6e..10b6f1ab86f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 634959297 -| mem: 2333323}) \ No newline at end of file +({cpu: 631835033 +| mem: 2320595}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden index a59c373fd12..b85d6a9fe1c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.eval.golden @@ -1,2 +1,2 @@ -({cpu: 954908836 -| mem: 3477513}) \ No newline at end of file +({cpu: 950981440 +| mem: 3461721}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden index a84d59bce1f..faf862eee44 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.eval.golden @@ -1,2 +1,2 @@ -({cpu: 380193391 -| mem: 1383039}) \ No newline at end of file +({cpu: 377414127 +| mem: 1371811}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden index cfc75a373ee..7fd1e1b46c4 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1165182528 -| mem: 4262166}) \ No newline at end of file +({cpu: 1160245000 +| mem: 4242410}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden index 299a05fb4fa..9e66de3c68e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.eval.golden @@ -1,2 +1,2 @@ -({cpu: 929995176 -| mem: 3292885}) \ No newline at end of file +({cpu: 923234688 +| mem: 3266169}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden index b4e5c80e9ff..262e3755a51 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 380218563 -| mem: 1383039}) \ No newline at end of file +({cpu: 377439299 +| mem: 1371811}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden index b858047b966..0c6c6495c61 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 686002087 -| mem: 1323198}) \ No newline at end of file +({cpu: 682237559 +| mem: 1308542}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden index 19e50b70acc..8dd324a6944 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.eval.golden @@ -1,2 +1,2 @@ -({cpu: 2101526886 -| mem: 1705678}) \ No newline at end of file +({cpu: 2096087094 +| mem: 1684594}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden index 4c07c5ead83..ded401ca10d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.eval.golden @@ -1,2 +1,2 @@ -({cpu: 452129627 -| mem: 1666932}) \ No newline at end of file +({cpu: 447744099 +| mem: 1649576}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden index 44da905b523..f76b7bc9c7f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.eval.golden @@ -1,2 +1,2 @@ -({cpu: 708930805 -| mem: 2634784}) \ No newline at end of file +({cpu: 701919057 +| mem: 2606768}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden index 06501ca3faa..c5cf06c7b32 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1126717862 -| mem: 1710998}) \ No newline at end of file +({cpu: 1119523982 +| mem: 1682618}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden index 2704a5e72f0..47a38bea520 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 996122680 -| mem: 3241124}) \ No newline at end of file +({cpu: 987539232 +| mem: 3207448}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden index db4478e59a5..12ec5a9e2af 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.eval.golden @@ -1,2 +1,2 @@ -({cpu: 999156945 -| mem: 3655271}) \ No newline at end of file +({cpu: 995687681 +| mem: 3641043}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden index 0e8d6ddf220..85ecb93414d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 951258957 -| mem: 3442746}) \ No newline at end of file +({cpu: 945621733 +| mem: 3420058}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden index 489bfbcbd02..6fb27d442c0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1507338667 -| mem: 5598056}) \ No newline at end of file +({cpu: 1500587875 +| mem: 5571272}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden index a84d59bce1f..faf862eee44 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 380193391 -| mem: 1383039}) \ No newline at end of file +({cpu: 377414127 +| mem: 1371811}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden index 73c0509eb91..f781f154d07 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.eval.golden @@ -1,2 +1,2 @@ -({cpu: 594371685 -| mem: 2186723}) \ No newline at end of file +({cpu: 591454421 +| mem: 2174895}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden index f5aa7a3f1fa..96657291ff1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.eval.golden @@ -1,2 +1,2 @@ -({cpu: 802908465 -| mem: 2990120}) \ No newline at end of file +({cpu: 797271241 +| mem: 2967432}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden index 920b8cc761a..12fa230aa58 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.eval.golden @@ -1,2 +1,2 @@ -({cpu: 953192264 -| mem: 3469522}) \ No newline at end of file +({cpu: 946259212 +| mem: 3441738}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden index 3092caba2e7..b66dbb6408d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1013586606 -| mem: 3615978}) \ No newline at end of file +({cpu: 1006998682 +| mem: 3590330}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden index 30389f6103d..98ad9aad408 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1346561199 -| mem: 4947661}) \ No newline at end of file +({cpu: 1342288803 +| mem: 4930369}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden index 425b631cd09..cb991fa3a9c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 889319051 -| mem: 3267113}) \ No newline at end of file +({cpu: 885150091 +| mem: 3249953}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden index 631dc0d8198..25226fcc319 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.eval.golden @@ -1,2 +1,2 @@ -({cpu: 477258264 -| mem: 1697268}) \ No newline at end of file +({cpu: 472872736 +| mem: 1679912}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden index 605a5011748..c57ad879d9a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 457924619 -| mem: 1643129}) \ No newline at end of file +({cpu: 455145355 +| mem: 1631901}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden index 8bf4611abb4..60d6693bbae 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 469200315 -| mem: 1677921}) \ No newline at end of file +({cpu: 466421051 +| mem: 1666693}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden index f63f0c06184..08c73a35c8e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1014736342 -| mem: 3786624}) \ No newline at end of file +({cpu: 1009798814 +| mem: 3766868}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden index f6fafb91193..91a80a20084 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.eval.golden @@ -1,2 +1,2 @@ -({cpu: 629266928 -| mem: 2309755}) \ No newline at end of file +({cpu: 626142664 +| mem: 2297027}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden index c60c6678e5a..d3077f1531f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1347155690 -| mem: 4790109}) \ No newline at end of file +({cpu: 1340705510 +| mem: 4763789}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden index f07e9411f4f..79b0f8645cf 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1319426558 -| mem: 4766067}) \ No newline at end of file +({cpu: 1312621810 +| mem: 4738951}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden index 21684f752f3..3155d2412aa 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 665614715 -| mem: 2415429}) \ No newline at end of file +({cpu: 662032319 +| mem: 2401137}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden index a84d59bce1f..faf862eee44 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 380193391 -| mem: 1383039}) \ No newline at end of file +({cpu: 377414127 +| mem: 1371811}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden index cd7515775b1..3cabdca75fc 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.eval.golden @@ -1,2 +1,2 @@ -({cpu: 963124601 -| mem: 3540302}) \ No newline at end of file +({cpu: 956191549 +| mem: 3512518}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden index e75b70cf45a..741ff1ed0e8 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 631601512 -| mem: 2317947}) \ No newline at end of file +({cpu: 628477248 +| mem: 2305219}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden index 4e6347746ee..663f98e3f58 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.eval.golden @@ -1,2 +1,2 @@ -({cpu: 856835477 -| mem: 3170730}) \ No newline at end of file +({cpu: 850498557 +| mem: 3145110}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden index 1c68af81d09..c74e7982b26 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1339870748 -| mem: 1876832}) \ No newline at end of file +({cpu: 1334430956 +| mem: 1855748}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden index e69fd89b190..1f349a73ad2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1677936405 -| mem: 5562456}) \ No newline at end of file +({cpu: 1668929389 +| mem: 5527684}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden index cf948790010..aaadda2cc02 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1363934214 -| mem: 4991123}) \ No newline at end of file +({cpu: 1359385818 +| mem: 4972631}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden index 19e50b70acc..8dd324a6944 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.eval.golden @@ -1,2 +1,2 @@ -({cpu: 2101526886 -| mem: 1705678}) \ No newline at end of file +({cpu: 2096087094 +| mem: 1684594}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden index 66db39cc934..ecd757553be 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 631861827 -| mem: 2315257}) \ No newline at end of file +({cpu: 628737563 +| mem: 2302529}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden index d01d176c2e7..137de198b37 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.eval.golden @@ -1,2 +1,2 @@ -({cpu: 957839822 -| mem: 3443835}) \ No newline at end of file +({cpu: 950552202 +| mem: 3415255}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden index c169d25d15b..a7585de0722 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.eval.golden @@ -1,2 +1,2 @@ -({cpu: 615301794 -| mem: 2254973}) \ No newline at end of file +({cpu: 612384530 +| mem: 2243145}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden index b76335698bf..90312f6c0b1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1026814217 -| mem: 3790810}) \ No newline at end of file +({cpu: 1021462689 +| mem: 3769254}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden index 58e45ce3207..93465455ef5 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1048478843 -| mem: 3910304}) \ No newline at end of file +({cpu: 1043127315 +| mem: 3888748}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden index 8e13f2e5175..f86d95f644a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.eval.golden @@ -1,2 +1,2 @@ -({cpu: 886263726 -| mem: 3253837}) \ No newline at end of file +({cpu: 882094766 +| mem: 3236677}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden index 0a1219930de..7808262b8da 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.eval.golden @@ -1,2 +1,2 @@ -({cpu: 634984307 -| mem: 2229440}) \ No newline at end of file +({cpu: 627721427 +| mem: 2200760}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden index fbeef6275a4..c8fb4b2afd8 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.eval.golden @@ -1,2 +1,2 @@ -({cpu: 604944750 -| mem: 2223854}) \ No newline at end of file +({cpu: 599938222 +| mem: 2203798}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden index 2700f0a796f..5eac74d573f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1505689781 -| mem: 4990480}) \ No newline at end of file +({cpu: 1498530593 +| mem: 4963204}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden index 00203f7458b..f657a76d4a1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1489029460 -| mem: 5480476}) \ No newline at end of file +({cpu: 1482899668 +| mem: 5456392}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden index 4c07c5ead83..ded401ca10d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 452129627 -| mem: 1666932}) \ No newline at end of file +({cpu: 447744099 +| mem: 1649576}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden index a84d59bce1f..faf862eee44 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.eval.golden @@ -1,2 +1,2 @@ -({cpu: 380193391 -| mem: 1383039}) \ No newline at end of file +({cpu: 377414127 +| mem: 1371811}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden index 996365c00a4..1050211306f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1349410606 -| mem: 4662731}) \ No newline at end of file +({cpu: 1344246814 +| mem: 4642847}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden index 8bf4611abb4..60d6693bbae 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 469200315 -| mem: 1677921}) \ No newline at end of file +({cpu: 466421051 +| mem: 1666693}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden index 0a1219930de..7808262b8da 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.eval.golden @@ -1,2 +1,2 @@ -({cpu: 634984307 -| mem: 2229440}) \ No newline at end of file +({cpu: 627721427 +| mem: 2200760}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden index 096ba7fede2..d6325904a49 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.eval.golden @@ -1,2 +1,2 @@ -({cpu: 826797751 -| mem: 3064802}) \ No newline at end of file +({cpu: 821160527 +| mem: 3042114}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden index 5370e63283b..42f040489a6 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.eval.golden @@ -1,2 +1,2 @@ -({cpu: 403146675 -| mem: 1397853}) \ No newline at end of file +({cpu: 400712411 +| mem: 1388125}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden index 67be6c98438..a7fad33681d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 745427434 -| mem: 2752236}) \ No newline at end of file +({cpu: 739090514 +| mem: 2726616}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden index fba6c04aa05..8c01fe438a7 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1752869455 -| mem: 6357120}) \ No newline at end of file +({cpu: 1745729531 +| mem: 6329072}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden index 15cb955edfd..cfc4d239778 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 989395676 -| mem: 3677804}) \ No newline at end of file +({cpu: 984458148 +| mem: 3658048}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden index d6cb9f5f60a..d438d45eec8 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1249073750 -| mem: 4599574}) \ No newline at end of file +({cpu: 1240844870 +| mem: 4566694}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden index 0c6e7e6a244..86eff21d649 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.eval.golden @@ -1,2 +1,2 @@ -({cpu: 951483642 -| mem: 3516779}) \ No newline at end of file +({cpu: 946053290 +| mem: 3494355}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden index 3cf885d25e7..836dc00b90b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1056220211 -| mem: 3913228}) \ No newline at end of file +({cpu: 1050868683 +| mem: 3891672}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden index 7bfc946b968..36e3359f65e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.eval.golden @@ -1,2 +1,2 @@ -({cpu: 674993039 -| mem: 1287960}) \ No newline at end of file +({cpu: 671228511 +| mem: 1273304}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden index 83df12b6eb1..f4f7b644176 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1168070900 -| mem: 4327234}) \ No newline at end of file +({cpu: 1163133372 +| mem: 4307478}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden index 93e8d647c72..d23a5fb42fc 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1092904710 -| mem: 4036574}) \ No newline at end of file +({cpu: 1087967182 +| mem: 4016818}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden index 36ccca36c39..2c509474b7b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 636960115 -| mem: 2335883}) \ No newline at end of file +({cpu: 634042851 +| mem: 2324055}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden index 00ce68f5b4b..f9a3f982866 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.eval.golden @@ -1,2 +1,2 @@ -({cpu: 8430261323 -| mem: 1143214}) \ No newline at end of file +({cpu: 8426496795 +| mem: 1128558}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden index 8b6c01a5833..d2d50f749fc 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1348497935 -| mem: 4970437}) \ No newline at end of file +({cpu: 1344225539 +| mem: 4953145}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden index da243be9a95..fab948e44f5 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.eval.golden @@ -1,2 +1,2 @@ -({cpu: 596991570 -| mem: 2192225}) \ No newline at end of file +({cpu: 594074306 +| mem: 2180397}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden index 9cd90398c5c..2efce1af3c2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.eval.golden @@ -1,2 +1,2 @@ -({cpu: 986629919 -| mem: 3675298}) \ No newline at end of file +({cpu: 981692391 +| mem: 3655542}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden index 4f16c55857d..80973945204 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.eval.golden @@ -1,2 +1,2 @@ -({cpu: 447358545 -| mem: 1612478}) \ No newline at end of file +({cpu: 442973017 +| mem: 1595122}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden index ff05299f606..402b2115f55 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.eval.golden @@ -1,2 +1,2 @@ -({cpu: 503354733 -| mem: 1848322}) \ No newline at end of file +({cpu: 498969205 +| mem: 1830966}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden index a84d59bce1f..faf862eee44 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.eval.golden @@ -1,2 +1,2 @@ -({cpu: 380193391 -| mem: 1383039}) \ No newline at end of file +({cpu: 377414127 +| mem: 1371811}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden index 0aa13f5bde4..495205d9c07 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.eval.golden @@ -1,2 +1,2 @@ -({cpu: 881544544 -| mem: 2590946}) \ No newline at end of file +({cpu: 876104752 +| mem: 2569862}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden index 0a36691b77d..438b94241ee 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.eval.golden @@ -1,2 +1,2 @@ -({cpu: 377573506 -| mem: 1377537}) \ No newline at end of file +({cpu: 374794242 +| mem: 1366309}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden index f3848db4855..c81ecab00a3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.eval.golden @@ -1,2 +1,2 @@ -({cpu: 816518684 -| mem: 2956698}) \ No newline at end of file +({cpu: 810354328 +| mem: 2932146}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden index 65c60d2d454..1259c329867 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 861898898 -| mem: 2870614}) \ No newline at end of file +({cpu: 853936450 +| mem: 2839638}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden index 1bbd7fbb394..01c70f0205e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1957604142 -| mem: 1228004}) \ No newline at end of file +({cpu: 1953839614 +| mem: 1213348}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden index 930205fe354..24845b06384 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1210854716 -| mem: 4441442}) \ No newline at end of file +({cpu: 1205321056 +| mem: 4419522}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden b/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden index 1989e418b90..5b76c53397d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden @@ -1 +1 @@ -11739 \ No newline at end of file +11871 \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden b/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden index 1e51ec96f7a..a07bc06fcb5 100644 --- a/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden +++ b/plutus-benchmark/nofib/test/9.6/queens4-bt.eval.golden @@ -1,2 +1,2 @@ -({cpu: 8028768773 -| mem: 28840930}) \ No newline at end of file +({cpu: 8027457773 +| mem: 28835230}) \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden b/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden index 3d99cf3b62a..fac82753fd5 100644 --- a/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden +++ b/plutus-benchmark/nofib/test/9.6/queens4-bt.size.golden @@ -1 +1 @@ -1930 \ No newline at end of file +1946 \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden b/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden index 58a40d16544..a27ffc000ad 100644 --- a/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden +++ b/plutus-benchmark/nofib/test/9.6/queens5-fc.eval.golden @@ -1,2 +1,2 @@ -({cpu: 284714232581 -| mem: 1087139966}) \ No newline at end of file +({cpu: 284440785581 +| mem: 1085951066}) \ No newline at end of file diff --git a/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden b/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden index 3d99cf3b62a..fac82753fd5 100644 --- a/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden +++ b/plutus-benchmark/nofib/test/9.6/queens5-fc.size.golden @@ -1 +1 @@ -1930 \ No newline at end of file +1946 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden index 467c51fc8a8..663e152d87e 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.eval.golden @@ -1,2 +1,2 @@ -({cpu: 385307086 -| mem: 1190395}) \ No newline at end of file +({cpu: 368586086 +| mem: 1117695}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden index 52a8b9014ec..86d2cf5b9a2 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 117167854 -| mem: 366171}) \ No newline at end of file +({cpu: 114430854 +| mem: 354271}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden index 6ad6fb74950..fb4ed5d2ace 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden @@ -45,68 +45,8 @@ {all dead. dead} in let - !`$fUnsafeFromDataBuiltinData_$cunsafeFromBuiltinData` : data -> data - = \(d : data) -> d - !reconstructCaseError : string = "PT1" data Unit | Unit_match where Unit : Unit - !traceError : all a. string -> a - = /\a -> - \(str : string) -> let !x : Unit = trace {Unit} str Unit in error {a} - data Bool | Bool_match where - True : Bool - False : Bool - !`$fUnsafeFromDataBool_$cunsafeFromBuiltinData` : data -> Bool - = \(d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Bool} - (equalsInteger 0 index) - (/\dead -> False) - (/\dead -> - ifThenElse - {all dead. Bool} - (equalsInteger 1 index) - (/\dead -> True) - (/\dead -> traceError {Bool} reconstructCaseError) - {all dead. dead}) - {all dead. dead} - data (Extended :: * -> *) a | Extended_match where - Finite : a -> Extended a - NegInf : Extended a - PosInf : Extended a - !`$fUnsafeFromDataExtended_$cunsafeFromBuiltinData` : - all a. (\a -> data -> a) a -> data -> Extended a - = /\a -> - \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Extended a} - (equalsInteger 0 index) - (/\dead -> NegInf {a}) - (/\dead -> - ifThenElse - {all dead. Extended a} - (equalsInteger 1 index) - (/\dead -> - Finite {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> - ifThenElse - {all dead. Extended a} - (equalsInteger 2 index) - (/\dead -> PosInf {a}) - (/\dead -> traceError {Extended a} reconstructCaseError) - {all dead. dead}) - {all dead. dead}) - {all dead. dead} !`$fUnsafeFromDataList_$cunsafeFromBuiltinData` : all a. (\a -> data -> a) a -> data -> List a = /\a -> @@ -127,6 +67,10 @@ Unit in \(d : data) -> go (unListData d) + !reconstructCaseError : string = "PT1" + !traceError : all a. string -> a + = /\a -> + \(str : string) -> let !x : Unit = trace {Unit} str Unit in error {a} !`$fUnsafeFromDataTxId_$cunsafeFromBuiltinData` : data -> bytestring = \(d : data) -> let @@ -160,6 +104,530 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {GovernanceActionId} reconstructCaseError) {all dead. dead} + !`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` : data -> Credential + = \(d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Credential} + (equalsInteger 0 index) + (/\dead -> PubKeyCredential (unBData (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. Credential} + (equalsInteger 1 index) + (/\dead -> ScriptCredential (unBData (headList {data} args))) + (/\dead -> traceError {Credential} reconstructCaseError) + {all dead. dead}) + {all dead. dead} + !`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` : + all a. (\a -> data -> a) a -> data -> Maybe a + = /\a -> + \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Maybe a} + (equalsInteger 1 index) + (/\dead -> Nothing {a}) + (/\dead -> + ifThenElse + {all dead. Maybe a} + (equalsInteger 0 index) + (/\dead -> + Just {a} (`$dUnsafeFromData` (headList {data} args))) + (/\dead -> traceError {Maybe a} reconstructCaseError) + {all dead. dead}) + {all dead. dead} + !`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` : + all k v. + (\a -> data -> a) k -> + (\a -> data -> a) v -> + data -> + (\k v -> List (Tuple2 k v)) k v + = /\k v -> + \(`$dUnsafeFromData` : (\a -> data -> a) k) + (`$dUnsafeFromData` : (\a -> data -> a) v) -> + letrec + !go : list (pair data data) -> List (Tuple2 k v) + = \(l : list (pair data data)) -> + chooseList + {pair data data} + {Unit -> List (Tuple2 k v)} + l + (\(ds : Unit) -> Nil {Tuple2 k v}) + (\(ds : Unit) -> + let + !tup : pair data data = headList {pair data data} l + in + Cons + {Tuple2 k v} + (Tuple2 + {k} + {v} + (`$dUnsafeFromData` (fstPair {data} {data} tup)) + (`$dUnsafeFromData` (sndPair {data} {data} tup))) + (go (tailList {pair data data} l))) + Unit + in + \(d : data) -> go (unMapData d) + ~`$fUnsafeFromDataValue` : + data -> (\k v -> List (Tuple2 k v)) bytestring integer + = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {bytestring} + {integer} + unBData + unIData + ~`$fUnsafeFromDataValue` : + data -> + (\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) bytestring integer) + = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {bytestring} + {(\k v -> List (Tuple2 k v)) bytestring integer} + unBData + `$fUnsafeFromDataValue` + data Rational | Rational_match where + Rational : integer -> integer -> Rational + data Committee | Committee_match where + Committee : + (\k v -> List (Tuple2 k v)) Credential integer -> Rational -> Committee + data ProtocolVersion | ProtocolVersion_match where + ProtocolVersion : integer -> integer -> ProtocolVersion + data GovernanceAction | GovernanceAction_match where + HardForkInitiation : + Maybe GovernanceActionId -> ProtocolVersion -> GovernanceAction + InfoAction : GovernanceAction + NewCommittee : + Maybe GovernanceActionId -> + List Credential -> + Committee -> + GovernanceAction + NewConstitution : + Maybe GovernanceActionId -> Maybe bytestring -> GovernanceAction + NoConfidence : Maybe GovernanceActionId -> GovernanceAction + ParameterChange : Maybe GovernanceActionId -> data -> GovernanceAction + TreasuryWithdrawals : + (\k v -> List (Tuple2 k v)) + Credential + ((\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) bytestring integer)) -> + GovernanceAction + data ProposalProcedure | ProposalProcedure_match where + ProposalProcedure : + (\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) bytestring integer) -> + Credential -> + GovernanceAction -> + ProposalProcedure + !`$fAdditiveMonoidInteger_$czero` : integer = 0 + in + letrec + !euclid : integer -> integer -> integer + = \(x : integer) (y : integer) -> + ifThenElse + {all dead. integer} + (equalsInteger y `$fAdditiveMonoidInteger_$czero`) + (/\dead -> x) + (/\dead -> euclid y (modInteger x y)) + {all dead. dead} + in + letrec + !unsafeRatio : integer -> integer -> Rational + = \(n : integer) (d : integer) -> + ifThenElse + {all dead. Rational} + (equalsInteger d `$fAdditiveMonoidInteger_$czero`) + (/\dead -> error {Rational}) + (/\dead -> + ifThenElse + {all dead. Rational} + (lessThanInteger d `$fAdditiveMonoidInteger_$czero`) + (/\dead -> + unsafeRatio + (subtractInteger `$fAdditiveMonoidInteger_$czero` n) + (subtractInteger `$fAdditiveMonoidInteger_$czero` d)) + (/\dead -> + let + !gcd' : integer = euclid n d + in + Rational (quotientInteger n gcd') (quotientInteger d gcd')) + {all dead. dead}) + {all dead. dead} + in + letrec + !go : + list data -> List ProposalProcedure + = \(l : list data) -> + chooseList + {data} + {Unit -> List ProposalProcedure} + l + (\(ds : Unit) -> Nil {ProposalProcedure}) + (\(ds : Unit) -> + Cons + {ProposalProcedure} + (let + !tup : pair integer (list data) + = unConstrData (headList {data} l) + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. ProposalProcedure} + (equalsInteger 0 index) + (/\dead -> + let + !l : list data = tailList {data} args + in + ProposalProcedure + (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {bytestring} + {(\k v -> List (Tuple2 k v)) bytestring integer} + unBData + `$fUnsafeFromDataValue` + (headList {data} args)) + (`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + (headList {data} l)) + (let + !tup : pair integer (list data) + = unConstrData (headList {data} (tailList {data} l)) + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 0 index) + (/\dead -> + ParameterChange + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args)) + (headList {data} (tailList {data} args))) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 1 index) + (/\dead -> + HardForkInitiation + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args)) + (let + !tup : pair integer (list data) + = unConstrData + (headList + {data} + (tailList {data} args)) + !index : integer + = fstPair {integer} {list data} tup + !args : list data + = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. ProtocolVersion} + (equalsInteger 0 index) + (/\dead -> + ProtocolVersion + (unIData (headList {data} args)) + (unIData + (headList + {data} + (tailList {data} args)))) + (/\dead -> + traceError + {ProtocolVersion} + reconstructCaseError) + {all dead. dead})) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 2 index) + (/\dead -> + TreasuryWithdrawals + (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {Credential} + {(\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) + bytestring + integer)} + `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + `$fUnsafeFromDataValue` + (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 3 index) + (/\dead -> + NoConfidence + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 4 index) + (/\dead -> + let + !l : list data + = tailList {data} args + in + NewCommittee + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args)) + (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` + {Credential} + `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + (headList {data} l)) + (let + !tup : + pair integer (list data) + = unConstrData + (headList + {data} + (tailList + {data} + l)) + !index : integer + = fstPair + {integer} + {list data} + tup + !args : list data + = sndPair + {integer} + {list data} + tup + in + ifThenElse + {all dead. Committee} + (equalsInteger 0 index) + (/\dead -> + Committee + (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {Credential} + {integer} + `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + unIData + (headList + {data} + args)) + (let + !x : data + = headList + {data} + (tailList + {data} + args) + in + Tuple2_match + {integer} + {integer} + (let + !tup : + pair + integer + (list data) + = unConstrData x + !index : integer + = fstPair + {integer} + {list data} + tup + !args : list data + = sndPair + {integer} + {list data} + tup + in + ifThenElse + {all dead. + Tuple2 + integer + integer} + (equalsInteger + 0 + index) + (/\dead -> + Tuple2 + {integer} + {integer} + (unIData + (headList + {data} + args)) + (unIData + (headList + {data} + (tailList + {data} + args)))) + (/\dead -> + traceError + {Tuple2 + integer + integer} + reconstructCaseError) + {all dead. dead}) + {Rational} + (\(a : integer) + (b : integer) -> + unsafeRatio + a + b))) + (/\dead -> + traceError + {Committee} + reconstructCaseError) + {all dead. dead})) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 5 index) + (/\dead -> + NewConstitution + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList + {data} + args)) + (let + !tup : + pair + integer + (list data) + = unConstrData + (headList + {data} + (tailList + {data} + args)) + !index : integer + = fstPair + {integer} + {list data} + tup + !args : list data + = sndPair + {integer} + {list data} + tup + in + ifThenElse + {all dead. + Maybe bytestring} + (equalsInteger + 0 + index) + (/\dead -> + `$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {bytestring} + unBData + (headList + {data} + args)) + (/\dead -> + traceError + {Maybe + bytestring} + reconstructCaseError) + {all dead. dead})) + (/\dead -> + ifThenElse + {all dead. + GovernanceAction} + (equalsInteger 6 index) + (/\dead -> InfoAction) + (/\dead -> + traceError + {GovernanceAction} + reconstructCaseError) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead})) + (/\dead -> + traceError {ProposalProcedure} reconstructCaseError) + {all dead. dead}) + (go (tailList {data} l))) + Unit + in + let + !`$fUnsafeFromDataBuiltinData_$cunsafeFromBuiltinData` : data -> data + = \(d : data) -> d + data Bool | Bool_match where + True : Bool + False : Bool + !`$fUnsafeFromDataBool_$cunsafeFromBuiltinData` : data -> Bool + = \(d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Bool} + (equalsInteger 0 index) + (/\dead -> False) + (/\dead -> + ifThenElse + {all dead. Bool} + (equalsInteger 1 index) + (/\dead -> True) + (/\dead -> traceError {Bool} reconstructCaseError) + {all dead. dead}) + {all dead. dead} + data (Extended :: * -> *) a | Extended_match where + Finite : a -> Extended a + NegInf : Extended a + PosInf : Extended a + !`$fUnsafeFromDataExtended_$cunsafeFromBuiltinData` : + all a. (\a -> data -> a) a -> data -> Extended a + = /\a -> + \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Extended a} + (equalsInteger 0 index) + (/\dead -> NegInf {a}) + (/\dead -> + ifThenElse + {all dead. Extended a} + (equalsInteger 1 index) + (/\dead -> + Finite {a} (`$dUnsafeFromData` (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. Extended a} + (equalsInteger 2 index) + (/\dead -> PosInf {a}) + (/\dead -> traceError {Extended a} reconstructCaseError) + {all dead. dead}) + {all dead. dead}) + {all dead. dead} data TxOutRef | TxOutRef_match where TxOutRef : bytestring -> integer -> TxOutRef !`$fUnsafeFromDataTxOutRef_$cunsafeFromBuiltinData` : data -> TxOutRef @@ -179,25 +647,6 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {TxOutRef} reconstructCaseError) {all dead. dead} - !`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` : data -> Credential - = \(d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Credential} - (equalsInteger 0 index) - (/\dead -> PubKeyCredential (unBData (headList {data} args))) - (/\dead -> - ifThenElse - {all dead. Credential} - (equalsInteger 1 index) - (/\dead -> ScriptCredential (unBData (headList {data} args))) - (/\dead -> traceError {Credential} reconstructCaseError) - {all dead. dead}) - {all dead. dead} data DRep | DRep_match where DRep : Credential -> DRep DRepAlwaysAbstain : DRep @@ -266,77 +715,6 @@ {all dead. dead}) {all dead. dead}) {all dead. dead} - !`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` : - all a. (\a -> data -> a) a -> data -> Maybe a - = /\a -> - \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Maybe a} - (equalsInteger 1 index) - (/\dead -> Nothing {a}) - (/\dead -> - ifThenElse - {all dead. Maybe a} - (equalsInteger 0 index) - (/\dead -> - Just {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> traceError {Maybe a} reconstructCaseError) - {all dead. dead}) - {all dead. dead} - !`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` : - all k v. - (\a -> data -> a) k -> - (\a -> data -> a) v -> - data -> - (\k v -> List (Tuple2 k v)) k v - = /\k v -> - \(`$dUnsafeFromData` : (\a -> data -> a) k) - (`$dUnsafeFromData` : (\a -> data -> a) v) -> - letrec - !go : list (pair data data) -> List (Tuple2 k v) - = \(l : list (pair data data)) -> - chooseList - {pair data data} - {Unit -> List (Tuple2 k v)} - l - (\(ds : Unit) -> Nil {Tuple2 k v}) - (\(ds : Unit) -> - let - !tup : pair data data = headList {pair data data} l - in - Cons - {Tuple2 k v} - (Tuple2 - {k} - {v} - (`$dUnsafeFromData` (fstPair {data} {data} tup)) - (`$dUnsafeFromData` (sndPair {data} {data} tup))) - (go (tailList {pair data data} l))) - Unit - in - \(d : data) -> go (unMapData d) - ~`$fUnsafeFromDataValue` : - data -> (\k v -> List (Tuple2 k v)) bytestring integer - = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {bytestring} - {integer} - unBData - unIData - ~`$fUnsafeFromDataValue` : - data -> - (\k v -> List (Tuple2 k v)) - bytestring - ((\k v -> List (Tuple2 k v)) bytestring integer) - = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {bytestring} - {(\k v -> List (Tuple2 k v)) bytestring integer} - unBData - `$fUnsafeFromDataValue` data TxCert | TxCert_match where TxCertAuthHotCommittee : Credential -> Credential -> TxCert TxCertDelegStaking : Credential -> Delegatee -> TxCert @@ -803,41 +1181,6 @@ UpperBound : Extended a -> Bool -> UpperBound a data (Interval :: * -> *) a | Interval_match where Interval : LowerBound a -> UpperBound a -> Interval a - data Rational | Rational_match where - Rational : integer -> integer -> Rational - data Committee | Committee_match where - Committee : - (\k v -> List (Tuple2 k v)) Credential integer -> Rational -> Committee - data ProtocolVersion | ProtocolVersion_match where - ProtocolVersion : integer -> integer -> ProtocolVersion - data GovernanceAction | GovernanceAction_match where - HardForkInitiation : - Maybe GovernanceActionId -> ProtocolVersion -> GovernanceAction - InfoAction : GovernanceAction - NewCommittee : - Maybe GovernanceActionId -> - List Credential -> - Committee -> - GovernanceAction - NewConstitution : - Maybe GovernanceActionId -> Maybe bytestring -> GovernanceAction - NoConfidence : Maybe GovernanceActionId -> GovernanceAction - ParameterChange : Maybe GovernanceActionId -> data -> GovernanceAction - TreasuryWithdrawals : - (\k v -> List (Tuple2 k v)) - Credential - ((\k v -> List (Tuple2 k v)) - bytestring - ((\k v -> List (Tuple2 k v)) bytestring integer)) -> - GovernanceAction - data ProposalProcedure | ProposalProcedure_match where - ProposalProcedure : - (\k v -> List (Tuple2 k v)) - bytestring - ((\k v -> List (Tuple2 k v)) bytestring integer) -> - Credential -> - GovernanceAction -> - ProposalProcedure data Vote | Vote_match where Abstain : Vote VoteNo : Vote @@ -875,40 +1218,6 @@ TxInfo data ScriptContext | ScriptContext_match where ScriptContext : TxInfo -> ScriptPurpose -> ScriptContext - !`$fAdditiveMonoidInteger_$czero` : integer = 0 - in - letrec - !euclid : integer -> integer -> integer - = \(x : integer) (y : integer) -> - ifThenElse - {all dead. integer} - (equalsInteger y `$fAdditiveMonoidInteger_$czero`) - (/\dead -> x) - (/\dead -> euclid y (modInteger x y)) - {all dead. dead} - in - letrec - !unsafeRatio : integer -> integer -> Rational - = \(n : integer) (d : integer) -> - ifThenElse - {all dead. Rational} - (equalsInteger d `$fAdditiveMonoidInteger_$czero`) - (/\dead -> error {Rational}) - (/\dead -> - ifThenElse - {all dead. Rational} - (lessThanInteger d `$fAdditiveMonoidInteger_$czero`) - (/\dead -> - unsafeRatio - (subtractInteger `$fAdditiveMonoidInteger_$czero` n) - (subtractInteger `$fAdditiveMonoidInteger_$czero` d)) - (/\dead -> - let - !gcd' : integer = euclid n d - in - Rational (quotientInteger n gcd') (quotientInteger d gcd')) - {all dead. dead}) - {all dead. dead} in \(d : data) -> ScriptContext_match @@ -1105,361 +1414,10 @@ {all dead. dead}) {all dead. dead})) (headList {data} l)) - (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` - {ProposalProcedure} - (\(d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data - = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. ProposalProcedure} - (equalsInteger 0 index) - (/\dead -> - let - !l : list data = tailList {data} args - in - ProposalProcedure - (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {bytestring} - {(\k v -> List (Tuple2 k v)) - bytestring - integer} - unBData - `$fUnsafeFromDataValue` - (headList {data} args)) - (`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - (headList {data} l)) - (let - !tup : pair integer (list data) - = unConstrData - (headList {data} (tailList {data} l)) - !index : integer - = fstPair {integer} {list data} tup - !args : list data - = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 0 index) - (/\dead -> - ParameterChange - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList {data} args)) - (headList - {data} - (tailList {data} args))) - (/\dead -> - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 1 index) - (/\dead -> - HardForkInitiation - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList {data} args)) - (let - !tup : pair integer (list data) - = unConstrData - (headList - {data} - (tailList {data} args)) - !index : integer - = fstPair - {integer} - {list data} - tup - !args : list data - = sndPair - {integer} - {list data} - tup - in - ifThenElse - {all dead. ProtocolVersion} - (equalsInteger 0 index) - (/\dead -> - ProtocolVersion - (unIData - (headList {data} args)) - (unIData - (headList - {data} - (tailList - {data} - args)))) - (/\dead -> - traceError - {ProtocolVersion} - reconstructCaseError) - {all dead. dead})) - (/\dead -> - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 2 index) - (/\dead -> - TreasuryWithdrawals - (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {Credential} - {(\k v -> - List (Tuple2 k v)) - bytestring - ((\k v -> - List (Tuple2 k v)) - bytestring - integer)} - `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - `$fUnsafeFromDataValue` - (headList {data} args))) - (/\dead -> - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 3 index) - (/\dead -> - NoConfidence - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList - {data} - args))) - (/\dead -> - ifThenElse - {all dead. - GovernanceAction} - (equalsInteger 4 index) - (/\dead -> - let - !l : list data - = tailList - {data} - args - in - NewCommittee - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList - {data} - args)) - (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` - {Credential} - `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - (headList - {data} - l)) - (let - !tup : - pair - integer - (list data) - = unConstrData - (headList - {data} - (tailList - {data} - l)) - !index : integer - = fstPair - {integer} - {list data} - tup - !args : list data - = sndPair - {integer} - {list data} - tup - in - ifThenElse - {all dead. - Committee} - (equalsInteger - 0 - index) - (/\dead -> - Committee - (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {Credential} - {integer} - `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - unIData - (headList - {data} - args)) - (let - !x : - data - = headList - {data} - (tailList - {data} - args) - in - Tuple2_match - {integer} - {integer} - (let - !tup : - pair - integer - (list - data) - = unConstrData - x - !index : - integer - = fstPair - {integer} - {list - data} - tup - !args : - list - data - = sndPair - {integer} - {list - data} - tup - in - ifThenElse - {all dead. - Tuple2 - integer - integer} - (equalsInteger - 0 - index) - (/\dead -> - Tuple2 - {integer} - {integer} - (unIData - (headList - {data} - args)) - (unIData - (headList - {data} - (tailList - {data} - args)))) - (/\dead -> - traceError - {Tuple2 - integer - integer} - reconstructCaseError) - {all dead. - dead}) - {Rational} - (\(a : - integer) - (b : - integer) -> - unsafeRatio - a - b))) - (/\dead -> - traceError - {Committee} - reconstructCaseError) - {all dead. dead})) - (/\dead -> - ifThenElse - {all dead. - GovernanceAction} - (equalsInteger - 5 - index) - (/\dead -> - NewConstitution - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList - {data} - args)) - (let - !tup : - pair - integer - (list - data) - = unConstrData - (headList - {data} - (tailList - {data} - args)) - !index : - integer - = fstPair - {integer} - {list - data} - tup - !args : - list data - = sndPair - {integer} - {list - data} - tup - in - ifThenElse - {all dead. - Maybe - bytestring} - (equalsInteger - 0 - index) - (/\dead -> - `$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {bytestring} - unBData - (headList - {data} - args)) - (/\dead -> - traceError - {Maybe - bytestring} - reconstructCaseError) - {all dead. - dead})) - (/\dead -> - ifThenElse - {all dead. - GovernanceAction} - (equalsInteger - 6 - index) - (/\dead -> - InfoAction) - (/\dead -> - traceError - {GovernanceAction} - reconstructCaseError) - {all dead. - dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead})) - (/\dead -> - traceError - {ProposalProcedure} - reconstructCaseError) - {all dead. dead}) - (headList {data} l)) + (let + !d : data = headList {data} l + in + go (unListData d)) (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` {(\k v -> List (Tuple2 k v)) bytestring diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden index 4b9661fc97b..4de13e8abe6 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden @@ -1 +1 @@ -2829 \ No newline at end of file +2903 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden index a9f6112f81a..a90e5438bba 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.eval.golden @@ -1,2 +1,2 @@ -({cpu: 368842597 -| mem: 1139952}) \ No newline at end of file +({cpu: 352121597 +| mem: 1067252}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden index 2014e24d50b..d92f185ad6b 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.eval.golden @@ -1,2 +1,2 @@ -({cpu: 112102997 -| mem: 350960}) \ No newline at end of file +({cpu: 109365997 +| mem: 339060}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden index aead50dfeba..eb8eb451ec8 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden @@ -1,73 +1,11 @@ -(let - !`$fUnsafeFromDataBuiltinData_$cunsafeFromBuiltinData` : data -> data - = \(d : data) -> d - !reconstructCaseError : string = "PT1" - data Unit | Unit_match where - Unit : Unit - !traceError : all a. string -> a - = /\a -> - \(str : string) -> let !x : Unit = trace {Unit} str Unit in error {a} - data Bool | Bool_match where - True : Bool - False : Bool - !`$fUnsafeFromDataBool_$cunsafeFromBuiltinData` : data -> Bool - = \(d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Bool} - (equalsInteger 0 index) - (/\dead -> False) - (/\dead -> - ifThenElse - {all dead. Bool} - (equalsInteger 1 index) - (/\dead -> True) - (/\dead -> traceError {Bool} reconstructCaseError) - {all dead. dead}) - {all dead. dead} - data (Extended :: * -> *) a | Extended_match where - Finite : a -> Extended a - NegInf : Extended a - PosInf : Extended a - !`$fUnsafeFromDataExtended_$cunsafeFromBuiltinData` : - all a. (\a -> data -> a) a -> data -> Extended a - = /\a -> - \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Extended a} - (equalsInteger 0 index) - (/\dead -> NegInf {a}) - (/\dead -> - ifThenElse - {all dead. Extended a} - (equalsInteger 1 index) - (/\dead -> - Finite {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> - ifThenElse - {all dead. Extended a} - (equalsInteger 2 index) - (/\dead -> PosInf {a}) - (/\dead -> traceError {Extended a} reconstructCaseError) - {all dead. dead}) - {all dead. dead}) - {all dead. dead} - in - letrec +(letrec data (List :: * -> *) a | List_match where Nil : List a Cons : a -> List a -> List a in let + data Unit | Unit_match where + Unit : Unit !`$fUnsafeFromDataList_$cunsafeFromBuiltinData` : all a. (\a -> data -> a) a -> data -> List a = /\a -> @@ -88,6 +26,10 @@ Unit in \(d : data) -> go (unListData d) + !reconstructCaseError : string = "PT1" + !traceError : all a. string -> a + = /\a -> + \(str : string) -> let !x : Unit = trace {Unit} str Unit in error {a} !`$fUnsafeFromDataTxId_$cunsafeFromBuiltinData` : data -> bytestring = \(d : data) -> let @@ -121,6 +63,538 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {GovernanceActionId} reconstructCaseError) {all dead. dead} + data Credential | Credential_match where + PubKeyCredential : bytestring -> Credential + ScriptCredential : bytestring -> Credential + !`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` : data -> Credential + = \(d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Credential} + (equalsInteger 0 index) + (/\dead -> PubKeyCredential (unBData (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. Credential} + (equalsInteger 1 index) + (/\dead -> ScriptCredential (unBData (headList {data} args))) + (/\dead -> traceError {Credential} reconstructCaseError) + {all dead. dead}) + {all dead. dead} + data (Maybe :: * -> *) a | Maybe_match where + Just : a -> Maybe a + Nothing : Maybe a + !`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` : + all a. (\a -> data -> a) a -> data -> Maybe a + = /\a -> + \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Maybe a} + (equalsInteger 1 index) + (/\dead -> Nothing {a}) + (/\dead -> + ifThenElse + {all dead. Maybe a} + (equalsInteger 0 index) + (/\dead -> + Just {a} (`$dUnsafeFromData` (headList {data} args))) + (/\dead -> traceError {Maybe a} reconstructCaseError) + {all dead. dead}) + {all dead. dead} + data (Tuple2 :: * -> * -> *) a b | Tuple2_match where + Tuple2 : a -> b -> Tuple2 a b + !`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` : + all k v. + (\a -> data -> a) k -> + (\a -> data -> a) v -> + data -> + (\k v -> List (Tuple2 k v)) k v + = /\k v -> + \(`$dUnsafeFromData` : (\a -> data -> a) k) + (`$dUnsafeFromData` : (\a -> data -> a) v) -> + letrec + !go : list (pair data data) -> List (Tuple2 k v) + = \(l : list (pair data data)) -> + chooseList + {pair data data} + {Unit -> List (Tuple2 k v)} + l + (\(ds : Unit) -> Nil {Tuple2 k v}) + (\(ds : Unit) -> + let + !tup : pair data data = headList {pair data data} l + in + Cons + {Tuple2 k v} + (Tuple2 + {k} + {v} + (`$dUnsafeFromData` (fstPair {data} {data} tup)) + (`$dUnsafeFromData` (sndPair {data} {data} tup))) + (go (tailList {pair data data} l))) + Unit + in + \(d : data) -> go (unMapData d) + ~`$fUnsafeFromDataValue` : + data -> (\k v -> List (Tuple2 k v)) bytestring integer + = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {bytestring} + {integer} + unBData + unIData + ~`$fUnsafeFromDataValue` : + data -> + (\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) bytestring integer) + = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {bytestring} + {(\k v -> List (Tuple2 k v)) bytestring integer} + unBData + `$fUnsafeFromDataValue` + data Rational | Rational_match where + Rational : integer -> integer -> Rational + data Committee | Committee_match where + Committee : + (\k v -> List (Tuple2 k v)) Credential integer -> Rational -> Committee + data ProtocolVersion | ProtocolVersion_match where + ProtocolVersion : integer -> integer -> ProtocolVersion + data GovernanceAction | GovernanceAction_match where + HardForkInitiation : + Maybe GovernanceActionId -> ProtocolVersion -> GovernanceAction + InfoAction : GovernanceAction + NewCommittee : + Maybe GovernanceActionId -> + List Credential -> + Committee -> + GovernanceAction + NewConstitution : + Maybe GovernanceActionId -> Maybe bytestring -> GovernanceAction + NoConfidence : Maybe GovernanceActionId -> GovernanceAction + ParameterChange : Maybe GovernanceActionId -> data -> GovernanceAction + TreasuryWithdrawals : + (\k v -> List (Tuple2 k v)) + Credential + ((\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) bytestring integer)) -> + GovernanceAction + data ProposalProcedure | ProposalProcedure_match where + ProposalProcedure : + (\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) bytestring integer) -> + Credential -> + GovernanceAction -> + ProposalProcedure + !`$fAdditiveMonoidInteger_$czero` : integer = 0 + in + letrec + !euclid : integer -> integer -> integer + = \(x : integer) (y : integer) -> + ifThenElse + {all dead. integer} + (equalsInteger y `$fAdditiveMonoidInteger_$czero`) + (/\dead -> x) + (/\dead -> euclid y (modInteger x y)) + {all dead. dead} + in + letrec + !unsafeRatio : integer -> integer -> Rational + = \(n : integer) (d : integer) -> + ifThenElse + {all dead. Rational} + (equalsInteger d `$fAdditiveMonoidInteger_$czero`) + (/\dead -> error {Rational}) + (/\dead -> + ifThenElse + {all dead. Rational} + (lessThanInteger d `$fAdditiveMonoidInteger_$czero`) + (/\dead -> + unsafeRatio + (subtractInteger `$fAdditiveMonoidInteger_$czero` n) + (subtractInteger `$fAdditiveMonoidInteger_$czero` d)) + (/\dead -> + let + !gcd' : integer = euclid n d + in + Rational (quotientInteger n gcd') (quotientInteger d gcd')) + {all dead. dead}) + {all dead. dead} + in + letrec + !go : + list data -> List ProposalProcedure + = \(l : list data) -> + chooseList + {data} + {Unit -> List ProposalProcedure} + l + (\(ds : Unit) -> Nil {ProposalProcedure}) + (\(ds : Unit) -> + Cons + {ProposalProcedure} + (let + !tup : pair integer (list data) + = unConstrData (headList {data} l) + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. ProposalProcedure} + (equalsInteger 0 index) + (/\dead -> + let + !l : list data = tailList {data} args + in + ProposalProcedure + (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {bytestring} + {(\k v -> List (Tuple2 k v)) bytestring integer} + unBData + `$fUnsafeFromDataValue` + (headList {data} args)) + (`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + (headList {data} l)) + (let + !tup : pair integer (list data) + = unConstrData (headList {data} (tailList {data} l)) + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 0 index) + (/\dead -> + ParameterChange + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args)) + (headList {data} (tailList {data} args))) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 1 index) + (/\dead -> + HardForkInitiation + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args)) + (let + !tup : pair integer (list data) + = unConstrData + (headList + {data} + (tailList {data} args)) + !index : integer + = fstPair {integer} {list data} tup + !args : list data + = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. ProtocolVersion} + (equalsInteger 0 index) + (/\dead -> + ProtocolVersion + (unIData (headList {data} args)) + (unIData + (headList + {data} + (tailList {data} args)))) + (/\dead -> + traceError + {ProtocolVersion} + reconstructCaseError) + {all dead. dead})) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 2 index) + (/\dead -> + TreasuryWithdrawals + (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {Credential} + {(\k v -> List (Tuple2 k v)) + bytestring + ((\k v -> List (Tuple2 k v)) + bytestring + integer)} + `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + `$fUnsafeFromDataValue` + (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 3 index) + (/\dead -> + NoConfidence + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 4 index) + (/\dead -> + let + !l : list data + = tailList {data} args + in + NewCommittee + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList {data} args)) + (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` + {Credential} + `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + (headList {data} l)) + (let + !tup : + pair integer (list data) + = unConstrData + (headList + {data} + (tailList + {data} + l)) + !index : integer + = fstPair + {integer} + {list data} + tup + !args : list data + = sndPair + {integer} + {list data} + tup + in + ifThenElse + {all dead. Committee} + (equalsInteger 0 index) + (/\dead -> + Committee + (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` + {Credential} + {integer} + `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` + unIData + (headList + {data} + args)) + (let + !x : data + = headList + {data} + (tailList + {data} + args) + in + Tuple2_match + {integer} + {integer} + (let + !tup : + pair + integer + (list data) + = unConstrData x + !index : integer + = fstPair + {integer} + {list data} + tup + !args : list data + = sndPair + {integer} + {list data} + tup + in + ifThenElse + {all dead. + Tuple2 + integer + integer} + (equalsInteger + 0 + index) + (/\dead -> + Tuple2 + {integer} + {integer} + (unIData + (headList + {data} + args)) + (unIData + (headList + {data} + (tailList + {data} + args)))) + (/\dead -> + traceError + {Tuple2 + integer + integer} + reconstructCaseError) + {all dead. dead}) + {Rational} + (\(a : integer) + (b : integer) -> + unsafeRatio + a + b))) + (/\dead -> + traceError + {Committee} + reconstructCaseError) + {all dead. dead})) + (/\dead -> + ifThenElse + {all dead. GovernanceAction} + (equalsInteger 5 index) + (/\dead -> + NewConstitution + (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {GovernanceActionId} + `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` + (headList + {data} + args)) + (let + !tup : + pair + integer + (list data) + = unConstrData + (headList + {data} + (tailList + {data} + args)) + !index : integer + = fstPair + {integer} + {list data} + tup + !args : list data + = sndPair + {integer} + {list data} + tup + in + ifThenElse + {all dead. + Maybe bytestring} + (equalsInteger + 0 + index) + (/\dead -> + `$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` + {bytestring} + unBData + (headList + {data} + args)) + (/\dead -> + traceError + {Maybe + bytestring} + reconstructCaseError) + {all dead. dead})) + (/\dead -> + ifThenElse + {all dead. + GovernanceAction} + (equalsInteger 6 index) + (/\dead -> InfoAction) + (/\dead -> + traceError + {GovernanceAction} + reconstructCaseError) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead}) + {all dead. dead})) + (/\dead -> + traceError {ProposalProcedure} reconstructCaseError) + {all dead. dead}) + (go (tailList {data} l))) + Unit + in + let + !`$fUnsafeFromDataBuiltinData_$cunsafeFromBuiltinData` : data -> data + = \(d : data) -> d + data Bool | Bool_match where + True : Bool + False : Bool + !`$fUnsafeFromDataBool_$cunsafeFromBuiltinData` : data -> Bool + = \(d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Bool} + (equalsInteger 0 index) + (/\dead -> False) + (/\dead -> + ifThenElse + {all dead. Bool} + (equalsInteger 1 index) + (/\dead -> True) + (/\dead -> traceError {Bool} reconstructCaseError) + {all dead. dead}) + {all dead. dead} + data (Extended :: * -> *) a | Extended_match where + Finite : a -> Extended a + NegInf : Extended a + PosInf : Extended a + !`$fUnsafeFromDataExtended_$cunsafeFromBuiltinData` : + all a. (\a -> data -> a) a -> data -> Extended a + = /\a -> + \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> + let + !tup : pair integer (list data) = unConstrData d + !index : integer = fstPair {integer} {list data} tup + !args : list data = sndPair {integer} {list data} tup + in + ifThenElse + {all dead. Extended a} + (equalsInteger 0 index) + (/\dead -> NegInf {a}) + (/\dead -> + ifThenElse + {all dead. Extended a} + (equalsInteger 1 index) + (/\dead -> + Finite {a} (`$dUnsafeFromData` (headList {data} args))) + (/\dead -> + ifThenElse + {all dead. Extended a} + (equalsInteger 2 index) + (/\dead -> PosInf {a}) + (/\dead -> traceError {Extended a} reconstructCaseError) + {all dead. dead}) + {all dead. dead}) + {all dead. dead} data TxOutRef | TxOutRef_match where TxOutRef : bytestring -> integer -> TxOutRef !`$fUnsafeFromDataTxOutRef_$cunsafeFromBuiltinData` : data -> TxOutRef @@ -140,28 +614,6 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {TxOutRef} reconstructCaseError) {all dead. dead} - data Credential | Credential_match where - PubKeyCredential : bytestring -> Credential - ScriptCredential : bytestring -> Credential - !`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` : data -> Credential - = \(d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Credential} - (equalsInteger 0 index) - (/\dead -> PubKeyCredential (unBData (headList {data} args))) - (/\dead -> - ifThenElse - {all dead. Credential} - (equalsInteger 1 index) - (/\dead -> ScriptCredential (unBData (headList {data} args))) - (/\dead -> traceError {Credential} reconstructCaseError) - {all dead. dead}) - {all dead. dead} data DRep | DRep_match where DRep : Credential -> DRep DRepAlwaysAbstain : DRep @@ -230,82 +682,6 @@ {all dead. dead}) {all dead. dead}) {all dead. dead} - data (Maybe :: * -> *) a | Maybe_match where - Just : a -> Maybe a - Nothing : Maybe a - !`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` : - all a. (\a -> data -> a) a -> data -> Maybe a - = /\a -> - \(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer = fstPair {integer} {list data} tup - !args : list data = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. Maybe a} - (equalsInteger 1 index) - (/\dead -> Nothing {a}) - (/\dead -> - ifThenElse - {all dead. Maybe a} - (equalsInteger 0 index) - (/\dead -> - Just {a} (`$dUnsafeFromData` (headList {data} args))) - (/\dead -> traceError {Maybe a} reconstructCaseError) - {all dead. dead}) - {all dead. dead} - data (Tuple2 :: * -> * -> *) a b | Tuple2_match where - Tuple2 : a -> b -> Tuple2 a b - !`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` : - all k v. - (\a -> data -> a) k -> - (\a -> data -> a) v -> - data -> - (\k v -> List (Tuple2 k v)) k v - = /\k v -> - \(`$dUnsafeFromData` : (\a -> data -> a) k) - (`$dUnsafeFromData` : (\a -> data -> a) v) -> - letrec - !go : list (pair data data) -> List (Tuple2 k v) - = \(l : list (pair data data)) -> - chooseList - {pair data data} - {Unit -> List (Tuple2 k v)} - l - (\(ds : Unit) -> Nil {Tuple2 k v}) - (\(ds : Unit) -> - let - !tup : pair data data = headList {pair data data} l - in - Cons - {Tuple2 k v} - (Tuple2 - {k} - {v} - (`$dUnsafeFromData` (fstPair {data} {data} tup)) - (`$dUnsafeFromData` (sndPair {data} {data} tup))) - (go (tailList {pair data data} l))) - Unit - in - \(d : data) -> go (unMapData d) - ~`$fUnsafeFromDataValue` : - data -> (\k v -> List (Tuple2 k v)) bytestring integer - = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {bytestring} - {integer} - unBData - unIData - ~`$fUnsafeFromDataValue` : - data -> - (\k v -> List (Tuple2 k v)) - bytestring - ((\k v -> List (Tuple2 k v)) bytestring integer) - = `$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {bytestring} - {(\k v -> List (Tuple2 k v)) bytestring integer} - unBData - `$fUnsafeFromDataValue` data TxCert | TxCert_match where TxCertAuthHotCommittee : Credential -> Credential -> TxCert TxCertDelegStaking : Credential -> Delegatee -> TxCert @@ -790,41 +1166,6 @@ UpperBound : Extended a -> Bool -> UpperBound a data (Interval :: * -> *) a | Interval_match where Interval : LowerBound a -> UpperBound a -> Interval a - data Rational | Rational_match where - Rational : integer -> integer -> Rational - data Committee | Committee_match where - Committee : - (\k v -> List (Tuple2 k v)) Credential integer -> Rational -> Committee - data ProtocolVersion | ProtocolVersion_match where - ProtocolVersion : integer -> integer -> ProtocolVersion - data GovernanceAction | GovernanceAction_match where - HardForkInitiation : - Maybe GovernanceActionId -> ProtocolVersion -> GovernanceAction - InfoAction : GovernanceAction - NewCommittee : - Maybe GovernanceActionId -> - List Credential -> - Committee -> - GovernanceAction - NewConstitution : - Maybe GovernanceActionId -> Maybe bytestring -> GovernanceAction - NoConfidence : Maybe GovernanceActionId -> GovernanceAction - ParameterChange : Maybe GovernanceActionId -> data -> GovernanceAction - TreasuryWithdrawals : - (\k v -> List (Tuple2 k v)) - Credential - ((\k v -> List (Tuple2 k v)) - bytestring - ((\k v -> List (Tuple2 k v)) bytestring integer)) -> - GovernanceAction - data ProposalProcedure | ProposalProcedure_match where - ProposalProcedure : - (\k v -> List (Tuple2 k v)) - bytestring - ((\k v -> List (Tuple2 k v)) bytestring integer) -> - Credential -> - GovernanceAction -> - ProposalProcedure data Vote | Vote_match where Abstain : Vote VoteNo : Vote @@ -862,40 +1203,6 @@ TxInfo data ScriptContext | ScriptContext_match where ScriptContext : TxInfo -> ScriptPurpose -> ScriptContext - !`$fAdditiveMonoidInteger_$czero` : integer = 0 - in - letrec - !euclid : integer -> integer -> integer - = \(x : integer) (y : integer) -> - ifThenElse - {all dead. integer} - (equalsInteger y `$fAdditiveMonoidInteger_$czero`) - (/\dead -> x) - (/\dead -> euclid y (modInteger x y)) - {all dead. dead} - in - letrec - !unsafeRatio : integer -> integer -> Rational - = \(n : integer) (d : integer) -> - ifThenElse - {all dead. Rational} - (equalsInteger d `$fAdditiveMonoidInteger_$czero`) - (/\dead -> error {Rational}) - (/\dead -> - ifThenElse - {all dead. Rational} - (lessThanInteger d `$fAdditiveMonoidInteger_$czero`) - (/\dead -> - unsafeRatio - (subtractInteger `$fAdditiveMonoidInteger_$czero` n) - (subtractInteger `$fAdditiveMonoidInteger_$czero` d)) - (/\dead -> - let - !gcd' : integer = euclid n d - in - Rational (quotientInteger n gcd') (quotientInteger d gcd')) - {all dead. dead}) - {all dead. dead} in \(d : data) -> let @@ -1099,369 +1406,10 @@ {all dead. dead}) {all dead. dead})) (headList {data} l)) - (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` - {ProposalProcedure} - (\(d : data) -> - let - !tup : pair integer (list data) = unConstrData d - !index : integer - = fstPair {integer} {list data} tup - !args : list data - = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. ProposalProcedure} - (equalsInteger 0 index) - (/\dead -> - let - !l : list data = tailList {data} args - in - ProposalProcedure - (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {bytestring} - {(\k v -> List (Tuple2 k v)) - bytestring - integer} - unBData - `$fUnsafeFromDataValue` - (headList {data} args)) - (`$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - (headList {data} l)) - (let - !tup : pair integer (list data) - = unConstrData - (headList {data} (tailList {data} l)) - !index : integer - = fstPair {integer} {list data} tup - !args : list data - = sndPair {integer} {list data} tup - in - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 0 index) - (/\dead -> - ParameterChange - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList {data} args)) - (headList - {data} - (tailList {data} args))) - (/\dead -> - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 1 index) - (/\dead -> - HardForkInitiation - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList {data} args)) - (let - !tup : pair integer (list data) - = unConstrData - (headList - {data} - (tailList - {data} - args)) - !index : integer - = fstPair - {integer} - {list data} - tup - !args : list data - = sndPair - {integer} - {list data} - tup - in - ifThenElse - {all dead. ProtocolVersion} - (equalsInteger 0 index) - (/\dead -> - ProtocolVersion - (unIData - (headList {data} args)) - (unIData - (headList - {data} - (tailList - {data} - args)))) - (/\dead -> - traceError - {ProtocolVersion} - reconstructCaseError) - {all dead. dead})) - (/\dead -> - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 2 index) - (/\dead -> - TreasuryWithdrawals - (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {Credential} - {(\k v -> - List (Tuple2 k v)) - bytestring - ((\k v -> - List (Tuple2 k v)) - bytestring - integer)} - `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - `$fUnsafeFromDataValue` - (headList {data} args))) - (/\dead -> - ifThenElse - {all dead. GovernanceAction} - (equalsInteger 3 index) - (/\dead -> - NoConfidence - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList - {data} - args))) - (/\dead -> - ifThenElse - {all dead. - GovernanceAction} - (equalsInteger 4 index) - (/\dead -> - let - !l : list data - = tailList - {data} - args - in - NewCommittee - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList - {data} - args)) - (`$fUnsafeFromDataList_$cunsafeFromBuiltinData` - {Credential} - `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - (headList - {data} - l)) - (let - !tup : - pair - integer - (list data) - = unConstrData - (headList - {data} - (tailList - {data} - l)) - !index : integer - = fstPair - {integer} - {list - data} - tup - !args : - list data - = sndPair - {integer} - {list - data} - tup - in - ifThenElse - {all dead. - Committee} - (equalsInteger - 0 - index) - (/\dead -> - Committee - (`$fUnsafeFromDataMap_$cunsafeFromBuiltinData` - {Credential} - {integer} - `$fUnsafeFromDataCredential_$cunsafeFromBuiltinData` - unIData - (headList - {data} - args)) - (let - !x : - data - = headList - {data} - (tailList - {data} - args) - in - Tuple2_match - {integer} - {integer} - (let - !tup : - pair - integer - (list - data) - = unConstrData - x - !index : - integer - = fstPair - {integer} - {list - data} - tup - !args : - list - data - = sndPair - {integer} - {list - data} - tup - in - ifThenElse - {all dead. - Tuple2 - integer - integer} - (equalsInteger - 0 - index) - (/\dead -> - Tuple2 - {integer} - {integer} - (unIData - (headList - {data} - args)) - (unIData - (headList - {data} - (tailList - {data} - args)))) - (/\dead -> - traceError - {Tuple2 - integer - integer} - reconstructCaseError) - {all dead. - dead}) - {Rational} - (\(a : - integer) - (b : - integer) -> - unsafeRatio - a - b))) - (/\dead -> - traceError - {Committee} - reconstructCaseError) - {all dead. - dead})) - (/\dead -> - ifThenElse - {all dead. - GovernanceAction} - (equalsInteger - 5 - index) - (/\dead -> - NewConstitution - (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {GovernanceActionId} - `$fUnsafeFromDataGovernanceAction_$cunsafeFromBuiltinData` - (headList - {data} - args)) - (let - !tup : - pair - integer - (list - data) - = unConstrData - (headList - {data} - (tailList - {data} - args)) - !index : - integer - = fstPair - {integer} - {list - data} - tup - !args : - list - data - = sndPair - {integer} - {list - data} - tup - in - ifThenElse - {all dead. - Maybe - bytestring} - (equalsInteger - 0 - index) - (/\dead -> - `$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` - {bytestring} - unBData - (headList - {data} - args)) - (/\dead -> - traceError - {Maybe - bytestring} - reconstructCaseError) - {all dead. - dead})) - (/\dead -> - ifThenElse - {all dead. - GovernanceAction} - (equalsInteger - 6 - index) - (/\dead -> - InfoAction) - (/\dead -> - traceError - {GovernanceAction} - reconstructCaseError) - {all dead. - dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead}) - {all dead. dead})) - (/\dead -> - traceError - {ProposalProcedure} - reconstructCaseError) - {all dead. dead}) - (headList {data} l)) + (let + !d : data = headList {data} l + in + go (unListData d)) (`$fUnsafeFromDataMaybe_$cunsafeFromBuiltinData` {(\k v -> List (Tuple2 k v)) bytestring diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden index 48d70c72494..6e5712061b9 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden @@ -1 +1 @@ -2769 \ No newline at end of file +2843 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContextEqualityTerm-20.eval.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContextEqualityTerm-20.eval.golden index b7a1fb88343..d376986e12f 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContextEqualityTerm-20.eval.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContextEqualityTerm-20.eval.golden @@ -1,2 +1,2 @@ -({cpu: 306888611 -| mem: 1227966}) \ No newline at end of file +({cpu: 298194611 +| mem: 1190166}) \ No newline at end of file diff --git a/plutus-core/changelog.d/20231208_173127_unsafeFixIO_beta.md b/plutus-core/changelog.d/20231208_173127_unsafeFixIO_beta.md new file mode 100644 index 00000000000..31b08c46a54 --- /dev/null +++ b/plutus-core/changelog.d/20231208_173127_unsafeFixIO_beta.md @@ -0,0 +1,3 @@ +### Changed + +- Improved the callsite inliner for PIR, making it discover more inlining opportunities. diff --git a/plutus-core/plutus-core.cabal b/plutus-core/plutus-core.cabal index 02a96a472c7..768907638c5 100644 --- a/plutus-core/plutus-core.cabal +++ b/plutus-core/plutus-core.cabal @@ -508,7 +508,6 @@ library plutus-ir PlutusIR.Transform.CaseReduce PlutusIR.Transform.DeadCode PlutusIR.Transform.EvaluateBuiltins - PlutusIR.Transform.Inline.CallSiteInline PlutusIR.Transform.Inline.Inline PlutusIR.Transform.Inline.Utils PlutusIR.Transform.KnownCon diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/CallSiteInline.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/CallSiteInline.hs deleted file mode 100644 index 33faf200c3c..00000000000 --- a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/CallSiteInline.hs +++ /dev/null @@ -1,156 +0,0 @@ -{-# LANGUAGE ConstraintKinds #-} -{-# LANGUAGE FlexibleContexts #-} -{-# LANGUAGE GADTs #-} -{-# LANGUAGE LambdaCase #-} -{-# LANGUAGE TypeFamilies #-} - -{- | -Call site inlining machinery. We inline if the size of the inlined result is not larger. -See note [Inlining of fully applied functions]. --} -module PlutusIR.Transform.Inline.CallSiteInline where - -import PlutusCore qualified as PLC -import PlutusCore.Rename (rename) -import PlutusCore.Rename.Internal (Dupable (Dupable)) -import PlutusIR.Analysis.Size (Size, termSize) -import PlutusIR.Contexts -import PlutusIR.Core -import PlutusIR.Transform.Inline.Utils -import PlutusIR.Transform.Substitute - -{- Note [Inlining and beta reduction of functions] - -We inline if its cost and size are acceptable. - -For size, we compare the sizes (in terms of AST nodes before and after the inlining and beta -reduction), and inline only if it does not increase the size. In the above example, we count -the number of AST nodes in `f a b` and in `a`. The latter is smaller, which means inlining -reduces the size. - -We care about program size increases primarily because it -affects the size of the serialized script, which appears on chain and must be paid for. -This is different to many compilers which care about this also because e.g. larger ASTs -slow down compilation. We care about this too, but the serialized size is the main driver for us. - -The number of AST nodes is an approximate rather than a precise measure. It correlates, -but doesn't directly map to the size of the serialised script. Different kinds of AST nodes -may take different number of bits to encode; in particular, a `Constant` node always -counts as one AST node, but the constant in it can be of arbitrary size. Then, would it be -better to use the size of the serialised term, instead of the number of AST nodes? Not -necessarily, because other transformations, such as CSE, may change the size further; -specifically, if a large constant occurs multiple times in a program, it may get CSE'd. - -In general there's no reliable way to precisely predict the size impact of an inlining -decision, and we believe the number of AST nodes is in fact a good approximation. - -For cost, we check whether the RHS (in this example, `\x. \y -> x`) has a small cost. -If the RHS has a non-zero arity, then the cost is always small (since a lambda or a type -abstraction is already a value). This may not be the case if the arity is zero. - -For effect-safety, we require: (1) the RHS be pure, i.e., evaluating it is guaranteed to -not have side effects; (2) all arguments be pure, since otherwise it is unsafe to -perform beta reduction. - --} - -{- | Apply the RHS of the given variable to the given arguments, and beta-reduce -the application, if possible. --} -applyAndBetaReduce :: - forall tyname name uni fun ann. - (InliningConstraints tyname name uni fun) => - -- | The rhs of the variable, should have been renamed already - Term tyname name uni fun ann -> - -- | The arguments, already processed - AppContext tyname name uni fun ann -> - InlineM tyname name uni fun ann (Maybe (Term tyname name uni fun ann)) -applyAndBetaReduce rhs args0 = do - let go :: - Term tyname name uni fun ann -> - AppContext tyname name uni fun ann -> - InlineM tyname name uni fun ann (Maybe (Term tyname name uni fun ann)) - go acc args = case (acc, args) of - (LamAbs _ann n _ty tm, TermAppContext arg _ args') -> do - safe <- safeToBetaReduce n arg acc - if safe -- we only do substitution if it is safe to beta reduce - then do - acc' <- do - termSubstNamesM -- substitute the term param with the arg in the function body - -- rename before substitution to ensure global uniqueness (may not be needed but - -- no harm in renaming just to be sure) - (\tmName -> if tmName == n then Just <$> PLC.rename arg else pure Nothing) - tm -- drop the beta reduced term lambda - go acc' args' - -- if it is not safe to beta reduce, just return the processed application - else pure . Just $ fillAppContext acc args - (TyAbs _ann n _kd tm, TypeAppContext arg _ args') -> do - acc' <- - termSubstTyNamesM -- substitute the type param with the arg - (\tyName -> if tyName == n then Just <$> PLC.rename arg else pure Nothing) - tm -- drop the beta reduced type lambda - go acc' args' - -- term/type argument mismatch, don't inline - (LamAbs{}, TypeAppContext{}) -> pure Nothing - (TyAbs{}, TermAppContext{}) -> pure Nothing - -- no more lambda abstraction, just return the processed application - (_, _) -> pure . Just $ fillAppContext acc args - - -- Is it safe to turn `(\a -> body) arg` into `body [a := arg]`? - -- The criteria is the same as the criteria for inlining `a` in - -- `let !a = arg in body`. - safeToBetaReduce :: - -- `a` - name -> - -- `arg` - Term tyname name uni fun ann -> - -- the body `a` will be beta reduced in - Term tyname name uni fun ann -> - InlineM tyname name uni fun ann Bool - safeToBetaReduce = shouldUnconditionallyInline Strict - go rhs args0 - --- | Consider inlining a variable. For applications, consider whether to apply and beta reduce. -callSiteInline :: - forall tyname name uni fun ann. - (InliningConstraints tyname name uni fun) => - -- | The term size if it were not inlined. - Size -> - -- | The `Utils.VarInfo` of the variable (the head of the term). - InlineVarInfo tyname name uni fun ann -> - -- | The application context of the term, already processed. - AppContext tyname name uni fun ann -> - InlineM tyname name uni fun ann (Maybe (Term tyname name uni fun ann)) -callSiteInline processedTSize = go - where - go varInfo args = do - let - defAsInlineTerm = varRhs varInfo - inlineTermToTerm :: InlineTerm tyname name uni fun ann - -> Term tyname name uni fun ann - inlineTermToTerm (Done (Dupable var)) = var - -- extract out the rhs without renaming, we only rename - -- when we know there's substitution - headRhs = inlineTermToTerm defAsInlineTerm - -- The definition itself will be inlined, so we need to check that the cost - -- of that is acceptable. Note that we do _not_ check the cost of the _body_. - -- We would have paid that regardless. - -- Consider e.g. `let y = \x. f x`. We pay the cost of the `f x` at - -- every call site regardless. The work that is being duplicated is - -- the work for the lambda. - costIsOk = costIsAcceptable headRhs - -- check if binding is pure to avoid duplicated effects. - -- For strict bindings we can't accidentally make any effects happen less often - -- than it would have before, but we can make it happen more often. - -- We could potentially do this safely in non-conservative mode. - rhsPure <- isTermBindingPure (varStrictness varInfo) headRhs - if costIsOk && rhsPure then do - -- rename the rhs of the variable before any substitution - renamedRhs <- rename headRhs - applyAndBetaReduce renamedRhs args >>= \case - Just inlined -> do - let -- Inline only if the size is no bigger than not inlining. - sizeIsOk = termSize inlined <= processedTSize - pure $ if sizeIsOk then Just inlined else Nothing - Nothing -> pure Nothing - else pure Nothing diff --git a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs index ee7a6e33369..bb99dc4edb9 100644 --- a/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs +++ b/plutus-core/plutus-ir/src/PlutusIR/Transform/Inline/Inline.hs @@ -1,3 +1,4 @@ +{-# LANGUAGE BangPatterns #-} {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE GADTs #-} @@ -14,25 +15,25 @@ module PlutusIR.Transform.Inline.Inline (inline, InlineHints (..)) where import PlutusCore.Annotation import PlutusCore.Name import PlutusCore.Quote -import PlutusCore.Rename (dupable) +import PlutusCore.Rename (dupable, rename) +import PlutusCore.Rename.Internal (Dupable (Dupable)) import PlutusIR +import PlutusIR.Analysis.Builtins +import PlutusIR.Analysis.Size (Size, termSize) import PlutusIR.Analysis.Usages qualified as Usages +import PlutusIR.Analysis.VarInfo qualified as VarInfo +import PlutusIR.Contexts (AppContext (..), fillAppContext, lengthContext, splitApplication) import PlutusIR.MkPir (mkLet) +import PlutusIR.Transform.Beta qualified as Beta import PlutusIR.Transform.Inline.Utils import PlutusIR.Transform.Rename () import PlutusPrelude import Control.Lens (forMOf, traverseOf) import Control.Monad.Extra -import Control.Monad.Reader (runReaderT) +import Control.Monad.Reader (ask, runReaderT) import Control.Monad.State (evalStateT, modify') - import Control.Monad.State.Class (gets) -import PlutusIR.Analysis.Builtins -import PlutusIR.Analysis.Size (termSize) -import PlutusIR.Analysis.VarInfo qualified as VarInfo -import PlutusIR.Contexts (AppContext (..), fillAppContext, splitApplication) -import PlutusIR.Transform.Inline.CallSiteInline (callSiteInline) import Witherable (Witherable (wither)) {- Note [Inlining approach and 'Secrets of the GHC Inliner'] @@ -154,6 +155,8 @@ But we don't really care about the costs listed there: it's easy for us to get a supply, and the performance cost does not currently seem relevant. So it's fine. -} +data InliningStrategy = UnconditionalOnly | UnconditionalAndCallsite + -- | Inline non-recursive bindings. Relies on global uniqueness, and preserves it. -- See Note [Inlining and global uniqueness] inline @@ -163,13 +166,27 @@ inline -> BuiltinsInfo uni fun -> Term tyname name uni fun ann -> m (Term tyname name uni fun ann) -inline hints binfo t = let +inline hints binfo t = inline' UnconditionalAndCallsite hints binfo (VarInfo.termVarInfo t) t + +inline' + :: forall tyname name uni fun ann m + . ExternalConstraints tyname name uni fun m + => InliningStrategy + -> InlineHints name ann + -> BuiltinsInfo uni fun + -- This function must reuse the `VarsInfo` of the entire original term, because it may be + -- called by the callsite inliner to process a subterm. The subterm may contain free + -- variables, and if we compute `VarsInfo` from scratch, those variables won't have + -- entries in `VarsInfo`. On the other hand, `Usages` should be re-computed. + -> VarInfo.VarsInfo tyname name uni ann + -> Term tyname name uni fun ann + -> m (Term tyname name uni fun ann) +inline' strat hints binfo vinfo t = let inlineInfo :: InlineInfo tyname name uni fun ann inlineInfo = InlineInfo vinfo usgs hints binfo - vinfo = VarInfo.termVarInfo t usgs :: Usages.Usages usgs = Usages.termUsages t - in liftQuote $ flip evalStateT mempty $ flip runReaderT inlineInfo $ processTerm t + in liftQuote $ flip evalStateT mempty $ flip runReaderT inlineInfo $ processTerm strat t {- Note [Removing inlined bindings] We *do* remove bindings that we inline *unconditionally*. We *could* @@ -188,9 +205,12 @@ This might mean reinventing GHC's OccAnal... -- | Run the inliner on a `Core.Type.Term`. processTerm :: forall tyname name uni fun ann. InliningConstraints tyname name uni fun - => Term tyname name uni fun ann -- ^ Term to be processed. + => InliningStrategy + -> Term tyname name uni fun ann -- ^ Term to be processed. -> InlineM tyname name uni fun ann (Term tyname name uni fun ann) -processTerm = handleTerm <=< traverseOf termSubtypes applyTypeSubstitution where +processTerm strat = processTerm' + where + processTerm' = handleTerm <=< traverseOf termSubtypes applyTypeSubstitution handleTerm :: Term tyname name uni fun ann -> InlineM tyname name uni fun ann (Term tyname name uni fun ann) @@ -203,46 +223,49 @@ processTerm = handleTerm <=< traverseOf termSubtypes applyTypeSubstitution where -- Note that we don't *remove* the bindings or scope the state, so the state will carry -- over into "sibling" terms. This is fine because we have global uniqueness -- (see Note [Inlining and global uniqueness]), if somewhat wasteful. - bs' <- wither (processSingleBinding t) (toList bs) - t' <- processTerm t + bs' <- wither (processSingleBinding strat t) (toList bs) + t' <- processTerm' t -- Use 'mkLet': we're using lists of bindings rather than NonEmpty since we might -- actually have got rid of all of them! pure $ mkLet ann NonRec bs' t' -- This includes recursive let terms, we don't even consider inlining them at the moment - t -> do - -- See note [Processing order of call site inlining] - let (hd, args) = splitApplication t - processArgs :: - AppContext tyname name uni fun ann -> - InlineM tyname name uni fun ann (AppContext tyname name uni fun ann) - processArgs (TermAppContext arg ann ctx) = do - processedArg <- processTerm arg - processedArgs <- processArgs ctx - pure $ TermAppContext processedArg ann processedArgs - processArgs (TypeAppContext ty ann ctx) = do - processedArgs <- processArgs ctx - ty' <- applyTypeSubstitution ty - pure $ TypeAppContext ty' ann processedArgs - processArgs AppContextEnd = pure AppContextEnd - case args of - -- not really an application, so hd is the term itself. Processing it will loop. - AppContextEnd -> forMOf termSubterms t processTerm - _ -> do - hd' <- processTerm hd - args' <- processArgs args - let reconstructed = fillAppContext hd' args' - case hd' of - Var _ name -> do - gets (lookupVarInfo name) >>= \case - Just varInfo -> do - maybeInlined <- - callSiteInline - (termSize reconstructed) - varInfo - args' - pure $ fromMaybe reconstructed maybeInlined - Nothing -> pure reconstructed - _ -> pure reconstructed + t -> case strat of + UnconditionalOnly -> forMOf termSubterms t processTerm' + UnconditionalAndCallsite -> do + -- See note [Processing order of call site inlining] + let (hd, args) = splitApplication t + processArgs :: + AppContext tyname name uni fun ann -> + InlineM tyname name uni fun ann (AppContext tyname name uni fun ann) + processArgs (TermAppContext arg ann ctx) = do + processedArg <- processTerm' arg + processedArgs <- processArgs ctx + pure $ TermAppContext processedArg ann processedArgs + processArgs (TypeAppContext ty ann ctx) = do + processedArgs <- processArgs ctx + ty' <- applyTypeSubstitution ty + pure $ TypeAppContext ty' ann processedArgs + processArgs AppContextEnd = pure AppContextEnd + case args of + -- not really an application, so hd is the term itself. + -- Processing it will loop. + AppContextEnd -> forMOf termSubterms t processTerm' + _ -> do + hd' <- processTerm' hd + args' <- processArgs args + let reconstructed = fillAppContext hd' args' + case hd' of + Var _ name -> do + gets (lookupVarInfo name) >>= \case + Just varInfo -> do + maybeInlined <- + callSiteInline + (termSize reconstructed) + varInfo + args' + pure $ fromMaybe reconstructed maybeInlined + Nothing -> pure reconstructed + _ -> pure reconstructed {- Note [Processing order of call site inlining] We have two options on how we process terms for the call site inliner: @@ -326,13 +349,14 @@ term, but with the head (the rhs of the variable) and the arguments already proc -- | Run the inliner on a single non-recursive let binding. processSingleBinding :: forall tyname name uni fun ann. InliningConstraints tyname name uni fun - => Term tyname name uni fun ann -- ^ The body of the let binding. + => InliningStrategy + -> Term tyname name uni fun ann -- ^ The body of the let binding. -> Binding tyname name uni fun ann -- ^ The binding. -> InlineM tyname name uni fun ann (Maybe (Binding tyname name uni fun ann)) -processSingleBinding body = \case +processSingleBinding strat body = \case (TermBind ann s v@(VarDecl _ n _) rhs0) -> do -- we want to do unconditional inline if possible - maybeAddSubst body ann s n rhs0 >>= \case + maybeAddSubst strat body ann s n rhs0 >>= \case -- this binding is going to be unconditionally inlined Nothing -> pure Nothing Just rhs -> do @@ -355,7 +379,7 @@ processSingleBinding body = \case maybeRhs' <- maybeAddTySubst n rhs pure $ TypeBind ann v <$> maybeRhs' b -> -- Just process all the subterms - Just <$> forMOf bindingSubterms b processTerm + Just <$> forMOf bindingSubterms b (processTerm strat) -- | Check against the heuristics we have for inlining and either inline the term binding or not. -- The arguments to this function are the fields of the `TermBinding` being processed. @@ -364,14 +388,15 @@ processSingleBinding body = \case -- * we are removing the binding (hence we return Nothing). maybeAddSubst :: forall tyname name uni fun ann. InliningConstraints tyname name uni fun - => Term tyname name uni fun ann + => InliningStrategy + -> Term tyname name uni fun ann -> ann -> Strictness -> name -> Term tyname name uni fun ann -> InlineM tyname name uni fun ann (Maybe (Term tyname name uni fun ann)) -maybeAddSubst body ann s n rhs0 = do - rhs <- processTerm rhs0 +maybeAddSubst strat body ann s n rhs0 = do + rhs <- processTerm strat rhs0 -- Check whether we've been told specifically to inline this hints <- view iiHints @@ -407,3 +432,116 @@ maybeAddTySubst tn rhs = do modify' (extendType tn rhs) pure Nothing else pure $ Just rhs + +applyAndBetaReduce :: + forall tyname name uni fun ann. + (InliningConstraints tyname name uni fun) => + -- | The rhs of the variable, should have been renamed already + Term tyname name uni fun ann -> + -- | The arguments, already processed + AppContext tyname name uni fun ann -> + InlineM tyname name uni fun ann (Term tyname name uni fun ann) +applyAndBetaReduce rhs args = do + info <- ask + -- We run the beta and inlining passes for `lengthContext args` times, since sometimes + -- the args can only be beta-reduced one by one. An example is + -- `(\x y -> f x y) arg_x arg_y`, where `arg_x` and `arg_y` are effectful terms. + -- It needs two beta+inlining passes to reduce to `f arg_x arg_y`: the first pass + -- inlines `y` and the second pass `x`. + -- + -- Note that the inlining passes we run here only run unconditional inlining. + -- Technically it can be helpful to also run callsite inlining, but it rarely + -- makes a difference. + foldl' + (>=>) + pure + ( replicate + (lengthContext args) + ( pure . Beta.beta + >=> inline' + UnconditionalOnly + (info ^. iiHints) + (info ^. iiBuiltinsInfo) + (info ^. iiVarInfo) + ) + ) + (fillAppContext rhs args) + +-- | Consider inlining a variable. For applications, consider whether to apply and beta reduce. +callSiteInline :: + forall tyname name uni fun ann. + (InliningConstraints tyname name uni fun) => + -- | The term size if it were not inlined. + Size -> + -- | The `Utils.VarInfo` of the variable (the head of the term). + InlineVarInfo tyname name uni fun ann -> + -- | The application context of the term, already processed. + AppContext tyname name uni fun ann -> + InlineM tyname name uni fun ann (Maybe (Term tyname name uni fun ann)) +callSiteInline processedTSize = go + where + go varInfo args = do + let + defAsInlineTerm = varRhs varInfo + inlineTermToTerm :: + InlineTerm tyname name uni fun ann -> + Term tyname name uni fun ann + inlineTermToTerm (Done (Dupable var)) = var + -- extract out the rhs without renaming, we only rename + -- when we know there's substitution + headRhs = inlineTermToTerm defAsInlineTerm + -- The definition itself will be inlined, so we need to check that the cost + -- of that is acceptable. Note that we do _not_ check the cost of the _body_. + -- We would have paid that regardless. + -- Consider e.g. `let y = \x. f x`. We pay the cost of the `f x` at + -- every call site regardless. The work that is being duplicated is + -- the work for the lambda. + costIsOk = costIsAcceptable headRhs + -- check if binding is pure to avoid duplicated effects. + -- For strict bindings we can't accidentally make any effects happen less often + -- than it would have before, but we can make it happen more often. + -- We could potentially do this safely in non-conservative mode. + rhsPure <- isTermBindingPure (varStrictness varInfo) headRhs + if costIsOk && rhsPure + then do + -- rename the rhs of the variable before any substitution + renamedRhs <- rename headRhs + inlined <- applyAndBetaReduce renamedRhs args + let sizeIsOk = termSize inlined <= processedTSize + pure $ if sizeIsOk then Just inlined else Nothing + else pure Nothing + +{- Note [Inlining and beta reduction of functions] + +We inline if its cost and size are acceptable. + +For size, we compare the sizes (in terms of AST nodes before and after the inlining and beta +reduction), and inline only if it does not increase the size. In the above example, we count +the number of AST nodes in `f a b` and in `a`. The latter is smaller, which means inlining +reduces the size. + +We care about program size increases primarily because it +affects the size of the serialized script, which appears on chain and must be paid for. +This is different to many compilers which care about this also because e.g. larger ASTs +slow down compilation. We care about this too, but the serialized size is the main driver for us. + +The number of AST nodes is an approximate rather than a precise measure. It correlates, +but doesn't directly map to the size of the serialised script. Different kinds of AST nodes +may take different number of bits to encode; in particular, a `Constant` node always +counts as one AST node, but the constant in it can be of arbitrary size. Then, would it be +better to use the size of the serialised term, instead of the number of AST nodes? Not +necessarily, because other transformations, such as CSE, may change the size further; +specifically, if a large constant occurs multiple times in a program, it may get CSE'd. + +In general there's no reliable way to precisely predict the size impact of an inlining +decision, and we believe the number of AST nodes is in fact a good approximation. + +For cost, we check whether the RHS (in this example, `\x. \y -> x`) has a small cost. +If the RHS has a non-zero arity, then the cost is always small (since a lambda or a type +abstraction is already a value). This may not be the case if the arity is zero. + +For effect-safety, we require: (1) the RHS be pure, i.e., evaluating it is guaranteed to +not have side effects; (2) all arguments be pure, since otherwise it is unsafe to +perform beta reduction. + +-} diff --git a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letTypeApp2.golden b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letTypeApp2.golden index 9b49cbafca9..2be13821dc3 100644 --- a/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letTypeApp2.golden +++ b/plutus-core/plutus-ir/test/PlutusIR/Transform/Inline/letTypeApp2.golden @@ -3,8 +3,5 @@ (termbind (strict) (vardecl idFun (all a (type) (fun a a))) (abs a (type) (lam x a x)) ) - [ - (lam x (con integer) x) - [ (lam x (con integer) x) [ (lam x (con integer) x) (con integer 3) ] ] - ] + (con integer 3) ) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/golden/9.6/Long.stat.golden b/plutus-ledger-api/test-plugin/Spec/golden/9.6/Long.stat.golden index c229f905f04..522b2a98e6b 100644 --- a/plutus-ledger-api/test-plugin/Spec/golden/9.6/Long.stat.golden +++ b/plutus-ledger-api/test-plugin/Spec/golden/9.6/Long.stat.golden @@ -1,15 +1,15 @@ -({cpu: 3011945773 | mem: 11175342}) -({cpu: 713057980 | mem: 3097804}) -({cpu: 2103958911 | mem: 7806054}) -({cpu: 587707980 | mem: 2552804}) -({cpu: 2103958911 | mem: 7806054}) -({cpu: 462081980 | mem: 2006604}) -({cpu: 1195972049 | mem: 4436766}) -({cpu: 462219980 | mem: 2007204}) -({cpu: 2103958911 | mem: 7806054}) -({cpu: 462081980 | mem: 2006604}) -({cpu: 1195972049 | mem: 4436766}) -({cpu: 336731980 | mem: 1461604}) -({cpu: 1195972049 | mem: 4436766}) -({cpu: 211105980 | mem: 915404}) -({cpu: 287985187 | mem: 1067478}) \ No newline at end of file +({cpu: 2945981773 | mem: 10888542}) +({cpu: 712781980 | mem: 3096604}) +({cpu: 2057866911 | mem: 7605654}) +({cpu: 587431980 | mem: 2551604}) +({cpu: 2057866911 | mem: 7605654}) +({cpu: 461805980 | mem: 2005404}) +({cpu: 1169752049 | mem: 4322766}) +({cpu: 461943980 | mem: 2006004}) +({cpu: 2057866911 | mem: 7605654}) +({cpu: 461805980 | mem: 2005404}) +({cpu: 1169752049 | mem: 4322766}) +({cpu: 336455980 | mem: 1460404}) +({cpu: 1169752049 | mem: 4322766}) +({cpu: 210829980 | mem: 914204}) +({cpu: 281637187 | mem: 1039878}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/golden/9.6/Short.stat.golden b/plutus-ledger-api/test-plugin/Spec/golden/9.6/Short.stat.golden index 7b17b1e412a..5aaf40f9aa0 100644 --- a/plutus-ledger-api/test-plugin/Spec/golden/9.6/Short.stat.golden +++ b/plutus-ledger-api/test-plugin/Spec/golden/9.6/Short.stat.golden @@ -1,21 +1,21 @@ -({cpu: 4301100 | mem: 18800}) -({cpu: 6026100 | mem: 26300}) -({cpu: 8577491 | mem: 36102}) -({cpu: 10292980 | mem: 42304}) -({cpu: 12223371 | mem: 49406}) -({cpu: 14674860 | mem: 58808}) -({cpu: 19870076 | mem: 78812}) -({cpu: 21265174 | mem: 84912}) -({cpu: 23870467 | mem: 94914}) -({cpu: 19462850 | mem: 78210}) -({cpu: 35163486 | mem: 137624}) -({cpu: 20816294 | mem: 85508}) -({cpu: 50102385 | mem: 193638}) -({cpu: 60612649 | mem: 231550}) -({cpu: 68692806 | mem: 262956}) -({cpu: 79709070 | mem: 303068}) -({cpu: 90929541 | mem: 345578}) -({cpu: 95911030 | mem: 365980}) -({cpu: 116812590 | mem: 441504}) -({cpu: 91759795 | mem: 373240}) -({cpu: 287985187 | mem: 1067478}) \ No newline at end of file +({cpu: 4094100 | mem: 17900}) +({cpu: 5819100 | mem: 25400}) +({cpu: 8232491 | mem: 34602}) +({cpu: 9947980 | mem: 40804}) +({cpu: 11809371 | mem: 47606}) +({cpu: 14260860 | mem: 57008}) +({cpu: 19249076 | mem: 76112}) +({cpu: 20713174 | mem: 82512}) +({cpu: 23111467 | mem: 91614}) +({cpu: 19048850 | mem: 76410}) +({cpu: 34128486 | mem: 133124}) +({cpu: 20471294 | mem: 84008}) +({cpu: 48722385 | mem: 187638}) +({cpu: 59370649 | mem: 226150}) +({cpu: 66898806 | mem: 255156}) +({cpu: 78053070 | mem: 295868}) +({cpu: 88652541 | mem: 335678}) +({cpu: 93634030 | mem: 356080}) +({cpu: 113983590 | mem: 429204}) +({cpu: 91000795 | mem: 369940}) +({cpu: 281637187 | mem: 1039878}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden b/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden index ff58b4029f7..834141a1f5e 100644 --- a/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden +++ b/plutus-tx-plugin/test/AsData/Budget/9.6/patternMatching.uplc.golden @@ -35,10 +35,10 @@ program (addInteger cse)) (addInteger cse)) (addInteger cse)) - (case cse [(\x y z w -> w)])) - (case cse [(\x y z w -> y)])) - (case cse [(\x y z w -> z)])) - (case cse [(\x y z w -> x)])) + (case cse [(\x y z w -> z)])) + (case cse [(\x y z w -> x)])) + (case cse [(\x y z w -> y)])) + (case cse [(\x y z w -> w)])) (\x y -> addInteger x y)) (\x y -> force ifThenElse diff --git a/plutus-tx-plugin/test/Budget/9.6/monadicDo.eval.golden b/plutus-tx-plugin/test/Budget/9.6/monadicDo.eval.golden index 23ef23ceedf..d0d58f03406 100644 --- a/plutus-tx-plugin/test/Budget/9.6/monadicDo.eval.golden +++ b/plutus-tx-plugin/test/Budget/9.6/monadicDo.eval.golden @@ -1,2 +1,2 @@ -({cpu: 1103577 -| mem: 4002}) \ No newline at end of file +({cpu: 46100 +| mem: 300}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/monadicDo.pir.golden b/plutus-tx-plugin/test/Budget/9.6/monadicDo.pir.golden index db402efe82f..aa1ba37a5d3 100644 --- a/plutus-tx-plugin/test/Budget/9.6/monadicDo.pir.golden +++ b/plutus-tx-plugin/test/Budget/9.6/monadicDo.pir.golden @@ -2,24 +2,5 @@ let data (Maybe :: * -> *) a | Maybe_match where Just : a -> Maybe a Nothing : Maybe a - !`$fMonadMaybe_$c>>=` : all a b. Maybe a -> (a -> Maybe b) -> Maybe b - = /\a b -> - \(ds : Maybe a) (k : a -> Maybe b) -> - Maybe_match - {a} - ds - {all dead. Maybe b} - (\(x : a) -> /\dead -> k x) - (/\dead -> Nothing {b}) - {all dead. dead} in -`$fMonadMaybe_$c>>=` - {integer} - {integer} - (Just {integer} 1) - (\(x' : integer) -> - `$fMonadMaybe_$c>>=` - {integer} - {integer} - (Just {integer} 2) - (\(y' : integer) -> Just {integer} (addInteger x' y'))) \ No newline at end of file +Just {integer} 3 \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/monadicDo.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/monadicDo.uplc.golden index f9c81874ea3..eff0c489f34 100644 --- a/plutus-tx-plugin/test/Budget/9.6/monadicDo.uplc.golden +++ b/plutus-tx-plugin/test/Budget/9.6/monadicDo.uplc.golden @@ -1,10 +1 @@ -program - 1.1.0 - ((\`$fMonadMaybe_$c>>=` -> - `$fMonadMaybe_$c>>=` - (constr 0 [1]) - (\x' -> - `$fMonadMaybe_$c>>=` - (constr 0 [2]) - (\y' -> constr 0 [(addInteger x' y')]))) - (\ds k -> force (case ds [(\x -> delay (k x)), (delay (constr 1 []))]))) \ No newline at end of file +program 1.1.0 (constr 0 [3]) \ No newline at end of file