import System.Environment
import Control.Applicative
import Control.Monad

import FVL.Parser
import FVL.EF

parseTranslateShow :: String -> Either ParseError String
parseTranslateShow s = case parseString s of
    Left e -> Left e
    Right e -> Right $ showTranslation e

showResult :: Either ParseError Result -> String
showResult (Right (Result (e, t))) = "  => " ++ show e ++ "\n    : " ++ show t
showResult (Right TypeMismatch) = "Error: Type Mismatch"
showResult (Right InconsistentTypes) = "Error: Inconsistent Types"
showResult (Left e) = "Error: " ++ show e

getLines :: IO ()
getLines = do
    l <- getLine
    if l == "\EOT" then return () else do
        putStrLn . showResult $ parseRun l
        getLines
        return ()

getFileLines :: FilePath -> IO ()
getFileLines p = do
    r <- parseFileRun p
    putStrLn $ showResult r

main = do
    a <- getArgs
    case a of
        [] -> getLines
        (p:_) -> getFileLines p