1 files changed, 2 insertions, 1 deletions
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)