From 409e7246e0b10200b4378d6ec099e03bbc6c1434 Mon Sep 17 00:00:00 2001 From: Philippe Pittoli Date: Fri, 8 Nov 2024 00:37:57 +0100 Subject: [PATCH] Simple fix for the error in login parsing. --- src/App/Validation/Login.purs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/App/Validation/Login.purs b/src/App/Validation/Login.purs index ffcead0..84af17e 100644 --- a/src/App/Validation/Login.purs +++ b/src/App/Validation/Login.purs @@ -4,6 +4,7 @@ import Prelude import Control.Alt ((<|>)) import Data.Either (Either(..)) +import Data.Array as A import Data.Maybe (Maybe(..)) import Data.Validation.Semigroup (V, invalid, toEither) @@ -33,7 +34,7 @@ login_parser :: G.Parser LoginParsingError String login_parser = do input <- G.current_input _ <- (alpha <|> digit) G.<:> \_ -> CannotParse - _ <- G.many1 (alpha <|> digit <|> G.char ' ' <|> G.char '_' <|> G.char '\'' <|> G.char '-') G.<:> \_ -> CannotParse + _ <- A.many (alpha <|> digit <|> G.char ' ' <|> G.char '_' <|> G.char '\'' <|> G.char '-') _ <- SomeParsers.eof G.<:> \_ -> CannotEntirelyParse let last_char_correct = G.parse_last_char input.string (alpha <|> digit) pos <- G.current_position