From ec176a456d4a45be1d0af6df49ff391bf07304cf Mon Sep 17 00:00:00 2001
From: charguer <arthur@chargueraud.org>
Date: Wed, 25 Nov 2015 18:43:36 +0100
Subject: [PATCH] test4
---
generator/js_of_ast.ml | 2 +-
generator/tests/testctx.ml | 9 ++++++++-
2 files changed, 9 insertions(+), 2 deletions(-)
diff --git a/generator/js_of_ast.ml b/generator/js_of_ast.ml
index cf7bb6d..8745461 100644
--- a/generator/js_of_ast.ml
+++ b/generator/js_of_ast.ml
@@ -662,7 +662,7 @@ let to_javascript module_name typedtree =
(*
ctx_empty
-ctx_push(ctx, bindings) where bindings = [ { key:"ls", val:ls}, { key:"xs", val:xs } ]
+ctx_push(ctx, bindings) where bindings = [ { key: "ls", val: ls}, { key:"xs", val:xs } ]
push("ls", ls, push("v", v, push("y", y, ctx314));
diff --git a/generator/tests/testctx.ml b/generator/tests/testctx.ml
index 22a27ba..2cc1040 100644
--- a/generator/tests/testctx.ml
+++ b/generator/tests/testctx.ml
@@ -68,7 +68,14 @@ let test3 x =
in
y
-
+let test4 x =
+ match x with
+ | None -> 1
+ | Some y ->
+ begin match y with
+ | None -> 2
+ | Some z -> z
+ end
(*
--
GitLab