more examples

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6815 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 13 insertions, 0 deletions

diff --git a/testlabl/fixedtypes.ml b/testlabl/fixedtypes.ml
index 54c05f13a..b1896129b 100644
--- a/testlabl/fixedtypes.ml
+++ b/testlabl/fixedtypes.ml
@@ -52,3 +52,16 @@ module M4 = struct
     | `Z -> 7
 end
 module M5 = F(M4)
+
+module M6 : sig
+  type c as < move: int -> unit; x: int; ..>
+  val create : int -> c
+end = struct
+  class c x = object
+    val mutable x : int = x
+    method x = x
+    method move d = x <- x+d
+  end
+  let create = new c
+end
+let f (x : M6.c) = x#move 3; x#x;;