From fd5bd4f665ebbf7324284ed44de6333f721cfc81 Mon Sep 17 00:00:00 2001
From: ZAN DoYe <zandoye@gmail.com>
Date: Wed, 8 Apr 2020 10:39:38 +0800
Subject: [PATCH] UTop_main: support lambda-term 3.0

---
 src/lib/uTop_main.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml
index c757cf2..df979b9 100644
--- a/src/lib/uTop_main.ml
+++ b/src/lib/uTop_main.ml
@@ -175,7 +175,7 @@ class read_phrase ~term = object(self)
     in
     super#send_action action
 
-  method! exec = function
+  method! exec ?(keys=[]) = function
     | action :: actions when S.value self#mode = LTerm_read_line.Edition &&
                              is_accept action  -> begin
         Zed_macro.add self#macro action;
@@ -205,11 +205,11 @@ class read_phrase ~term = object(self)
               UTop_history.add_warnings UTop.stashable_session_history warnings;
               UTop_history.add_error UTop.stashable_session_history msg;
           end;
-          return result
+          return (LTerm_read_line.Result result)
         with UTop.Need_more ->
           (* Input not finished, continue. *)
           self#insert (UChar.of_char '\n');
-          self#exec actions
+          self#exec ~keys actions
       end
     | actions ->
       super_term#exec actions