Skip to content

Commit 1ee9bd1

Browse files
SeungheonOhSeungheonOh
authored
Add Plinth builtin for integer casing (#7271)
* wip * Make unsafeFromData use integer casing * cleanup * update * grammar
1 parent 0efcb89 commit 1ee9bd1

File tree

85 files changed

+5594
-7284
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

85 files changed

+5594
-7284
lines changed

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.cbor.size.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2044
1+
2041

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.large.budget.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 417803505, exBudgetMemory = ExMemory 2085368}
1+
ExBudget {exBudgetCPU = ExCPU 417755505, exBudgetMemory = ExMemory 2085068}

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.pir.golden‎

Lines changed: 6 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -494,20 +494,12 @@ program
494494
!args : list data = sndPair {integer} {list data} tup
495495
in
496496
case
497-
(all dead. Maybe a)
498-
(equalsInteger 1 index)
499-
[ (/\dead ->
500-
case
501-
(all dead. Maybe a)
502-
(equalsInteger 0 index)
503-
[ (/\dead -> error {Maybe a})
504-
, (/\dead ->
505-
Just
506-
{a}
507-
(`$dUnsafeFromData` (headList {data} args))) ]
508-
{all dead. dead})
509-
, (/\dead -> Nothing {a}) ]
510-
{all dead. dead}
497+
(list data -> Maybe a)
498+
index
499+
[ (\(ds : list data) ->
500+
Just {a} (`$dUnsafeFromData` (headList {data} ds)))
501+
, (\(ds : list data) -> Nothing {a}) ]
502+
args
511503
in
512504
letrec
513505
~matchData_go : list (pair data data) -> List (Tuple2 data data)

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.small.budget.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 61517309, exBudgetMemory = ExMemory 277474}
1+
ExBudget {exBudgetCPU = ExCPU 61469309, exBudgetMemory = ExMemory 277174}

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.uplc.golden‎

Lines changed: 750 additions & 754 deletions
Large diffs are not rendered by default.

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.pir.golden‎

Lines changed: 6 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -423,20 +423,12 @@ program
423423
!args : list data = sndPair {integer} {list data} tup
424424
in
425425
case
426-
(all dead. Maybe a)
427-
(equalsInteger 1 index)
428-
[ (/\dead ->
429-
case
430-
(all dead. Maybe a)
431-
(equalsInteger 0 index)
432-
[ (/\dead -> error {Maybe a})
433-
, (/\dead ->
434-
Just
435-
{a}
436-
(`$dUnsafeFromData` (headList {data} args))) ]
437-
{all dead. dead})
438-
, (/\dead -> Nothing {a}) ]
439-
{all dead. dead}
426+
(list data -> Maybe a)
427+
index
428+
[ (\(ds : list data) ->
429+
Just {a} (`$dUnsafeFromData` (headList {data} ds)))
430+
, (\(ds : list data) -> Nothing {a}) ]
431+
args
440432
in
441433
letrec
442434
~matchData_go : list (pair data data) -> List (Tuple2 data data)

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.uplc.golden‎

Lines changed: 31 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -783,19 +783,19 @@ program
783783
(constr 3
784784
[ (constr 1
785785
[ cse
786-
, cse ]) ]))
786+
, (constr 1
787+
[ (constr 0
788+
[ (constr 0
789+
[ ])
790+
, (constr 1
791+
[ cse
792+
, cse ]) ])
793+
, (constr 0
794+
[ ]) ]) ]) ]))
787795
(constr 3
788796
[ (constr 1
789797
[ cse
790-
, (constr 1
791-
[ (constr 0
792-
[ (constr 0
793-
[ ])
794-
, (constr 1
795-
[ cse
796-
, cse ]) ])
797-
, (constr 0
798-
[ ]) ]) ]) ]))
798+
, cse ]) ]))
799799
(constr 1
800800
[ (constr 3
801801
[ (constr 1
@@ -834,8 +834,7 @@ program
834834
, (constr 1
835835
[ cse
836836
, (constr 1
837-
[ (cse
838-
100)
837+
[ cse
839838
, (constr 0
840839
[ ]) ]) ]) ]))
841840
(constr 1
@@ -876,36 +875,33 @@ program
876875
, (constr 0
877876
[ ]) ]))
878877
(constr 1
879-
[ cse
878+
[ (cse
879+
4)
880880
, (constr 0
881881
[ ]) ]))
882882
(constr 1
883883
[ cse
884884
, (constr 0
885885
[ ]) ]))
886-
(constr 0
887-
[ (constr 1
888-
[])
889-
, cse ]))
890-
(cse 2))
891-
(cse 5))
886+
(cse 100))
887+
(cse 1))
888+
(cse 2))
892889
(cse 1))
893-
(constr 0
894-
[ (constr 1 [])
895-
, (constr 1
896-
[ 1
897-
, (constr 0
898-
[]) ]) ]))
899-
(cse 1))
900-
(cse 10))
901-
(cse 4))
902-
(unsafeRatio 0))
903-
(unsafeRatio 9))
904-
(unsafeRatio 4))
905-
(constr 1 [0, (constr 0 [])]))
906-
(unsafeRatio 1))
907-
(unsafeRatio 3))
908-
(unsafeRatio 51))
890+
(cse 5))
891+
(cse 10))
892+
(constr 0
893+
[(constr 1 []), cse]))
894+
(constr 0
895+
[ (constr 1 [])
896+
, (constr 1
897+
[1, (constr 0 [])]) ]))
898+
(unsafeRatio 1))
899+
(unsafeRatio 51))
900+
(unsafeRatio 0))
901+
(unsafeRatio 9))
902+
(unsafeRatio 3))
903+
(constr 1 [0, (constr 0 [])]))
904+
(unsafeRatio 4))
909905
((\s -> s s)
910906
(\s arg ->
911907
delay

‎plutus-benchmark/coop/test/9.6/authMpBurning.eval.golden‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 275_917_863
2-
Memory: 1_044_279
3-
Term Size: 1_898
4-
Flat Size: 5_915
1+
CPU: 263_521_586
2+
Memory: 1_021_910
3+
Term Size: 1_720
4+
Flat Size: 5_582
55

66
(con unit ())

‎plutus-benchmark/coop/test/9.6/authMpMinting.eval.golden‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 592_828_740
2-
Memory: 2_354_957
3-
Term Size: 1_898
4-
Flat Size: 7_312
1+
CPU: 568_485_855
2+
Memory: 2_315_312
3+
Term Size: 1_720
4+
Flat Size: 6_979
55

66
(con unit ())

‎plutus-benchmark/coop/test/9.6/certMpBurning.eval.golden‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
1-
CPU: 2_014_529_180
2-
Memory: 11_164_635
3-
Term Size: 3_619
4-
Flat Size: 8_606
1+
CPU: 1_990_939_611
2+
Memory: 11_112_742
3+
Term Size: 3_433
4+
Flat Size: 8_250
55

66
(con unit ())

0 commit comments

Comments
 (0)