Merge pull request #1 from aantron/master

Support for nested let-binds.

src/ocaml_monadic.ml

@@ -73,7 +73,7 @@ let ocaml_monadic_mapper argv =
                   ; pexp_desc =
                     Pexp_apply(
                       bind_ident,
-                      [ (no_label, bind_expr)
+                      [ (no_label, mapper.expr mapper bind_expr)
                       ; (no_label, cont_function)
                       ]
                     )

src_test/test.ml

@@ -19,6 +19,15 @@ let nondeterminism_test =
   return (x+y)
 ;;
 
+let nested_bind_test =
+  let open NondeterminismMonad in
+  let%bind x =
+    let%bind y = [1;2;3] in
+    return (y+1)
+  in
+  return (x+1)
+;;
+
 let halt_with s = print_endline s; exit 1;;
 
 let () =
@@ -30,6 +39,14 @@ let () =
         ("Unexpected value from nondeterminism test: " ^
           string_of_list string_of_int nondeterminism_test)
   end;
+  begin
+    match nested_bind_test with
+    | [3;4;5] -> ()
+    | _ ->
+      halt_with
+      ("Unexpected value from nested_bind test: " ^
+          string_of_list string_of_int nested_bind_test)
+  end;
   print_endline "All tests passed."
 ;;