@@ -25,7 +25,9 @@ import Data.Char(isSpace, toLower)
2525import qualified Data.ByteString.UTF8 as UTF8
2626
2727parseCmd :: 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
29+ where trim = f . f
30+ where f = reverse . dropWhile isSpace
2931
3032type CommandTable = [ ( [String], CmdArg, String
3133 , String -> P.IdrisParser (Either String Command) ) ]