@@ -29,7 +29,7 @@ parseCmd i inputname = P.runparser pCmd i inputname
2929cmd :: [String] -> P.IdrisParser ()
3030cmd xs = try (do P.lchar ':'; docmd (sortBy (\x y -> compare (length y) (length x)) xs))
3131 where docmd [] = fail "No such command"
32− docmd (x:xs) = try (discard (P.symbol x)) <|> docmd xs
32+ docmd (x:xs) = try (discard (P.reserved x)) <|> docmd xs
3333
3434pCmd :: P.IdrisParser Command
3535pCmd = do P.whiteSpace; do cmd ["q", "quit"]; eof; return Quit
@@ -77,7 +77,7 @@ pCmd = do P.whiteSpace; do cmd ["q", "quit"]; eof; return Quit
7777 <|> do cmd ["set"]; o <- pOption; return (SetOpt o)
7878 <|> do cmd ["unset"]; o <- pOption; return (UnsetOpt o)
7979 <|> do cmd ["s", "search"]; P.whiteSpace;
80− t <- P.typeExpr (defaultSyntax { implicitAllowed = True }); return (Search t)
80+ t <- P.typeExpr (defaultSyntax { implicitAllowed = True }); return (Search t)
8181 <|> do cmd ["cs", "casesplit"]; P.whiteSpace;
8282 upd <- option False (do P.lchar '!'; return True)
8383 l <- P.natural; n <- P.name;