diff options
| author | Joey Hess <joeyh@joeyh.name> | 2018-04-23 13:24:54 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2018-04-23 13:24:54 -0400 |
| commit | ab91fd81a9e026751fe32af69e95fd97e68cbf3e (patch) | |
| tree | 8b09464a03602f07077410e8ed925f1915bb822f /src/Propellor | |
| parent | 9228bda32f0a3f6d52e7cc5eb444376e7b024d8c (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.hs | 2 |
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) |