summaryrefslogtreecommitdiff
path: root/src/Propellor/Property/Atomic.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Propellor/Property/Atomic.hs')
-rw-r--r--src/Propellor/Property/Atomic.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Propellor/Property/Atomic.hs b/src/Propellor/Property/Atomic.hs
index 2c7433f6..8f2ef1d3 100644
--- a/src/Propellor/Property/Atomic.hs
+++ b/src/Propellor/Property/Atomic.hs
@@ -47,7 +47,7 @@ type CheckAtomicResourcePair a = AtomicResourcePair a -> Propellor (AtomicResour
-- atomically activating that resource.
atomicUpdate
-- Constriaint inherited from ensureProperty.
- :: (EnsurePropertyAllowed t t ~ 'True)
+ :: EnsurePropertyAllowed t t
=> SingI t
=> AtomicResourcePair a
-> CheckAtomicResourcePair a
@@ -91,7 +91,7 @@ atomicUpdate rbase rcheck rswap mkp = property' d $ \w -> do
-- of the directory, with names suffixed with ".1" and ".2"
atomicDirUpdate
-- Constriaint inherited from ensureProperty.
- :: (EnsurePropertyAllowed t t ~ 'True)
+ :: EnsurePropertyAllowed t t
=> SingI t
=> FilePath
-> (FilePath -> Property (MetaTypes t))