[Caml-list] What does underscore mean in this type expression?

2008-08-30 Thread Richard Jones
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

Re: [Caml-list] What does underscore mean in this type expression?

2008-08-30 Thread Richard Jones
On Sat, Aug 30, 2008 at 01:38:31PM +0200, Christophe TROESTLER wrote: On Sat, 30 Aug 2008 12:27:18 +0100, Richard Jones wrote: val get_domains : (_[ `R ] as 'a) Connect.t - is not included in val get_domains : ([ `R ] as 'a) Connect.t - This syntax doesn't