@@ -51,7 +51,9 @@ import Text.Trifecta.Result (ErrInfo(..), Result(..))
51runMain :: Idris () -> IO ()
51runMain :: Idris () -> IO ()
52runMain prog = do res <- runExceptT $ execStateT prog idrisInit
52runMain prog = do res <- runExceptT $ execStateT prog idrisInit
53 case res of
53 case res of
54− Left err -> putStrLn $ "Uncaught error: " ++ show err
55+ putStrLn $ "Uncaught error: " ++ show err
55 Right _ -> return ()
57 Right _ -> return ()