diff options
| author | Paul Oliver <contact@pauloliver.dev> | 2025-08-22 04:06:44 +0000 |
|---|---|---|
| committer | Paul Oliver <contact@pauloliver.dev> | 2025-08-23 22:59:12 +0000 |
| commit | 5a78bc1885ad7d6fd7ad63d6ef900188ab38a80c (patch) | |
| tree | 38f30d67e924a5ed67d7a35cd1b71b2cff7f131e /hsm-repl/Test/Repl.hs | |
| parent | 82b02509150b615360118ca381ad8c9fd39d2f29 (diff) | |
Improves formatting again
Diffstat (limited to 'hsm-repl/Test/Repl.hs')
| -rw-r--r-- | hsm-repl/Test/Repl.hs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/hsm-repl/Test/Repl.hs b/hsm-repl/Test/Repl.hs index 3b0e534..2d299b8 100644 --- a/hsm-repl/Test/Repl.hs +++ b/hsm-repl/Test/Repl.hs @@ -1,13 +1,8 @@ -import Control.Monad (void) import Control.Monad.Loops (whileJust_) import Data.Function ((&)) import Effectful (runEff) -import Hsm.Log (Severity (Trace), runLog) +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 - & runEff +main = whileJust_ repl return & runRepl @"exec-repl λ " @'[ "Prelude"] @[Bool] & runLog @"repl" Trace & runEff |