From d08aa6b4f742a7162e726920810765258802c176 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 14 Oct 2015 17:23:27 +0200
Subject: Warn user when bytecode compilation fails.

Previously, the kernel was silently switching back to the standard conversion.
---
 kernel/reduction.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/reduction.ml b/kernel/reduction.ml
index 9479e38ca8..0f105b0489 100644
--- a/kernel/reduction.ml
+++ b/kernel/reduction.ml
@@ -735,8 +735,9 @@ let vm_conv cv_pb env t1 t2 =
   try
     !vm_conv cv_pb env t1 t2
   with Not_found | Invalid_argument _ ->
-      (* If compilation fails, fall-back to closure conversion *)
-      fconv cv_pb false (fun _->None) env t1 t2
+    (Pp.msg_warning
+      (Pp.str "Bytecode compilation failed, falling back to default conversion");
+     fconv cv_pb false (fun _->None) env t1 t2)
 
 let default_conv cv_pb ?(l2r=false) env t1 t2 =
     fconv cv_pb false (fun _ -> None) env t1 t2
-- 
cgit v1.2.3