From 3f2124bcfc7a955b6d02c4a3209f254fa00484e2 Mon Sep 17 00:00:00 2001
From: Corentin Leruth <tinencor@gmail.com>
Date: Thu, 27 Feb 2020 10:58:24 +0100
Subject: [PATCH] do not repeat installation prompt for unrecognized versions
 (#200)

---
 executable/Use.re | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/executable/Use.re b/executable/Use.re
index d8601db..a4c58c5 100644
--- a/executable/Use.re
+++ b/executable/Use.re
@@ -87,8 +87,11 @@ let rec askIfInstall = (~version, ~quiet, retry) => {
   switch%lwt (Lwt_io.read_line(Lwt_io.stdin)) {
   | "Y"
   | "y" =>
-    let%lwt _ = Install.run(~version);
-    retry(~version, ~quiet);
+    let%lwt res = Install.run(~version);
+    switch (res) {
+    | Error(_) => Lwt.return_error(1)
+    | Ok(_) => retry(~version, ~quiet)
+    };
   | "N"
   | "n" =>
     let%lwt () = Lwt_io.write_line(Lwt_io.stderr, "Not installing!");