summaryrefslogtreecommitdiff
path: root/src/Propellor/Engine.hs
diff options
context:
space:
mode:
authorJoey Hess2015-01-24 13:59:29 -0400
committerJoey Hess2015-01-24 16:53:59 -0400
commit414ee7eee60300eb7f7c49e4890b056d19b3c59b (patch)
tree93f7ca55067b2c2e00c04110e8605c4d67088fea /src/Propellor/Engine.hs
parent38eec6fc37054df1838be905670e1ed1ff308a65 (diff)
added GADT to determine between a property with info and without
Not yet used
Diffstat (limited to 'src/Propellor/Engine.hs')
-rw-r--r--src/Propellor/Engine.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Propellor/Engine.hs b/src/Propellor/Engine.hs
index 0835660f..ddc22305 100644
--- a/src/Propellor/Engine.hs
+++ b/src/Propellor/Engine.hs
@@ -1,4 +1,5 @@
{-# LANGUAGE PackageImports #-}
+{-# LANGUAGE GADTs #-}
module Propellor.Engine (
mainProperties,
@@ -35,7 +36,7 @@ import Utility.Monad
mainProperties :: Host -> IO ()
mainProperties host = do
ret <- runPropellor host $
- ensureProperties [Property "overall" (ensureProperties $ hostProperties host) mempty mempty]
+ ensureProperties [mkProperty "overall" (ensureProperties ps) mempty mempty]
h <- mkMessageHandle
whenConsole h $
setTitle "propellor: done"
@@ -43,6 +44,8 @@ mainProperties host = do
case ret of
FailedChange -> exitWith (ExitFailure 1)
_ -> exitWith ExitSuccess
+ where
+ ps = hostProperties host
-- | Runs a Propellor action with the specified host.
--