Skip to content

Commit 0fd4f71

Browse files
UnisayUnisay
committed
Regenerate GHC 9.12 golden files
The BuiltinData second constructor affects PIR output and budget values slightly (CPU +0.7-1.5%, memory +1.5%, but AST/Flat size decreases). Also updates stage violation error messages and renames from fourmolu.
1 parent 6315393 commit 0fd4f71

25 files changed

Lines changed: 227 additions & 221 deletions

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/geq1.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 337_547_895
2-
Memory: 988_745
3-
AST Size: 639
4-
Flat Size: 949
1+
CPU: 341_387_895
2+
Memory: 1_012_745
3+
AST Size: 629
4+
Flat Size: 939
55

66
(con bool True)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/geq2.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 355_097_594
2-
Memory: 1_055_015
3-
AST Size: 639
4-
Flat Size: 1_000
1+
CPU: 359_033_594
2+
Memory: 1_079_615
3+
AST Size: 629
4+
Flat Size: 990
55

66
(con bool False)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/geq3.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 368_720_887
2-
Memory: 1_100_329
3-
AST Size: 639
4-
Flat Size: 1_000
1+
CPU: 372_656_887
2+
Memory: 1_124_929
3+
AST Size: 629
4+
Flat Size: 990
55

66
(con bool True)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/geq4.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 331_212_553
2-
Memory: 946_336
3-
AST Size: 639
4-
Flat Size: 956
1+
CPU: 335_148_553
2+
Memory: 970_936
3+
AST Size: 629
4+
Flat Size: 946
55

66
(con bool False)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/geq5.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 349_612_383
2-
Memory: 1_021_500
3-
AST Size: 639
4-
Flat Size: 956
1+
CPU: 353_548_383
2+
Memory: 1_046_100
3+
AST Size: 629
4+
Flat Size: 946
55

66
(con bool True)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt.golden.pir‎

Lines changed: 44 additions & 48 deletions
Original file line numberDiff line numberDiff line change
@@ -268,40 +268,38 @@ let
268268
= case data hd [(\(l : data) (r : data) -> r)]
269269
!k : data
270270
= case data hd [(\(l : data) (r : data) -> l)]
271+
!`$j` : data -> list (pair data data)
272+
= \(v' : data) ->
273+
mkCons
274+
{pair data data}
275+
(mkPairData k v')
276+
(goRight tl)
271277
in
272278
Maybe_match
273279
{data}
274280
(lookup' k ds)
275281
{all dead. list (pair data data)}
276282
(\(r : data) ->
277283
/\dead ->
278-
mkCons
279-
{pair data data}
280-
(mkPairData
281-
k
282-
(`$fToDataThese_$ctoBuiltinData`
284+
`$j`
285+
(`$fToDataThese_$ctoBuiltinData`
286+
{a}
287+
{b}
288+
`$dToData`
289+
`$dToData`
290+
(These
283291
{a}
284292
{b}
285-
`$dToData`
286-
`$dToData`
287-
(These
288-
{a}
289-
{b}
290-
(`$dUnsafeFromData` v)
291-
(`$dUnsafeFromData` r))))
292-
(goRight tl))
293+
(`$dUnsafeFromData` v)
294+
(`$dUnsafeFromData` r))))
293295
(/\dead ->
294-
mkCons
295-
{pair data data}
296-
(mkPairData
297-
k
298-
(`$fToDataThese_$ctoBuiltinData`
299-
{a}
300-
{b}
301-
`$dToData`
302-
`$dToData`
303-
(That {a} {b} (`$dUnsafeFromData` v))))
304-
(goRight tl))
296+
`$j`
297+
(`$fToDataThese_$ctoBuiltinData`
298+
{a}
299+
{b}
300+
`$dToData`
301+
`$dToData`
302+
(That {a} {b} (`$dUnsafeFromData` v))))
305303
{all dead. dead})
306304
, [] ]
307305
in
@@ -318,40 +316,38 @@ let
318316
= case data hd [(\(l : data) (r : data) -> r)]
319317
!k : data
320318
= case data hd [(\(l : data) (r : data) -> l)]
319+
!`$j` : data -> list (pair data data)
320+
= \(v' : data) ->
321+
mkCons
322+
{pair data data}
323+
(mkPairData k v')
324+
(goLeft tl)
321325
in
322326
Maybe_match
323327
{data}
324328
(lookup' k ds)
325329
{all dead. list (pair data data)}
326330
(\(r : data) ->
327331
/\dead ->
328-
mkCons
329-
{pair data data}
330-
(mkPairData
331-
k
332-
(`$fToDataThese_$ctoBuiltinData`
332+
`$j`
333+
(`$fToDataThese_$ctoBuiltinData`
334+
{a}
335+
{b}
336+
`$dToData`
337+
`$dToData`
338+
(These
333339
{a}
334340
{b}
335-
`$dToData`
336-
`$dToData`
337-
(These
338-
{a}
339-
{b}
340-
(`$dUnsafeFromData` v)
341-
(`$dUnsafeFromData` r))))
342-
(goLeft tl))
341+
(`$dUnsafeFromData` v)
342+
(`$dUnsafeFromData` r))))
343343
(/\dead ->
344-
mkCons
345-
{pair data data}
346-
(mkPairData
347-
k
348-
(`$fToDataThese_$ctoBuiltinData`
349-
{a}
350-
{b}
351-
`$dToData`
352-
`$dToData`
353-
(This {a} {b} (`$dUnsafeFromData` v))))
354-
(goLeft tl))
344+
`$j`
345+
(`$fToDataThese_$ctoBuiltinData`
346+
{a}
347+
{b}
348+
`$dToData`
349+
`$dToData`
350+
(This {a} {b} (`$dUnsafeFromData` v))))
355351
{all dead. dead})
356352
, [] ]
357353
in

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt1.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 388_164_300
2-
Memory: 1_166_760
3-
AST Size: 1_025
4-
Flat Size: 1_323
1+
CPU: 392_004_300
2+
Memory: 1_190_760
3+
AST Size: 1_015
4+
Flat Size: 1_313
55

66
(con bool False)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt2.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 355_465_594
2-
Memory: 1_057_315
3-
AST Size: 1_025
4-
Flat Size: 1_374
1+
CPU: 359_401_594
2+
Memory: 1_081_915
3+
AST Size: 1_015
4+
Flat Size: 1_364
55

66
(con bool False)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt3.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 420_058_992
2-
Memory: 1_282_309
3-
AST Size: 1_025
4-
Flat Size: 1_374
1+
CPU: 423_994_992
2+
Memory: 1_306_909
3+
AST Size: 1_015
4+
Flat Size: 1_364
55

66
(con bool True)

‎plutus-tx-plugin/test-ledger-api/Spec/Data/Budget/9.12/gt4.golden.eval‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 331_580_553
2-
Memory: 948_636
3-
AST Size: 1_025
4-
Flat Size: 1_330
1+
CPU: 335_516_553
2+
Memory: 973_236
3+
AST Size: 1_015
4+
Flat Size: 1_320
55

66
(con bool False)

0 commit comments

Comments
 (0)