module Runner where

import Control.Monad.Trans (liftIO)

import Control.Monad.Trans.Except (runExceptT, except)
import qualified Data.ByteString as B

import Assembler.Compiler (compile)
import VirtualMachine.VM (VM(..), empty)
import qualified VirtualMachine.Interpreter as VM (run)

run :: String -> IO (Either String VM)
run = exec empty

runDebug :: String -> IO (Either String VM)
runDebug = exec empty { _debug = True }

exec :: VM -> String -> IO (Either String VM)
exec vm input = runExceptT $ (except . compile) input >>= (liftIO . VM.run vm . B.pack) >>= except