Bug#585458: lablgtkmathview: FTBFS with OCaml 3.12 because of bugfix in typechecking of inheritance

[Stéphane Glondu <glondu@debian.org>]

Package: src:lablgtkmathview
Version: 0.7.8-5
Severity: normal
User: debian-ocaml-maint@lists.debian.org
Usertags: ocaml312-ftbfs
Tags: upstream

Hello,

While rebuilding all packages with a SVN snapshot of OCaml (version
3.12.0+dev26, revision 10544), your package failed to build on amd64.

Revelant part:
> ocamlfind ocamlc -package "gdome2 lablgtk2" -predicates "" -c gMathViewAux.ml
> File "gMathViewAux.ml", line 1, characters 0-1:
> Error: The implementation gMathViewAux.ml
>        does not match the interface gMathViewAux.cmi:
>        Class declarations do not match:
>          class single_selection_math_view_signals :
>            ([> `gtk | `mathview_gmetadom | `widget ] as 'b) Gtk.obj ->
>            ((Gdome.element option -> unit) -> unit) ->
>            object ('a)
>              val after : bool
>              val obj : 'b Gtk.obj
>              method after : 'a
>              method click :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method destroy : callback:(unit -> unit) -> GtkSignal.id
>              method element_over :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method select_abort : callback:(unit -> unit) -> GtkSignal.id
>              method select_begin :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method select_end :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method select_over :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method selection_changed :
>                (Gdome.element option -> unit) -> unit
>            end
>        does not match
>          class single_selection_math_view_signals :
>            [> `gtk | `mathview_gmetadom | `widget ] Gtk.obj ->
>            ((Gdome.element option -> unit) -> unit) ->
>            object ('a)
>              val after : bool
>              val obj : [> `gtk | `mathview_gmetadom | `widget ] Gtk.obj
>              method after : 'a
>              method click :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method destroy : callback:(unit -> unit) -> GtkSignal.id
>              method element_over :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method select_abort : callback:(unit -> unit) -> GtkSignal.id
>              method select_begin :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method select_end :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method select_over :
>                callback:(Gdome.element option * int * int * int -> unit) ->
>                GtkSignal.id
>              method selection_changed :
>                (Gdome.element_of_node option -> unit) -> unit
>            end
>        The instance variable obj has type
>          ([> `gtk | `mathview_gmetadom | `widget ] as 'a) Gtk.obj =
>            'a Gobject.obj
>        but is expected to have type
>          ([> `gtk | `mathview_gmetadom | `widget ] as 'b) Gtk.obj =
>            'b Gobject.obj
> make[1]: *** [gMathViewAux.cmo] Error 2

The full build log is available at:


http://ocaml.debian.net/debian/ocaml3120dev26r10544/failures/lablgtkmathview_0.7.8-5%2B3.12.0%2Bdev26%2B10544%2B1_amd64.build


Best regards,

--
Stéphane