diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-04-27 09:39:55 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-04-27 09:47:07 -0400 |
commit | 937b55549b4ba72b0392d7e139e592a40eec2101 (patch) | |
tree | d11a33aff3bd54c6bc66058028657915481181de /Role/User.hs | |
parent | c13c732ac4174dca2341a8b3ea84582c01ce5cde (diff) | |
download | debug-me-937b55549b4ba72b0392d7e139e592a40eec2101.tar.gz |
rename LogMessage to AnyMessage
Not related to the Log anymore.
Diffstat (limited to 'Role/User.hs')
-rw-r--r-- | Role/User.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Role/User.hs b/Role/User.hs index 51688af..be546cf 100644 --- a/Role/User.hs +++ b/Role/User.hs @@ -54,7 +54,7 @@ run os = fromMaybe (ExitFailure 101) <$> connect _ <- waitCatch p2 return exitstatus -developerMessages :: LogMessage -> Maybe (Message Entered) +developerMessages :: AnyMessage -> Maybe (Message Entered) developerMessages (Developer m) = Just m developerMessages (User _) = Nothing |