diff options
| author | Alasdair Armstrong | 2018-01-18 18:16:45 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-18 18:31:26 +0000 |
| commit | 0fa42d315e20f819af93c2a822ab1bc032dc4535 (patch) | |
| tree | 7ef4ea3444ba5938457e7c852f9ad9957055fe41 /lib/ocaml_rts/linksem/missing_pervasivesAuxiliary.ml | |
| parent | 24dc13511053ab79ccb66ae24e3b8ffb9cad0690 (diff) | |
Modified ocaml backend to use ocamlfind for linksem and lem
Fixed test cases for ocaml backend and interpreter
Diffstat (limited to 'lib/ocaml_rts/linksem/missing_pervasivesAuxiliary.ml')
| -rw-r--r-- | lib/ocaml_rts/linksem/missing_pervasivesAuxiliary.ml | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/lib/ocaml_rts/linksem/missing_pervasivesAuxiliary.ml b/lib/ocaml_rts/linksem/missing_pervasivesAuxiliary.ml deleted file mode 100644 index 5bcc2165..00000000 --- a/lib/ocaml_rts/linksem/missing_pervasivesAuxiliary.ml +++ /dev/null @@ -1,42 +0,0 @@ -(*Generated by Lem from missing_pervasives.lem.*) -open Lem_num - -open Lem_list - -open Lem_basic_classes - -open Lem_bool - -open Lem_maybe - -open Lem_string - -open Lem_assert_extra - -open Show - -open Lem_sorting - -open Missing_pervasives - -let run_test n loc b = - if b then (Format.printf "%s: ok\n" n) else ((Format.printf "%s: FAILED\n %s\n\n" n loc); exit 1);; - - -(****************************************************) -(* *) -(* Assertions *) -(* *) -(****************************************************) - -let _ = run_test "split_string_null" "File \"missing_pervasives.lem\", line 418, character 1 to line 422, character 32\n" ( - (let afterSplit = (Ml_bindings.split_string_on_char (Xstring.implode ([null_char; 's'; null_char; 't']: char list)) null_char) - in - let _ = (prerr_endline ("split string is " ^ (string_of_list - instance_Show_Show_string_dict afterSplit))) - in (listEqualBy (=) - afterSplit [""; "s"; "t"])) -) - - - |