aboutsummaryrefslogtreecommitdiff
path: root/Examples/test-suite/ocaml/overload_subtype_runme.ml
diff options
context:
space:
mode:
Diffstat (limited to 'Examples/test-suite/ocaml/overload_subtype_runme.ml')
-rw-r--r--Examples/test-suite/ocaml/overload_subtype_runme.ml8
1 files changed, 8 insertions, 0 deletions
diff --git a/Examples/test-suite/ocaml/overload_subtype_runme.ml b/Examples/test-suite/ocaml/overload_subtype_runme.ml
new file mode 100644
index 000000000..6f0aeab56
--- /dev/null
+++ b/Examples/test-suite/ocaml/overload_subtype_runme.ml
@@ -0,0 +1,8 @@
+open Swig
+open Overload_subtype
+
+let _ =
+ let f = new_Foo '() and b = new_Bar '() in
+ assert (_spam (f) as int = 1);
+ assert (_spam (b) as int = 2)
+;;