|author||Joey Hess||2018-04-23 13:24:54 -0400|
|committer||Joey Hess||2018-04-23 13:24:54 -0400|
update note about singletons library
ghc version is ok to use it now. However, seems debian has not packaged it, so it won't be in stable for years, so I can't even think about using it for propellor. Proably ghc will get built-in singletons support before I can drop the current singletons code.
Diffstat (limited to 'src')
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Propellor/Types/MetaTypes.hs b/src/Propellor/Types/MetaTypes.hs
index 19d1998e..4e4472eb 100644
@@ -66,7 +66,7 @@ type instance IncludesInfo (MetaTypes l) = Elem 'WithInfo l
type MetaTypes = Sing
-- This boilerplate would not be needed if the singletons library were
--- used. However, we're targeting too old a version of ghc to use it yet.
data instance Sing (x :: MetaType) where
OSDebianS :: Sing ('Targeting 'OSDebian)
OSBuntishS :: Sing ('Targeting 'OSBuntish)