From 2d28a022c95c1393f90bed0cc37c7dbb0d23702c Mon Sep 17 00:00:00 2001
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Date: Wed, 4 May 2016 08:55:46 +0200
Subject: [PATCH] let%success putting if_success_or_return out of the way
---
generator/tests/jsref/JsInterpreter.ml | 2 +-
generator/tests/jsref/JsInterpreterMonads.ml | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/generator/tests/jsref/JsInterpreter.ml b/generator/tests/jsref/JsInterpreter.ml
index 81a1ce2..10016bc 100644
--- a/generator/tests/jsref/JsInterpreter.ml
+++ b/generator/tests/jsref/JsInterpreter.ml
@@ -1868,7 +1868,7 @@ and run_call_default s c lf =
| Some bd ->
if list_eq_nil_decidable (prog_elements (funcbody_prog bd))
then def
- else if_success_or_return
+ else ifx_success_or_return
(run_prog s c (funcbody_prog bd)) (fun s_2 ->
result_out (Coq_out_ter (s_2,
(res_val (Coq_value_prim Coq_prim_undef))))) (fun s_2 rv ->
diff --git a/generator/tests/jsref/JsInterpreterMonads.ml b/generator/tests/jsref/JsInterpreterMonads.ml
index c7c24e8..7c24b26 100644
--- a/generator/tests/jsref/JsInterpreterMonads.ml
+++ b/generator/tests/jsref/JsInterpreterMonads.ml
@@ -363,3 +363,4 @@ let ifx_number w k = if_number w k
let ifx_string w k = if_string w k
let ifx_success_state a b c = if_success_state a b c
let ifx_some_or_default v d f = if_some_or_default v d f
+let ifx_success_or_return a b c = if_success_or_return a b c
--
GitLab