@@ -25,7 +25,9 @@ import Data.Char(isSpace, toLower)
25import qualified Data.ByteString.UTF8 as UTF8
25import qualified Data.ByteString.UTF8 as UTF8
27parseCmd :: IState -> String -> String -> Result (Either String Command)
27parseCmd :: IState -> String -> String -> Result (Either String Command)
28−parseCmd i inputname = P.runparser pCmd i inputname . dropWhile isSpace
28+parseCmd i inputname = P.runparser pCmd i inputname . trim
30+ where f = reverse . dropWhile isSpace
30type CommandTable = [ ( [String], CmdArg, String
32type CommandTable = [ ( [String], CmdArg, String
31 , String -> P.IdrisParser (Either String Command) ) ]
33 , String -> P.IdrisParser (Either String Command) ) ]