Skip to content

Commit

Permalink
fix modref infos in cap guard
Browse files Browse the repository at this point in the history
  • Loading branch information
jmcardon committed Aug 14, 2023
1 parent 528b0cd commit 7279c83
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/Pact/Eval.hs
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,8 @@ enforceGuard i g = case g of
void $ runSysOnly $ evalByName _ugFun _ugArgs (getInfo i)
GCapability CapabilityGuard{..} -> do
traverse_ (enforcePactId True) _cgPactId
args <- enforcePactValue' _cgArgs
elide <- ifExecutionFlagSet' FlagDisablePact48 id elideModRefInfo
args <- traverse (fmap elide . enforcePactValue) _cgArgs
acquired <- capabilityAcquired $ SigCapability _cgName args
unless acquired $ failTx' i "Capability not acquired"
where
Expand Down

0 comments on commit 7279c83

Please sign in to comment.