@@ -309,14 +309,14 @@ cmd_execute name = do
309309
310310cmd_dynamic :: String -> P.IdrisParser (Either String Command)
311311cmd_dynamic name = do
312− let emptyArgs = noArgs ListDynamic name
313−
314− let oneArg = do l <- many anyChar
315− return $ Right (DynamicLink l)
312+ let optArg = do l <- many anyChar
313+ if (l /= "")
314+ then return $ Right (DynamicLink l)
315+ else return $ Right ListDynamic
316316
317317 let failure = return $ Left $ "Usage is :" ++ name ++ " [<library>]"
318318
319− try emptyArgs <|> try oneArg <|> failure
319+ try optArg <|> failure
320320
321321cmd_pprint :: String -> P.IdrisParser (Either String Command)
322322cmd_pprint name = do