import Control.Monad (void)
import Control.Monad.Loops (whileJust_)
import Data.Function ((&))
import Effectful (runEff)
import Effectful.Resource (runResource)
import Hsm.Log (Severity (Trace), runLog)
import Hsm.Repl (repl, runRepl)

main :: IO ()
main =
  void (whileJust_ repl return)
    & runRepl @"exec-repl λ " @'["Prelude"] @[Bool]
    & runLog @"repl" Trace
    & runResource
    & runEff