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/Run.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lambda-calcul/haskell/src/Minilang/REPL/Run.hs') diff --git a/lambda-calcul/haskell/src/Minilang/REPL/Run.hs b/lambda-calcul/haskell/src/Minilang/REPL/Run.hs index c90ecde..9c31987 100644 --- a/lambda-calcul/haskell/src/Minilang/REPL/Run.hs +++ b/lambda-calcul/haskell/src/Minilang/REPL/Run.hs @@ -16,6 +16,7 @@ import Minilang.Lambda.Eval (newEnv) import Minilang.Lambda.Infer (infer, newContext) import Minilang.Lambda.Parser (desugar, parse) import Minilang.REPL.Types +import qualified Minilang.Lambda.Infer as Infer -- | Run a REPL session runREPL :: @@ -41,7 +42,7 @@ handleUserInput txt = do Right expr -> do let term = desugar expr case infer term of - Left typeError -> output (Msg $ pack $ show typeError) + Left typeError -> output (Msg $ Infer.render typeError) Right typ -> do let v = fromDeBruijn $ eval (toDeBruijn term) output (Evaluated v typ) -- cgit v1.3.1