Skip to content

[Builtins] Remove vestiges of 'caseData' #7199

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

Merged
merged 2 commits into from
Jul 14, 2025
Merged

[Builtins] Remove vestiges of 'caseData' #7199

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
14db5e6
[Builtins] Remove vestiges of 'caseData'
effectfully Jul 10, 2025
7f31dc3
Merge branch 'master' of https://github.com/input-output-hk/plutus in…
effectfully Jul 14, 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 @@
2033
2038
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 420427505, exBudgetMemory = ExMemory 2101768}
ExBudget {exBudgetCPU = ExCPU 420523505, exBudgetMemory = ExMemory 2102368}
6 changes: 3 additions & 3 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 @@ -503,7 +503,7 @@ program
{all dead. dead}
in
letrec
~caseData_go : list (pair data data) -> List (Tuple2 data data)
~matchData_go : list (pair data data) -> List (Tuple2 data data)
= (let
a = pair data data
in
Expand All @@ -519,7 +519,7 @@ program
{data}
(fstPair {data} {data} x)
(sndPair {data} {data} x))
(caseData_go xs))
(matchData_go xs))
in
let
!fun : List (Tuple2 data data) -> Bool
Expand Down Expand Up @@ -5363,7 +5363,7 @@ program
{all dead. dead})
nt
(\(ds : Maybe data) (cparams : data) (ds : Maybe bytestring) ->
Just {List (Tuple2 data data)} (caseData_go (unMapData cparams)))
Just {List (Tuple2 data data)} (matchData_go (unMapData cparams)))
(\(void : unit) ->
(let
r = Maybe (List (Tuple2 data data))
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 61549309, exBudgetMemory = ExMemory 277674}
ExBudget {exBudgetCPU = ExCPU 61645309, exBudgetMemory = ExMemory 278274}
1,531 changes: 767 additions & 764 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 @@
2023
2031
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 582792360, exBudgetMemory = ExMemory 2974703}
ExBudget {exBudgetCPU = ExCPU 582936360, exBudgetMemory = ExMemory 2975603}
6 changes: 3 additions & 3 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 @@ -433,7 +433,7 @@ program
{all dead. dead}
in
letrec
~caseData_go : list (pair data data) -> List (Tuple2 data data)
~matchData_go : list (pair data data) -> List (Tuple2 data data)
= (let
a = pair data data
in
Expand All @@ -449,7 +449,7 @@ program
{data}
(fstPair {data} {data} x)
(sndPair {data} {data} x))
(caseData_go xs))
(matchData_go xs))
in
let
!cfg : List (Tuple2 integer ParamValue)
Expand Down Expand Up @@ -5298,7 +5298,7 @@ program
{all dead. dead})
nt
(\(ds : Maybe data) (cparams : data) (ds : Maybe bytestring) ->
Just {List (Tuple2 data data)} (caseData_go (unMapData cparams)))
Just {List (Tuple2 data data)} (matchData_go (unMapData cparams)))
(\(void : unit) ->
(let
r = Maybe (List (Tuple2 data data))
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 59867566, exBudgetMemory = ExMemory 268275}
ExBudget {exBudgetCPU = ExCPU 60011566, exBudgetMemory = ExMemory 269175}
1,666 changes: 835 additions & 831 deletions ...no-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.uplc.golden
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.cbor.size.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2030
2035
2 changes: 1 addition & 1 deletion ...o-constitution/test/Cardano/Constitution/Validator/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 420475505, exBudgetMemory = ExMemory 2102068}
ExBudget {exBudgetCPU = ExCPU 420571505, exBudgetMemory = ExMemory 2102668}
6 changes: 3 additions & 3 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.pir.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -481,7 +481,7 @@ program
Nothing : Maybe a
in
letrec
~caseData_go : list (pair data data) -> List (Tuple2 data data)
~matchData_go : list (pair data data) -> List (Tuple2 data data)
= (let
a = pair data data
in
Expand All @@ -497,7 +497,7 @@ program
{data}
(fstPair {data} {data} x)
(sndPair {data} {data} x))
(caseData_go xs))
(matchData_go xs))
in
let
!fun : List (Tuple2 data data) -> Bool
Expand Down Expand Up @@ -5321,7 +5321,7 @@ program
{data}
(tailList {data} (sndPair {integer} {list data} ds))
in
caseData_go (unMapData d)))
matchData_go (unMapData d)))
(/\dead ->
Bool_match
(case Bool (equalsInteger 2 x) [False, True])
Expand Down
2 changes: 1 addition & 1 deletion ...o-constitution/test/Cardano/Constitution/Validator/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 61597309, exBudgetMemory = ExMemory 277974}
ExBudget {exBudgetCPU = ExCPU 61693309, exBudgetMemory = ExMemory 278574}
1,535 changes: 770 additions & 765 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.uplc.golden
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion ...no-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.cbor.size.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2025
2028
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/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 582936360, exBudgetMemory = ExMemory 2975603}
ExBudget {exBudgetCPU = ExCPU 582984360, exBudgetMemory = ExMemory 2975903}
6 changes: 3 additions & 3 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.pir.golden
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -411,7 +411,7 @@ program
Nothing : Maybe a
in
letrec
~caseData_go : list (pair data data) -> List (Tuple2 data data)
~matchData_go : list (pair data data) -> List (Tuple2 data data)
= (let
a = pair data data
in
Expand All @@ -427,7 +427,7 @@ program
{data}
(fstPair {data} {data} x)
(sndPair {data} {data} x))
(caseData_go xs))
(matchData_go xs))
in
let
!cfg : List (Tuple2 integer ParamValue)
Expand Down Expand Up @@ -5256,7 +5256,7 @@ program
{data}
(tailList {data} (sndPair {integer} {list data} ds))
in
caseData_go (unMapData d)))
matchData_go (unMapData d)))
(/\dead ->
Bool_match
(case Bool (equalsInteger 2 x) [False, True])
Expand Down
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/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 60011566, exBudgetMemory = ExMemory 269175}
ExBudget {exBudgetCPU = ExCPU 60059566, exBudgetMemory = ExMemory 269475}
Loading