summaryrefslogtreecommitdiff
path: root/src/Propellor
diff options
context:
space:
mode:
authorJoey Hess2018-04-23 13:24:54 -0400
committerJoey Hess2018-04-23 13:24:54 -0400
commitab91fd81a9e026751fe32af69e95fd97e68cbf3e (patch)
tree8b09464a03602f07077410e8ed925f1915bb822f /src/Propellor
parent9228bda32f0a3f6d52e7cc5eb444376e7b024d8c (diff)
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/Propellor')
-rw-r--r--src/Propellor/Types/MetaTypes.hs2
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
--- 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)