Haskell - исключение readFile catch - PullRequest
Новая
       15

Haskell - исключение readFile catch

3 голосов
/ 08 марта 2011

Я пытаюсь прочитать файл на Haskell с перехватом исключений, но не могу работать.Код выглядит так: 

     module Main where
    import System.Environment
    import System.IO
    import System.Exit

    main = do
        x:xs <- getArgs
        case length(x:xs) of
            2 -> do catch (readFile x)
                        (\_ -> do   putStrLn ("Error on reading file: " ++ x) 
                                    getLine
                                    exitWith ExitSuccess)
            _ -> do putStrLn ("Run this way: ./projekt inputFile RE") >>
                exitFailure

И я получаю эту ошибку: 

Couldn't match expected type `IO String
                              -> (ExitCode -> IO a)
                              -> ExitCode
                              -> IO String'
       against inferred type `IO ()'
In the expression:
    putStrLn
      ("Error on reading file: " ++ x) getLine exitWith ExitSuccess
In the expression:
    do { putStrLn
           ("Error on reading file: " ++ x) getLine exitWith ExitSuccess }
In the second argument of `catch', namely
    `(\ _ -> do { putStrLn
                    ("Error on reading file: " ++ x) getLine exitWith ExitSuccess })'

Можете ли вы дать мне подсказку?Спасибо

Ответы [ 2 ]

3 голосов
/ 08 марта 2011

У вас есть дополнительный >> (или дополнительный do) в строке 13: 

_ -> do putStrLn ("Run this way: ./projekt inputFile RE") >>

должно быть: 

_ -> do putStrLn ("Run this way: ./projekt inputFile RE")

или 

_ -> putStrLn ("Run this way: ./projekt inputFile RE") >> exitFailure

Полный код: 

main = do
l@(x:xs) <- getArgs
case length l of
    2 -> do catch (readFile x) $ \_ -> do
            putStrLn $ "Error on reading file: " ++ x
            getLine
            exitWith ExitSuccess
    _ -> do putStrLn $ "Run this way: ./projekt inputFile RE"
            exitFailure
0 голосов
/ 08 марта 2011

Проверьте ваш отступ.

Несмотря на то, что ваш код выглядит нормально после вставки, в сообщении об ошибке указывается, что, возможно, getLine и exitWith ExitSuccess имеют отступ больше, чем putStrLn выше. Возможно, это проблема пробелов во вкладках?

...