module Main where

-- |
-- Module       : Main
-- Description  : Parse TPTP input either from a file or stdin.
-- Copyright    : (c) Evgenii Kotelnikov, 2019
-- License      : GPL-3
-- Maintainer   : evgeny.kotelnikov@gmail.com
-- Stability    : experimental
--

import System.Environment (getArgs)
import System.Exit (exitSuccess, exitFailure)
import System.IO (stderr, hPutStrLn)
import Data.Maybe (listToMaybe)
import qualified Data.Text.IO as Text.IO
import Data.TPTP.Parse.Text (parseTPTPOnly)

main :: IO ()
main = do
  args  <- getArgs
  input <- case listToMaybe args of
    Just  f -> Text.IO.readFile f
    Nothing -> Text.IO.getContents
  case parseTPTPOnly input of
    Left  e -> hPutStrLn stderr e >> exitFailure
    Right _ -> putStrLn "OK" >> exitSuccess