Skip to content

Mystery #7681

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
zliu41 wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Mystery #7681

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2049
2054
2 changes: 1 addition & 1 deletion ...stitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 403059137, exBudgetMemory = ExMemory 2049656}
ExBudget {exBudgetCPU = ExCPU 403155137, exBudgetMemory = ExMemory 2050256}
2 changes: 1 addition & 1 deletion ...stitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 59437664, exBudgetMemory = ExMemory 271318}
ExBudget {exBudgetCPU = ExCPU 59533664, exBudgetMemory = ExMemory 271918}
1,552 changes: 778 additions & 774 deletions cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.uplc
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.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2048
2040
2 changes: 1 addition & 1 deletion ...itution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 566095992, exBudgetMemory = ExMemory 2926791}
ExBudget {exBudgetCPU = ExCPU 565951992, exBudgetMemory = ExMemory 2925891}
2 changes: 1 addition & 1 deletion ...itution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 58011921, exBudgetMemory = ExMemory 263519}
ExBudget {exBudgetCPU = ExCPU 57867921, exBudgetMemory = ExMemory 262619}
1,664 changes: 830 additions & 834 deletions ...no-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.uplc
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.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2052
2050
2 changes: 1 addition & 1 deletion ...o-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 403299137, exBudgetMemory = ExMemory 2051156}
ExBudget {exBudgetCPU = ExCPU 403251137, exBudgetMemory = ExMemory 2050856}
2 changes: 1 addition & 1 deletion ...o-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 59677664, exBudgetMemory = ExMemory 272818}
ExBudget {exBudgetCPU = ExCPU 59629664, exBudgetMemory = ExMemory 272518}
1,534 changes: 766 additions & 768 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.uplc
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.golden.cbor.size
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
2041
2044
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.large.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 566143992, exBudgetMemory = ExMemory 2927091}
ExBudget {exBudgetCPU = ExCPU 566191992, exBudgetMemory = ExMemory 2927391}
2 changes: 1 addition & 1 deletion ...constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.small.budget
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
ExBudget {exBudgetCPU = ExCPU 58059921, exBudgetMemory = ExMemory 263819}
ExBudget {exBudgetCPU = ExCPU 58107921, exBudgetMemory = ExMemory 264119}
1,624 changes: 813 additions & 811 deletions cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.uplc
View file
Open in desktop

Large diffs are not rendered by default.

3 changes: 3 additions & 0 deletions plutus-tx-plugin/src/PlutusTx/Compiler/Builtins.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -218,6 +218,7 @@ builtinNames =
, 'Builtins.ifThenElse
, ''Builtins.BuiltinUnit
, 'Builtins.unitval
, 'Builtins.anotherUnitval
, 'Builtins.chooseUnit
, ''Builtins.BuiltinPair
, 'Builtins.fst
Expand Down Expand Up @@ -374,6 +375,8 @@ defineBuiltinTerms = do
-- Unit constant
defineBuiltinTerm annMayInline 'Builtins.unitval $ PIR.mkConstant annMayInline ()

defineBuiltinTerm annMayInline 'Builtins.anotherUnitval $ PIR.mkConstant annMayInline ()

-- ByteString constant
defineBuiltinTerm annMayInline 'Builtins.emptyByteString $ PIR.mkConstant annMayInline BS.empty

Expand Down
4 changes: 4 additions & 0 deletions plutus-tx/src/PlutusTx/Builtins/Internal.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -130,6 +130,10 @@ unitval :: BuiltinUnit
unitval = BuiltinUnit ()
{-# OPAQUE unitval #-}

anotherUnitval :: BuiltinUnit
anotherUnitval = BuiltinUnit ()
{-# OPAQUE anotherUnitval #-}

chooseUnit :: BuiltinUnit -> a -> a
chooseUnit (BuiltinUnit ()) a = a
{-# OPAQUE chooseUnit #-}
Expand Down
Loading