From ab91fd81a9e026751fe32af69e95fd97e68cbf3e Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 23 Apr 2018 13:24:54 -0400 Subject: 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. --- src/Propellor/Types/MetaTypes.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/Propellor/Types/MetaTypes.hs b/src/Propellor/Types/MetaTypes.hs index 19d1998e..4e4472eb 100644 --- a/src/Propellor/Types/MetaTypes.hs +++ b/src/Propellor/Types/MetaTypes.hs @@ -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. +-- used. data instance Sing (x :: MetaType) where OSDebianS :: Sing ('Targeting 'OSDebian) OSBuntishS :: Sing ('Targeting 'OSBuntish) -- cgit v1.2.3