Commit 2476363b authored by Julien Lopez's avatar Julien Lopez

Fix tests from previous commit.

parent 159079b3
let f (type t) () =
let module M = struct exception E of t end in
(fun x -> M.E x), (function M.E x -> Some x | _ -> None)
val f : unit -> ('a -> exn) * (exn -> 'a option)
open OUnit2
let tests = "Latypes" >:::
[
"f" >:: ( fun test_ctxt ->
assert_equal ~msg:"Test Latypes.f.1 failed"
(Some 2) Latypes.b (Latypes.a 2);
);
]
let _ = run_test_tt_main tests
......@@ -75,7 +75,7 @@ if test $EXTENDED = "true"; then
$OCAMLDIR/cdsdl/cdsdl
ocamlc -I $OCAMLDIR/latypes -c $OCAMLDIR/latypes/latypes.mli
$ROOT/../cduce -I $OCAMLDIR/latypes --compile $OCAMLDIR/latypes/latypes.cd -I `ocamlfind query num`
$ROOT/../cduce -I $OCAMLDIR/latypes --compile $OCAMLDIR/latypes/latypes.cd
$ROOT/../cduce -I $OCAMLDIR/latypes --mlstub $OCAMLDIR/latypes/latypes.cdo > $OCAMLDIR/latypes/latypes2.ml
ocamlfind ocamlc -I $OCAMLDIR/latypes -package cduce,num,oUnit -linkpkg -o $OCAMLDIR/latypes/latypes $OCAMLDIR/latypes/latypes.ml $OCAMLDIR/latypes/latypes2.ml $OCAMLDIR/latypes/latypestest.ml
$OCAMLDIR/latypes/latypes
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment