Improve doc-comments (cf. PR #42)

hammerlab · Feb 3, 2017 · 60f8d05 · 60f8d05
1 parent 195fe5b
commit 60f8d05
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/lib/EDSL.mli b/src/lib/EDSL.mli
@@ -166,7 +166,7 @@ val with_redirections:
    - then, ["printf"] outputs to [1].
 
    Invalid cases, like redirecting to a file-descriptor has not been
-   openned, lead to undefined behavior; see
+   opened, lead to undefined behavior; see
    {{:https://github.com/hammerlab/genspio/issues/41}issue #41}.
    If the shell is POSIX, the whole expression [with_redirections expr redirs]
    exits and its return value is in [[1, 125]]; if the shell is

diff --git a/src/test/main.ml b/src/test/main.ml
@@ -769,7 +769,7 @@ let tests =
           write_output
             ~return_value:tmp2#path (
             with_redirections (exec ["printf"; "%s"; recognizable]) [
-              to_fd (int 4) (int 3);
+              to_fd (int 4) (int 3); (* This fails because &3 is not open! *)
               to_file (int 1) tmp1#path;
             ]
           );