module Main(main) where

import Control.Monad((>=>))
import Control.Monad.Reader(asks)
import Control.Monad.Trans(lift)
import Data.Bifoldable(bitraverse_)
import Data.Foldable(traverse_)
import Data.Text(Text)
import Data.Text.IO qualified as T
import Data.Tuple(swap)
import System.Exit(exitFailure)

import Control.Monad.Comp(CompT, runCompT)
import Language.OpLang.Codegen(compile)
import Language.OpLang.Optimizer(optimize)
import Language.OpLang.Parser(parse)
import Language.OpLang.Validation(validate)
import Opts(Opts(..), getOpts)

getCode :: CompT IO Text
getCode = lift . T.readFile =<< asks (.path)

pipeline :: CompT IO ()
pipeline =
  getCode >>= (parse >=> validate >=> optimize >=> compile)

main :: IO ()
main =
  getOpts
  >>= runCompT pipeline
  >>= bitraverse_ (traverse_ T.putStrLn) (maybe exitFailure pure) . swap