Bug#326740: coq: FTBFS: "Type ... is not compatible with type ..."

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hi,

Andreas Jochens wrote:
> Package: coq
> Version: 8.0pl2-2
> Severity: serious
> 
> When building 'coq' on unstable, I get the following error:
> 
>       method set_pixels_inside_wrap : int -> unit
>       method set_right_margin : int -> unit
>       method set_wrap_mode : Gtk.Tags.wrap_mode -> unit
>       method starts_display_line : GText.iter -> bool
>       method undo : bool
>       method visible_rect : Gdk.Rectangle.t
>       method window_to_buffer_coords :
>         tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int
>       method wrap_mode : Gtk.Tags.wrap_mode
>     end
> The instance variable obj has type
>   ([> Gtk.text_view ] as 'a) Gtk.obj = 'a Gobject.obj
> but is expected to have type
>   Gtk.text_view Gtk.obj = Gtk.text_view Gobject.obj
> Type 'a = [> `container | `gtk | `textview | `widget ]
> is not compatible with type
>   Gtk.text_view = [ `container | `gtk | `textview | `widget ] 
> make[1]: *** [ide/undo.cmo] Error 2
> make[1]: Leaving directory `/coq-8.0pl2'
> make: *** [build-stamp] Error 2

I'll handle this when I come back home (in two days).

Thanks,

Samuel.