From ae59f17cb3d58de7afca7f441d8bcf9a718e024c Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 09:15:46 +0100 Subject: handle defitions in untyped language --- lambda-calcul/haskell/src/Minilang/REPL/Pure.hs | 1 + 1 file changed, 1 insertion(+) (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 7ca0c85..8250152 100644 --- a/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs +++ b/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs @@ -42,6 +42,7 @@ render :: Out -> Text render = \case Msg t -> t Evaluated ast _term typ -> pretty ast <> " : " <> Type.pretty typ + Defined ident typ -> ident <> " : " <> Type.pretty typ Bye -> "Bye!" other -> pack (show other) -- cgit v1.3.1