diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-01-24 13:59:29 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-01-24 16:53:59 -0400 |
| commit | 414ee7eee60300eb7f7c49e4890b056d19b3c59b (patch) | |
| tree | 93f7ca55067b2c2e00c04110e8605c4d67088fea /src/Propellor/Engine.hs | |
| parent | 38eec6fc37054df1838be905670e1ed1ff308a65 (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.hs | 5 |
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. -- |