diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 09:15:46 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-11-05 09:15:46 +0100 |
| commit | ae59f17cb3d58de7afca7f441d8bcf9a718e024c (patch) | |
| tree | e1ca429a9a5468f6e69b998eef91bb16727054c7 /lambda-calcul/haskell/src/Minilang/REPL/Pure.hs | |
| parent | 62651f13e08304d8fa6395fde7352984f48adb46 (diff) | |
| download | lambda-nantes-ae59f17cb3d58de7afca7f441d8bcf9a718e024c.tar.gz | |
handle defitions in untyped language
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/REPL/Pure.hs')
| -rw-r--r-- | lambda-calcul/haskell/src/Minilang/REPL/Pure.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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) |