I'm seeing this type error.  Notice the difference is a lowly
underscore character.

  The implementation libvirt.ml does not match the interface libvirt.cmi:
  Values do not match:
    val get_domains :
      (_[> `R ] as 'a) Connect.t ->
      ?want_info:bool ->
      Domain.list_flag list -> 'a Domain.t list * Domain.info list
  is not included in
    val get_domains :
      ([> `R ] as 'a) Connect.t ->
      ?want_info:bool ->
      Domain.list_flag list -> 'a Domain.t list * Domain.info list

This syntax doesn't appear to be documented in the manual (unless it's
related to '_a).  What does it mean?

I can supply some reproducer code if needed, but the code is rather
long at the moment.

Rich.

-- 
Richard Jones
Red Hat

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Reply via email to