@@ -45,6 +45,9 @@ parseCommand cmdString =
45 ts <- P.lex "" s
45 ts <- P.lex "" s
46 P.runTokenParser "" (p <* eof) ts
46 P.runTokenParser "" (p <* eof) ts
48+ trim :: String -> String
49+ trim = trimEnd . trimStart
48 trimStart :: String -> String
51 trimStart :: String -> String
49 trimStart = dropWhile isSpace
52 trimStart = dropWhile isSpace
@@ -59,8 +62,8 @@ parseCommand cmdString =
59 Just D.Reset -> return C.Reset
62 Just D.Reset -> return C.Reset
60 Just D.Import -> C.Import <$> parseRest P.moduleName arg
63 Just D.Import -> C.Import <$> parseRest P.moduleName arg
61 Just D.Browse -> C.Browse <$> parseRest P.moduleName arg
64 Just D.Browse -> C.Browse <$> parseRest P.moduleName arg
62− Just D.Load -> return $ C.LoadFile (trimEnd arg)
65+ Just D.Load -> return $ C.LoadFile (trim arg)
63− Just D.Show -> return $ C.Show (trimEnd arg)
66+ Just D.Show -> return $ C.Show (trim arg)
64 Just D.Type -> C.TypeOf <$> parseRest P.parseValue arg
67 Just D.Type -> C.TypeOf <$> parseRest P.parseValue arg
65 Just D.Kind -> C.KindOf <$> parseRest P.parseType arg
68 Just D.Kind -> C.KindOf <$> parseRest P.parseType arg
66 Nothing -> Left $ "Unrecognized command. Type :? for help."
69 Nothing -> Left $ "Unrecognized command. Type :? for help."