Commit 492c2b48 authored by Peter Achten's avatar Peter Achten
Browse files

*** empty log message ***

parent 77824798
......@@ -55,9 +55,9 @@ invariantLogAccounts id accounts = invariantLogins id [login \\ {login} <- accou
invariantLogins :: String [Login] -> Judgement
invariantLogins id [] = Ok
invariantLogins id [login=:{loginName,password=(PasswordBox mypassword)}:logins]
invariantLogins id [login=:{loginName,password=PasswordBox mypassword}:logins]
| loginName == "" = Just (id,"login name is not specified!")
| mypassword == "" = Just (id,"password required!")
//| mypassword == "" = Just (id,"password required!")
| isMember login logins = Just (id,"login name " +++ loginName +++ " is already being used!")
| size mypassword < 6 = Just (id,"at least 6 characters required for a password!")
= invariantLogins id logins
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment