From 2a8762c0f710cc61f73aa5c11349e93dfbaf8b2d Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Mon, 17 Aug 2015 10:19:28 +0100
Subject: [PATCH] update definition of Deferred.t

It is now Async_kernel.Deferred0.t.

Fixes #137
---
 src/lib/uTop_main.cppo.ml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/src/lib/uTop_main.cppo.ml b/src/lib/uTop_main.cppo.ml
index 9b95c06..f30d843 100644
--- a/src/lib/uTop_main.cppo.ml
+++ b/src/lib/uTop_main.cppo.ml
@@ -478,8 +478,15 @@ let () =
     );
     enabled = UTop.auto_run_async;
   } in
-  Hashtbl.add rewrite_rules (Longident.parse "Async_core.Ivar.Deferred.t") rule;
-  Hashtbl.add rewrite_rules (Longident.parse "Async_kernel.Ivar.Deferred.t") rule
+  let deferred_aliases =
+    [ "Async_core.Ivar.Deferred.t"
+    ; "Async_kernel.Ivar.Deferred.t"
+    ; "Async_kernel.Deferred0.t"
+    ]
+  in
+  List.iter (fun s ->
+    Hashtbl.add rewrite_rules (Longident.parse s) rule)
+    deferred_aliases
 
 (* Returns whether the argument is a toplevel expression. *)
 let is_eval = function