From 186785c7bc7d511fef75ec22e72143f7707ae886 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 3 Nov 2025 22:08:25 +0100 Subject: resugar evaluated term --- lambda-calcul/haskell/src/Minilang/REPL/Pure.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lambda-calcul/haskell/src/Minilang/REPL/Pure.hs') diff --git a/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs b/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs index 91e71b9..7ca0c85 100644 --- a/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs +++ b/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs @@ -41,7 +41,7 @@ instance MonadREPL PureREPL where render :: Out -> Text render = \case Msg t -> t - Evaluated term typ -> pretty (resugar term) <> " : " <> Type.pretty typ + Evaluated ast _term typ -> pretty ast <> " : " <> Type.pretty typ Bye -> "Bye!" other -> pack (show other) -- cgit v1.3.1