@@ -457,14 +457,14 @@ cmd_apropos = packageBasedCmd (some idChar) Apropos
458packageBasedCmd :: P.IdrisParser a -> ([String] -> a -> Command)
458packageBasedCmd :: P.IdrisParser a -> ([String] -> a -> Command)
459 -> String -> P.IdrisParser (Either String Command)
459 -> String -> P.IdrisParser (Either String Command)
460−packageBasedCmd valParser cmd name = do
460+packageBasedCmd valParser cmd name =
461− pkgs <- option [] . try $ do
462− P.lchar '('
461+ try (do P.lchar '('
463− pks <- sepBy (some idChar) (P.lchar ',')
462+ pkgs <- sepBy (some idChar) (P.lchar ',')
464− P.lchar ')'
463+ P.lchar ')'
465− return pks
465+ return (Right (cmd pkgs val)))
466− val <- valParser
466+ <|> do val <- valParser
467− return (Right (cmd pkgs val))
467+ return (Right (cmd [] val))
469cmd_search :: String -> P.IdrisParser (Either String Command)
469cmd_search :: String -> P.IdrisParser (Either String Command)
470cmd_search = packageBasedCmd
470cmd_search = packageBasedCmd