fix conditional

pact.cabal

@@ -253,6 +253,7 @@ library
     , statistics >=0.13.3
     , text >=2
     , time
+    , transformers >= 0.5.2.0 && < 0.7
     , trifecta >=2.1.1.1
     , unordered-containers >=0.2.19
     , utf8-string >=1.0.1.1
@@ -327,7 +328,6 @@ library
       , sbv >=9.0
       , semigroupoids >=5.0
       , servant-server
-      , transformers >= 0.5.2.0 && < 0.7
       , wai-cors
       , warp
     if !os(windows)

src/Pact/Runtime/Capabilities.hs

@@ -49,8 +49,6 @@ import Pact.Types.Pretty
 import Pact.Types.Runtime
 import Pact.Runtime.Utils
 
-import Debug.Trace
-
 -- | Tie the knot with Pact.Eval by having caller supply `apply` etc
 type ApplyMgrFun e = Def Ref -> PactValue -> PactValue -> Eval e PactValue
 -- | More knot tying to on-demand install a managed cap
@@ -303,10 +301,10 @@ checkSigCaps sigs = go
       wl <- checkWhiteListed
       return $ M.filter (match (S.null autos) granted wl) sigs
 
-    match allowEmpty granted whitelist sigCaps  =
+    match allowEmpty granted capsDonatingSigs sigCaps  =
       (S.null sigCaps && allowEmpty) ||
       not (S.null (S.intersection granted sigCaps)) ||
-      (not (S.null whitelist) && all (\c -> S.member (_scName c) whitelist) sigCaps)
+      (not (S.null (S.intersection capsDonatingSigs (S.map _scName sigCaps))))
 
 findFirstUserCall :: Eval e (Maybe QualifiedName)
 findFirstUserCall = use evalCallStack >>= go