Update to lts-13.29, support ghc 8.6.5, and aeson 1.4.

First tried lts-14.7, but the version of cabal-install currently in debian
unstable (2.2.0.0) is not able to parse its cabal files.

Small fix for MonadFail changes.

This commit was sponsored by Jochen Bartl on Patreon.

4 files changed, 27 insertions, 17 deletions

diff --git a/CHANGELOG b/CHANGELOG
index cb3b0de..f16e1b1 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,9 @@
+debug-me (1.20190926) UNRELEASED; urgency=medium
+
+  * Update to lts-13.29, support ghc 8.6.5, and aeson 1.4.
+
+ -- Joey Hess <id@joeyh.name>  Thu, 26 Sep 2019 19:44:58 -0400
+
 debug-me (1.20181208) unstable; urgency=medium
 
   * Update to lts-12.10, support ghc 8.4, and aeson 1.3.
diff --git a/Role/User.hs b/Role/User.hs
index 6ec0302..987b880 100644
--- a/Role/User.hs
+++ b/Role/User.hs
@@ -247,17 +247,17 @@ getDeveloperMessage ichan ochan us now = maybe
 getDeveloperMessage' :: MissingHashes (Message Entered) -> TMChan (Message Seen) -> TVar UserState -> POSIXTime -> STM Input
 getDeveloperMessage' (MissingHashes wiremsg) ochan us now = do
 	st <- readTVar us
-	Developer msg <- restoreHashes (userStateRecentActivity us) (MissingHashes (Developer wiremsg))
+	msg <- restoreHashes (userStateRecentActivity us) (MissingHashes (Developer wiremsg))
 	case msg of
-		ControlMessage (Control (SessionKey spk _) _) -> do
+		Developer cmsg@(ControlMessage (Control (SessionKey spk _) _)) -> do
 			let sigverifier = mkSigVerifier $ case spk of
 				GpgSigned pk _ _ -> pk
 				UnSigned pk -> pk
-			if verifySigned sigverifier msg
-				then return (InputMessage msg)
-				else return (BadlySignedMessage msg)
-		_ -> if verifySigned (sigVerifier st) msg
-			then case msg of
+			if verifySigned sigverifier cmsg
+				then return (InputMessage cmsg)
+				else return (BadlySignedMessage cmsg)
+		Developer cmsg -> if verifySigned (sigVerifier st) cmsg
+			then case cmsg of
 				ActivityMessage entered -> do
 					-- Don't need to retain backlog
 					-- before the Activity that entered
@@ -266,22 +266,26 @@ getDeveloperMessage' (MissingHashes wiremsg) ochan us now = do
 						truncateBacklog (backLog st) entered
 					if isLegalEntered entered (st { backLog = bl' })
 						then do
-							let l = mkLog (Developer msg) now
+							let l = mkLog (Developer cmsg) now
 							writeTVar us $ st 
 								{ backLog = l :| toList bl'
 								, lastAcceptedEntered = Just (hash entered)
 								}
-							return (InputMessage msg)
+							return (InputMessage cmsg)
 						else do
 							let reject = EnteredRejected 
 								{ enteredRejected = hash entered
 								, enteredLastAccepted = lastAcceptedEntered st
 								}
-							RejectedMessage msg
+							RejectedMessage cmsg
 								<$> sendDeveloper ochan us reject now
 				ControlMessage (Control _ _) ->
-					return (InputMessage msg)
-			else return (BadlySignedMessage msg)
+					return (InputMessage cmsg)
+			else return (BadlySignedMessage cmsg)
+		-- This cannot really happen, because restoreHashes is
+		-- always passed a Developer message, but ghc doesn't know
+		-- that.
+		User _ -> error "unexpectedly received User message where Developer message expected"
 
 -- | Truncate the Backlog to remove entries older than the one
 -- that the Activity Entered refers to, but only if the referred
diff --git a/debug-me.cabal b/debug-me.cabal
index 385ef8a..31aaad2 100644
--- a/debug-me.cabal
+++ b/debug-me.cabal
@@ -1,5 +1,5 @@
 Name: debug-me
-Version: 1.20181208
+Version: 1.20190926
 Cabal-Version: >= 1.8
 Maintainer: Joey Hess <joey@kitenet.net>
 Author: Joey Hess
@@ -63,7 +63,7 @@ Executable debug-me
     , stm-chans (>= 3.0)
     , posix-pty (>= 0.2.1)
     , terminal-size (>= 0.3)
-    , aeson (>= 0.11 && < 1.4)
+    , aeson (>= 0.11 && < 1.5)
     , sandi (>= 0.4)
     , text (>= 1.2.2)
     , optparse-applicative (>= 0.12)
diff --git a/stack.yaml b/stack.yaml
index ca6d0ad..c8d8fef 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -1,8 +1,8 @@
 packages:
 - '.'
-resolver: lts-12.10
+resolver: lts-13.29
 extra-deps:
-- graphviz-2999.20.0.2
+- graphviz-2999.20.0.3
 - posix-pty-0.2.1.1
-- sandi-0.4.2
+- sandi-0.5
 explicit-setup-deps: