Skip to content

Commit

Permalink
Bump plutarch dep.
Browse files Browse the repository at this point in the history
  • Loading branch information
j-mueller committed Dec 17, 2024
1 parent 58c8c17 commit 7181d48
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion cabal.project
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ packages:
source-repository-package
type: git
location: https://github.com/colll78/plutarch-plutus
tag: 548cb641378b4c00bc02abfdcd723821b08141f5
tag: b2379767c7f1c70acf28206bf922f128adc02f28
subdir:
.
plutarch-ledger-api
Expand Down
4 changes: 2 additions & 2 deletions src/plutarch-onchain-lib/lib/Plutarch/Core/List.hs
Original file line number Diff line number Diff line change
Expand Up @@ -158,10 +158,10 @@ penforceNSpendRedeemers n rdmrs =

pisUniqueSet :: Term s (PInteger :--> PBuiltinList PInteger :--> PBool)
pisUniqueSet = phoistAcyclic $ plam $ \n xs ->
let flagUniqueBits = pwriteBits # emptyByteArray # xs # pconstant [True]
let flagUniqueBits = pwriteBits # emptyByteArray # xs # pconstant True
in (pcountSetBits # flagUniqueBits #== (pbuiltinListLengthFast # n # xs))

phasNUniqueElements :: Term s (PInteger :--> PBuiltinList PInteger :--> PBool)
phasNUniqueElements = phoistAcyclic $ plam $ \n xs ->
let flagUniqueBits = pwriteBits # emptyByteArray # xs # pconstant [True]
let flagUniqueBits = pwriteBits # emptyByteArray # xs # pconstant True
in (pcountSetBits # flagUniqueBits #== n)

0 comments on commit 7181d48

Please sign in to comment.