From 1d1f0efc7de1eaa0c8a6b503892c2f950008fde6 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Tue, 28 Oct 2025 20:14:16 +0100 Subject: wip: port REPL from minilang --- lambda-calcul/haskell/app/Main.hs | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'lambda-calcul/haskell/app') diff --git a/lambda-calcul/haskell/app/Main.hs b/lambda-calcul/haskell/app/Main.hs index 5b48c01..0b40f60 100644 --- a/lambda-calcul/haskell/app/Main.hs +++ b/lambda-calcul/haskell/app/Main.hs @@ -1,6 +1,12 @@ -import Minilang.IO +import Minilang.IO (runEval) import System.IO (stdin, stdout) +import System.Posix.Terminal (queryTerminal) +import System.Posix (stdInput) +import Minilang.REPL (withTerminal) main :: IO () -main = - runEval stdin stdout +main = do + hasTty <- queryTerminal stdInput + if hasTty + then withTerminal + else runEval stdin stdout -- cgit v1.3.1