Skip to content

[Builtin] Casing on Data.Constr #7315

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

[Builtin] Casing on Data.Constr #7315

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
429b4c1
Add `Data` casing specialized for matching `Constr`
SeungheonOh Sep 3, 2025
3375bf3
Make typechecker work
SeungheonOh Sep 5, 2025
78579b4
Make Plinth use `Data.Constr` casing. Broken WIP
SeungheonOh Sep 6, 2025
d142d73
fix stuff. It works now!
SeungheonOh Sep 8, 2025
190c255
Cover more CoreExpr patterns
SeungheonOh Sep 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.cbor.size.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2045
2047
2 changes: 1 addition & 1 deletion ...stitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.large.budget.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 406467137, exBudgetMemory = ExMemory 2070956}
ExBudget {exBudgetCPU = ExCPU 406515137, exBudgetMemory = ExMemory 2071256}
28 changes: 10 additions & 18 deletions cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.pir.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -488,21 +488,11 @@ program
all a. (\a -> data -> a) a -> data -> Maybe a
= /\a ->
\(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) ->
(let
b = list data
in
/\r ->
\(p : pair integer b) (f : integer -> b -> r) -> case r p [f])
{Maybe a}
(unConstrData d)
(\(index : integer) (args : list data) ->
case
(list data -> Maybe a)
index
[ (\(ds : list data) ->
Just {a} (`$dUnsafeFromData` (headList {data} ds)))
, (\(ds : list data) -> Nothing {a}) ]
args)
case
(Maybe a)
d
[ (\(arg : data) -> Just {a} (`$dUnsafeFromData` arg))
, (Nothing {a}) ]
in
letrec
~matchData_go : list (pair data data) -> List (Tuple2 data data)
Expand All @@ -516,10 +506,12 @@ program
(\(x : pair data data) (xs : list (pair data data)) ->
Cons
{Tuple2 data data}
(case
(Tuple2 data data)
((let
r = Tuple2 data data
in
\(p : pair data data) (f : data -> data -> r) -> case r p [f])
x
[(\(l : data) (r : data) -> Tuple2 {data} {data} l r)])
(\(l : data) (r : data) -> Tuple2 {data} {data} l r))
(matchData_go xs))
in
let
Expand Down
2 changes: 1 addition & 1 deletion ...stitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.small.budget.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 60269664, exBudgetMemory = ExMemory 276518}
ExBudget {exBudgetCPU = ExCPU 60317664, exBudgetMemory = ExMemory 276818}
1,527 changes: 765 additions & 762 deletions cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.uplc.golden
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion ...nstitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.cbor.size.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2041
2039
2 changes: 1 addition & 1 deletion ...itution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.large.budget.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 568927992, exBudgetMemory = ExMemory 2944491}
ExBudget {exBudgetCPU = ExCPU 568879992, exBudgetMemory = ExMemory 2944191}
28 changes: 10 additions & 18 deletions ...ano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.pir.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -417,21 +417,11 @@ program
all a. (\a -> data -> a) a -> data -> Maybe a
= /\a ->
\(`$dUnsafeFromData` : (\a -> data -> a) a) (d : data) ->
(let
b = list data
in
/\r ->
\(p : pair integer b) (f : integer -> b -> r) -> case r p [f])
{Maybe a}
(unConstrData d)
(\(index : integer) (args : list data) ->
case
(list data -> Maybe a)
index
[ (\(ds : list data) ->
Just {a} (`$dUnsafeFromData` (headList {data} ds)))
, (\(ds : list data) -> Nothing {a}) ]
args)
case
(Maybe a)
d
[ (\(arg : data) -> Just {a} (`$dUnsafeFromData` arg))
, (Nothing {a}) ]
in
letrec
~matchData_go : list (pair data data) -> List (Tuple2 data data)
Expand All @@ -445,10 +435,12 @@ program
(\(x : pair data data) (xs : list (pair data data)) ->
Cons
{Tuple2 data data}
(case
(Tuple2 data data)
((let
r = Tuple2 data data
in
\(p : pair data data) (f : data -> data -> r) -> case r p [f])
x
[(\(l : data) (r : data) -> Tuple2 {data} {data} l r)])
(\(l : data) (r : data) -> Tuple2 {data} {data} l r))
(matchData_go xs))
in
let
Expand Down
2 changes: 1 addition & 1 deletion ...itution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.small.budget.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 58683921, exBudgetMemory = ExMemory 267719}
ExBudget {exBudgetCPU = ExCPU 58635921, exBudgetMemory = ExMemory 267419}
1,663 changes: 830 additions & 833 deletions ...no-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.uplc.golden
View file
Open in desktop

Large diffs are not rendered by default.

8 changes: 4 additions & 4 deletions plutus-benchmark/coop/test/9.6/authMpBurning.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 160_613_384
Memory: 799_466
Term Size: 1_473
Flat Size: 5_393
CPU: 78_597_023
Memory: 464_146
Term Size: 951
Flat Size: 4_946

(con unit ())
8 changes: 4 additions & 4 deletions plutus-benchmark/coop/test/9.6/authMpMinting.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 369_713_157
Memory: 1_849_456
Term Size: 1_473
Flat Size: 6_790
CPU: 198_392_236
Memory: 1_148_576
Term Size: 951
Flat Size: 6_343

(con unit ())
8 changes: 4 additions & 4 deletions plutus-benchmark/coop/test/9.6/certMpBurning.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 1_842_342_144
Memory: 10_767_218
Term Size: 3_160
Flat Size: 8_041
CPU: 1_726_944_433
Memory: 10_326_806
Term Size: 2_604
Flat Size: 7_566

(con unit ())
8 changes: 4 additions & 4 deletions plutus-benchmark/coop/test/9.6/certMpMinting.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 400_086_379
Memory: 2_025_456
Term Size: 3_160
Flat Size: 8_564
CPU: 242_634_088
Memory: 1_422_048
Term Size: 2_604
Flat Size: 8_089

(con unit ())
8 changes: 4 additions & 4 deletions plutus-benchmark/coop/test/9.6/fsMpBurning.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 221_694_924
Memory: 1_160_575
Term Size: 3_571
Flat Size: 7_405
CPU: 152_437_298
Memory: 899_055
Term Size: 2_947
Flat Size: 6_875

(con unit ())
8 changes: 4 additions & 4 deletions plutus-benchmark/coop/test/9.6/fsMpMinting.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 568_150_641
Memory: 3_047_567
Term Size: 3_571
Flat Size: 9_223
CPU: 422_773_415
Memory: 2_495_655
Term Size: 2_947
Flat Size: 8_693

(con unit ())
8 changes: 4 additions & 4 deletions plutus-benchmark/coop/test/9.6/mustBurnOwnSingleton.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 114_113_035
Memory: 579_805
Term Size: 1_274
Flat Size: 3_833
CPU: 63_288_463
Memory: 372_773
Term Size: 759
Flat Size: 3_392

(con unit ())
8 changes: 4 additions & 4 deletions plutus-benchmark/linear-vesting/test/9.6/main.eval.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
CPU: 30_837_131
Memory: 131_619
Term Size: 2_421
Flat Size: 2_860
CPU: 26_581_286
Memory: 114_219
Term Size: 2_253
Flat Size: 2_727

(con unit ())
Loading
Loading