[r2004-06-28 02:04:20 by afrisch] Test OCaml/CDuce interface

Original author: afrisch
Date: 2004-06-28 02:04:20+00:00

tests/ocaml/Makefile

+# Do "make install_cdml" before running this test
+
+run:
+	ocamlc -c a.mli
+	../../cduce --compile a.cd
+	../../cdo2ml a.cdo > a.ml
+	ocamlfind ocamlc -package cduce -linkpkg -o a a.ml b.ml
+	./a
+
+clean:
+	rm -f *.cmo *.cdo *.cmi a.ml *~ a

tests/ocaml/a.cd

+let f (g : Byte -> Byte)(s : Latin1) : Latin1 = map s with x -> g x
+
+let x = ref Byte 'a'
+
+let g (r : ref Byte) : [] = r := 'a'
+
+let re (c : { x = Float }) : Float = c . x
+
+let diag (x : Float) : {| x = Float; y = Float |} = { x = x; y = x }
+
+let map_complex (f : (Float,Float)->Float)(c : { x = Float; y = Float }) 
+: Float = 
+  f (c . x, c . y)
+
+
+let pp (x : Any) : Latin1 = string_of x

tests/ocaml/a.mli

+val f : (char -> char) -> (string -> string)
+
+val x : char ref
+
+val g : char ref -> unit
+
+type complex = { x : float; y : float }
+val re : complex -> float
+val diag : float -> complex
+
+val map_complex : (float * float -> float) -> complex -> float
+
+
+type t = A of t | B of t * t | C of int
+val pp : t -> string

tests/ocaml/b.ml

+print_endline (A.f Char.uppercase "Abc");;
+print_endline (A.pp (A.A (A.C 2)));;