@@ -309,14 +309,14 @@ cmd_execute name = do
310cmd_dynamic :: String -> P.IdrisParser (Either String Command)
310cmd_dynamic :: String -> P.IdrisParser (Either String Command)
311cmd_dynamic name = do
311cmd_dynamic name = do
312− let emptyArgs = noArgs ListDynamic name
314− let oneArg = do l <- many anyChar
312+ let optArg = do l <- many anyChar
315− return $ Right (DynamicLink l)
314+ then return $ Right (DynamicLink l)
315+ else return $ Right ListDynamic
317 let failure = return $ Left $ "Usage is :" ++ name ++ " [<library>]"
317 let failure = return $ Left $ "Usage is :" ++ name ++ " [<library>]"
319− try emptyArgs <|> try oneArg <|> failure
319+ try optArg <|> failure
321cmd_pprint :: String -> P.IdrisParser (Either String Command)
321cmd_pprint :: String -> P.IdrisParser (Either String Command)
322cmd_pprint name = do
322cmd_pprint name = do