From ace352cc0aa732d00900122e0ab8552c870f3901 Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Mon, 19 Oct 2015 12:33:18 -0400
Subject: improve Info type using GADT, at nomeata's suggestion

This makes Show Info work, and simplifies the implementation.
---
 src/Propellor/Property/Ssh.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Propellor/Property/Ssh.hs')

diff --git a/src/Propellor/Property/Ssh.hs b/src/Propellor/Property/Ssh.hs
index ea38980b..fa07c6f8 100644
--- a/src/Propellor/Property/Ssh.hs
+++ b/src/Propellor/Property/Ssh.hs
@@ -209,7 +209,7 @@ getHostPubKey = fromHostKeyInfo <$> askInfo
 
 newtype HostKeyInfo = HostKeyInfo 
 	{ fromHostKeyInfo :: M.Map SshKeyType PubKeyText }
-	deriving (Eq, Ord, Typeable)
+	deriving (Eq, Ord, Typeable, Show)
 
 instance IsInfo HostKeyInfo where
 	propagateInfo _ = False
@@ -230,7 +230,7 @@ getUserPubKeys u = maybe [] S.toList . M.lookup u . fromUserKeyInfo <$> askInfo
 
 newtype UserKeyInfo = UserKeyInfo
 	{ fromUserKeyInfo :: M.Map User (S.Set (SshKeyType, PubKeyText)) }
-	deriving (Eq, Ord, Typeable)
+	deriving (Eq, Ord, Typeable, Show)
 
 instance IsInfo UserKeyInfo where
 	propagateInfo _ = False
-- 
cgit v1.3-2-g0d8e