From fc00cff556372e914d3cf15c39700b4ff7c3541c Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 2 Nov 2025 21:35:19 +0100 Subject: better rendering for type errors and evaluation --- lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) (limited to 'lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs') diff --git a/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs b/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs index cbc7988..3583020 100644 --- a/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs +++ b/lambda-calcul/haskell/src/Minilang/REPL/Haskeline.hs @@ -29,6 +29,7 @@ import System.Console.Haskeline import System.Directory (listDirectory) import Minilang.Lambda.Parser (resugar, pretty) import qualified Minilang.Lambda.Unify as Unify +import Minilang.REPL.Pure (render) -- * Haskeline REPL @@ -44,19 +45,13 @@ instance MonadREPL Haskeline where case i of Nothing -> pure EOF Just (pack -> t) -> pure $ interpret t - output = hoist . outputStrLn . render + output = hoist . outputStrLn . unpack . render prompt = pure () load = fmap (first FileError) . hoist . lift . try . Text.readFile . unpack getEnv = get setEnv = put -render :: Out -> String -render = \case - Msg t -> unpack t - Evaluated term typ -> unpack $ pretty (resugar term) <> " : " <> Unify.pretty typ - other -> show other - completion :: CompletionFunc IO completion = completion' . first reverse -- cgit v1.3.1