Authentication: dedicated message for users without a validated email address.

src/App/Container.purs

@@ -545,6 +545,11 @@ handleAction = case _ of
             handleAction $ Log $ ErrorLog "TODO: received a GotPermissionCheck message."
           (AuthD.GotPermissionSet _) -> do
             handleAction $ Log $ ErrorLog "Received a GotPermissionSet message."
+          (AuthD.GotErrorEmailAddressNotValidated _) -> do
+            handleAction $ Log $ ErrorLog """
+                Cannot authenticate: your email address hasn't been validated.
+                Please check your email inbox.
+                """
           m@(AuthD.GotPasswordRecovered _) -> do
             handleAction $ Log $ SuccessLog "your new password is now valid."
             handleAction $ DispatchAuthDaemonMessage m

src/App/Message/AuthenticationDaemon.purs

@@ -344,6 +344,11 @@ type ErrorPasswordTooLong = {}
 codecGotErrorPasswordTooLong :: CA.JsonCodec ErrorPasswordTooLong
 codecGotErrorPasswordTooLong = CA.object "ErrorPasswordTooLong" (CAR.record {})
 
+{- 36 -}
+type ErrorEmailAddressNotValidated = {}
+codecGotErrorEmailAddressNotValidated :: CA.JsonCodec ErrorEmailAddressNotValidated
+codecGotErrorEmailAddressNotValidated = CA.object "ErrorEmailAddressNotValidated" (CAR.record {})
+
 {- 250 -}
 -- type KeepAlive = { }
 codecGotKeepAlive ∷ CA.JsonCodec KeepAlive
@@ -399,6 +404,7 @@ data AnswerMessage
   | GotErrorCannotContactUser        ErrorCannotContactUser        -- 33
   | GotErrorInvalidRenewKey          ErrorInvalidRenewKey          -- 34
   | GotErrorPasswordTooLong          ErrorPasswordTooLong          -- 35
+  | GotErrorEmailAddressNotValidated ErrorEmailAddressNotValidated -- 36
   | GotKeepAlive                     KeepAlive                     -- 250
 
 encode ∷ RequestMessage -> Tuple UInt String
@@ -462,6 +468,7 @@ decode number string
     33  -> error_management codecGotErrorCannotContactUser        GotErrorCannotContactUser
     34  -> error_management codecGotErrorInvalidRenewKey          GotErrorInvalidRenewKey
     35  -> error_management codecGotErrorPasswordTooLong          GotErrorPasswordTooLong
+    36  -> error_management codecGotErrorEmailAddressNotValidated GotErrorEmailAddressNotValidated
     250 -> error_management codecGotKeepAlive                     GotKeepAlive
     _  -> Left UnknownNumber
   where