Skip to content

Commit

Permalink
More reliable short-cicruiting behavior for || and && operators. (I…
Browse files Browse the repository at this point in the history 
…ntersectMBO#5863)

* chore: fix hlint warnings

* Test case that demonstrates lack of short-curicuiting under no GHC optimisations.

* Compile (&&), (||) as if .. then .. else

* Changelog entry

* Comment about Short-curcuiting && || tests
  • Loading branch information
@Unisay @v0d1ch
Unisay authored and v0d1ch committed Dec 6, 2024
1 parent 28cec97 commit 9ef9ba6
Show file tree
Hide file tree
Showing 117 changed files with 481 additions and 376 deletions.
4 changes: 2 additions & 2 deletions ...antics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 400791988
| mem: 1448563})
({cpu: 388749171
| mem: 1408065})
4 changes: 2 additions & 2 deletions ...antics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 519677134
| mem: 1820164})
({cpu: 500740769
| mem: 1757528})
4 changes: 2 additions & 2 deletions ...antics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1367463687
| mem: 5132002})
({cpu: 1351483129
| mem: 5078718})
4 changes: 2 additions & 2 deletions ...antics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 970348150
| mem: 3452545})
({cpu: 954926803
| mem: 3401493})
4 changes: 2 additions & 2 deletions ...antics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 842043112
| mem: 2474598})
({cpu: 830007506
| mem: 2433932})
4 changes: 2 additions & 2 deletions ...antics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 376191639
| mem: 1372521})
({cpu: 364148822
| mem: 1332023})
4 changes: 2 additions & 2 deletions ...antics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 997652739
| mem: 3651724})
({cpu: 974771422
| mem: 3576470})
4 changes: 2 additions & 2 deletions ...antics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 984570123
| mem: 3604281})
({cpu: 968872776
| mem: 3552029})
4 changes: 2 additions & 2 deletions ...antics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 912690161
| mem: 3287099})
({cpu: 893615796
| mem: 3223863})
4 changes: 2 additions & 2 deletions ...antics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1333655976
| mem: 4614185})
({cpu: 1304019111
| mem: 4517393})
4 changes: 2 additions & 2 deletions ...antics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1407637502
| mem: 4697874})
({cpu: 1218966250
| mem: 4086646})
4 changes: 2 additions & 2 deletions ...antics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1326939567
| mem: 4837343})
({cpu: 1310959009
| mem: 4784059})
4 changes: 2 additions & 2 deletions ...antics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1460719571
| mem: 5306491})
({cpu: 1439671974
| mem: 5237161})
4 changes: 2 additions & 2 deletions ...antics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1771924290
| mem: 6441466})
({cpu: 1748896250
| mem: 6366210})
4 changes: 2 additions & 2 deletions ...antics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 610494250
| mem: 2241867})
({cpu: 594927692
| mem: 2190383})
4 changes: 2 additions & 2 deletions ...antics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 935480950
| mem: 3376263})
({cpu: 920059603
| mem: 3325211})
4 changes: 2 additions & 2 deletions ...antics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 632865368
| mem: 2325951})
({cpu: 615472301
| mem: 2268375})
4 changes: 2 additions & 2 deletions ...antics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 951682685
| mem: 3465181})
({cpu: 939225868
| mem: 3422883})
4 changes: 2 additions & 2 deletions ...antics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 378811524
| mem: 1378023})
({cpu: 366768707
| mem: 1337525})
4 changes: 2 additions & 2 deletions ...antics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1163639012
| mem: 4256422})
({cpu: 1144134713
| mem: 4192152})
4 changes: 2 additions & 2 deletions ...antics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 927918971
| mem: 3284945})
({cpu: 908844606
| mem: 3221709})
4 changes: 2 additions & 2 deletions ...antics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 378836696
| mem: 1378023})
({cpu: 366793879
| mem: 1337525})
4 changes: 2 additions & 2 deletions ...antics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 685149166
| mem: 1319874})
({cpu: 670287030
| mem: 1271054})
4 changes: 2 additions & 2 deletions ...antics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2099908471
| mem: 1699398})
({cpu: 2091113395
| mem: 1668686})
4 changes: 2 additions & 2 deletions ...antics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 451345264
| mem: 1663840})
({cpu: 437475938
| mem: 1617250})
4 changes: 2 additions & 2 deletions ...antics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 376191639
| mem: 1372521})
({cpu: 364148822
| mem: 1332023})
4 changes: 2 additions & 2 deletions ...antics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 707178079
| mem: 2627800})
({cpu: 695135262
| mem: 2587302})
4 changes: 2 additions & 2 deletions ...antics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1125329447
| mem: 1705718})
({cpu: 1116810371
| mem: 1676206})
4 changes: 2 additions & 2 deletions ...antics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 993427090
| mem: 3231404})
({cpu: 969560174
| mem: 3153752})
4 changes: 2 additions & 2 deletions ...antics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 996303863
| mem: 3645247})
({cpu: 980606516
| mem: 3592995})
4 changes: 2 additions & 2 deletions ...antics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 950013999
| mem: 3438234})
({cpu: 930785700
| mem: 3375164})
4 changes: 2 additions & 2 deletions ...antics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1504616983
| mem: 5587760})
({cpu: 1488636425
| mem: 5534476})
4 changes: 2 additions & 2 deletions ...antics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 378811524
| mem: 1378023})
({cpu: 366768707
| mem: 1337525})
4 changes: 2 additions & 2 deletions ...antics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 592277756
| mem: 2179351})
({cpu: 576711198
| mem: 2127867})
4 changes: 2 additions & 2 deletions ...antics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 801800623
| mem: 2986072})
({cpu: 786096065
| mem: 2933988})
4 changes: 2 additions & 2 deletions ...antics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 951668059
| mem: 3463982})
({cpu: 931510639
| mem: 3397836})
4 changes: 2 additions & 2 deletions ...antics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 376191639
| mem: 1372521})
({cpu: 364148822
| mem: 1332023})
4 changes: 2 additions & 2 deletions ...antics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1010959727
| mem: 3605842})
({cpu: 990195341
| mem: 3537544})
4 changes: 2 additions & 2 deletions ...antics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 376191639
| mem: 1372521})
({cpu: 364148822
| mem: 1332023})
4 changes: 2 additions & 2 deletions ...antics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1343153312
| mem: 4935477})
({cpu: 1327172754
| mem: 4882193})
4 changes: 2 additions & 2 deletions ...antics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 886901643
| mem: 3258785})
({cpu: 871197085
| mem: 3206701})
4 changes: 2 additions & 2 deletions ...antics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 476405343
| mem: 1693944})
({cpu: 461121996
| mem: 1643492})
4 changes: 2 additions & 2 deletions ...antics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 456268520
| mem: 1637185})
({cpu: 435918134
| mem: 1570687})
4 changes: 2 additions & 2 deletions ...antics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 467407100
| mem: 1671513})
({cpu: 445642693
| mem: 1601153})
4 changes: 2 additions & 2 deletions ...antics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 376191639
| mem: 1372521})
({cpu: 364148822
| mem: 1332023})
4 changes: 2 additions & 2 deletions ...antics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1013329942
| mem: 3781344})
({cpu: 997349384
| mem: 3728060})
4 changes: 2 additions & 2 deletions ...antics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 376191639
| mem: 1372521})
({cpu: 364148822
| mem: 1332023})
4 changes: 2 additions & 2 deletions ...antics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 627104441
| mem: 2302151})
({cpu: 611537883
| mem: 2250667})
4 changes: 2 additions & 2 deletions ...antics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1343587687
| mem: 4777361})
({cpu: 1295584428
| mem: 4617367})
4 changes: 2 additions & 2 deletions ...antics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1315212580
| mem: 4750287})
({cpu: 1296405492
| mem: 4688849})
4 changes: 2 additions & 2 deletions ...antics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 663540927
| mem: 2407789})
({cpu: 647974369
| mem: 2356305})
4 changes: 2 additions & 2 deletions ...antics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 378811524
| mem: 1378023})
({cpu: 366768707
| mem: 1337525})
4 changes: 2 additions & 2 deletions ...antics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 961600396
| mem: 3534762})
({cpu: 941442976
| mem: 3468616})
4 changes: 2 additions & 2 deletions ...antics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 629439025
| mem: 2310343})
({cpu: 613872467
| mem: 2258859})
4 changes: 2 additions & 2 deletions ...antics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 855934635
| mem: 3167582})
({cpu: 834489659
| mem: 3096446})
4 changes: 2 additions & 2 deletions ...antics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1338046659
| mem: 1869856})
({cpu: 1326011053
| mem: 1829190})
4 changes: 2 additions & 2 deletions ...antics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.budget.golden
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 1671386097
| mem: 5537364})
({cpu: 1458760291
| mem: 4851730})
Loading

0 comments on commit 9ef9ba6

Please sign in to comment.